110 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT3 4declare float @llvm.sin.f32(float)5declare float @llvm.cos.f32(float)6 7define float @ret_sin(float %arg) {8; CHECK-LABEL: define nofpclass(inf) float @ret_sin9; CHECK-SAME: (float [[ARG:%.*]]) #[[ATTR1:[0-9]+]] {10; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.sin.f32(float [[ARG]]) #[[ATTR2:[0-9]+]]11; CHECK-NEXT: ret float [[CALL]]12;13 %call = call float @llvm.sin.f32(float %arg)14 ret float %call15}16 17define float @ret_cos(float %arg) {18; CHECK-LABEL: define nofpclass(inf) float @ret_cos19; CHECK-SAME: (float [[ARG:%.*]]) #[[ATTR1]] {20; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.cos.f32(float [[ARG]]) #[[ATTR2]]21; CHECK-NEXT: ret float [[CALL]]22;23 %call = call float @llvm.cos.f32(float %arg)24 ret float %call25}26 27define float @ret_sin_noinf(float nofpclass(inf) %arg) {28; CHECK-LABEL: define nofpclass(inf) float @ret_sin_noinf29; CHECK-SAME: (float nofpclass(inf) [[ARG:%.*]]) #[[ATTR1]] {30; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.sin.f32(float nofpclass(inf) [[ARG]]) #[[ATTR2]]31; CHECK-NEXT: ret float [[CALL]]32;33 %call = call float @llvm.sin.f32(float %arg)34 ret float %call35}36 37define float @ret_cos_noinf(float nofpclass(inf) %arg) {38; CHECK-LABEL: define nofpclass(inf) float @ret_cos_noinf39; CHECK-SAME: (float nofpclass(inf) [[ARG:%.*]]) #[[ATTR1]] {40; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.cos.f32(float nofpclass(inf) [[ARG]]) #[[ATTR2]]41; CHECK-NEXT: ret float [[CALL]]42;43 %call = call float @llvm.cos.f32(float %arg)44 ret float %call45}46 47define float @ret_sin_nonan(float nofpclass(nan) %arg) {48; CHECK-LABEL: define nofpclass(inf) float @ret_sin_nonan49; CHECK-SAME: (float nofpclass(nan) [[ARG:%.*]]) #[[ATTR1]] {50; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.sin.f32(float nofpclass(nan) [[ARG]]) #[[ATTR2]]51; CHECK-NEXT: ret float [[CALL]]52;53 %call = call float @llvm.sin.f32(float %arg)54 ret float %call55}56 57define float @ret_cos_nonan(float nofpclass(nan) %arg) {58; CHECK-LABEL: define nofpclass(inf) float @ret_cos_nonan59; CHECK-SAME: (float nofpclass(nan) [[ARG:%.*]]) #[[ATTR1]] {60; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.cos.f32(float nofpclass(nan) [[ARG]]) #[[ATTR2]]61; CHECK-NEXT: ret float [[CALL]]62;63 %call = call float @llvm.cos.f32(float %arg)64 ret float %call65}66 67define float @ret_sin_nonan_noinf(float nofpclass(nan inf) %arg) {68; CHECK-LABEL: define nofpclass(nan inf) float @ret_sin_nonan_noinf69; CHECK-SAME: (float nofpclass(nan inf) [[ARG:%.*]]) #[[ATTR1]] {70; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan inf) float @llvm.sin.f32(float nofpclass(nan inf) [[ARG]]) #[[ATTR2]]71; CHECK-NEXT: ret float [[CALL]]72;73 %call = call float @llvm.sin.f32(float %arg)74 ret float %call75}76 77define float @ret_cos_nonan_noinf(float nofpclass(nan inf) %arg) {78; CHECK-LABEL: define nofpclass(nan inf) float @ret_cos_nonan_noinf79; CHECK-SAME: (float nofpclass(nan inf) [[ARG:%.*]]) #[[ATTR1]] {80; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan inf) float @llvm.cos.f32(float nofpclass(nan inf) [[ARG]]) #[[ATTR2]]81; CHECK-NEXT: ret float [[CALL]]82;83 %call = call float @llvm.cos.f32(float %arg)84 ret float %call85}86 87 88define float @ret_sin_noqnan(float nofpclass(qnan) %arg) {89; CHECK-LABEL: define nofpclass(inf) float @ret_sin_noqnan90; CHECK-SAME: (float nofpclass(qnan) [[ARG:%.*]]) #[[ATTR1]] {91; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.sin.f32(float nofpclass(qnan) [[ARG]]) #[[ATTR2]]92; CHECK-NEXT: ret float [[CALL]]93;94 %call = call float @llvm.sin.f32(float %arg)95 ret float %call96}97 98define float @ret_cos_noqnan(float nofpclass(qnan) %arg) {99; CHECK-LABEL: define nofpclass(inf) float @ret_cos_noqnan100; CHECK-SAME: (float nofpclass(qnan) [[ARG:%.*]]) #[[ATTR1]] {101; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.cos.f32(float nofpclass(qnan) [[ARG]]) #[[ATTR2]]102; CHECK-NEXT: ret float [[CALL]]103;104 %call = call float @llvm.cos.f32(float %arg)105 ret float %call106}107 108;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:109; TUNIT: {{.*}}110