117 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.arithmetic.fence.f32(float)5 6define float @ret_arithmetic.fence(float %arg0) {7; CHECK-LABEL: define float @ret_arithmetic.fence8; CHECK-SAME: (float [[ARG0:%.*]]) #[[ATTR1:[0-9]+]] {9; CHECK-NEXT: [[CALL:%.*]] = call float @llvm.arithmetic.fence.f32(float [[ARG0]]) #[[ATTR2:[0-9]+]]10; CHECK-NEXT: ret float [[CALL]]11;12 %call = call float @llvm.arithmetic.fence.f32(float %arg0)13 ret float %call14}15 16define float @ret_arithmetic.fence_noinf(float nofpclass(inf) %arg0) {17; CHECK-LABEL: define nofpclass(inf) float @ret_arithmetic.fence_noinf18; CHECK-SAME: (float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] {19; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(inf) float @llvm.arithmetic.fence.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]]20; CHECK-NEXT: ret float [[CALL]]21;22 %call = call float @llvm.arithmetic.fence.f32(float %arg0)23 ret float %call24}25 26define float @ret_arithmetic.fence_nopinf(float nofpclass(pinf) %arg0) {27; CHECK-LABEL: define nofpclass(pinf) float @ret_arithmetic.fence_nopinf28; CHECK-SAME: (float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] {29; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(pinf) float @llvm.arithmetic.fence.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]]30; CHECK-NEXT: ret float [[CALL]]31;32 %call = call float @llvm.arithmetic.fence.f32(float %arg0)33 ret float %call34}35 36define float @ret_arithmetic.fence_noninf(float nofpclass(ninf) %arg0) {37; CHECK-LABEL: define nofpclass(ninf) float @ret_arithmetic.fence_noninf38; CHECK-SAME: (float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] {39; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf) float @llvm.arithmetic.fence.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]]40; CHECK-NEXT: ret float [[CALL]]41;42 %call = call float @llvm.arithmetic.fence.f32(float %arg0)43 ret float %call44}45 46define float @ret_arithmetic.fence_nonan(float nofpclass(nan) %arg0) {47; CHECK-LABEL: define nofpclass(nan) float @ret_arithmetic.fence_nonan48; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] {49; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan) float @llvm.arithmetic.fence.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]]50; CHECK-NEXT: ret float [[CALL]]51;52 %call = call float @llvm.arithmetic.fence.f32(float %arg0)53 ret float %call54}55 56define float @ret_arithmetic.fence_noqnan(float nofpclass(qnan) %arg0) {57; CHECK-LABEL: define nofpclass(qnan) float @ret_arithmetic.fence_noqnan58; CHECK-SAME: (float nofpclass(qnan) [[ARG0:%.*]]) #[[ATTR1]] {59; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(qnan) float @llvm.arithmetic.fence.f32(float nofpclass(qnan) [[ARG0]]) #[[ATTR2]]60; CHECK-NEXT: ret float [[CALL]]61;62 %call = call float @llvm.arithmetic.fence.f32(float %arg0)63 ret float %call64}65 66define float @ret_arithmetic.fence_nosnan(float nofpclass(snan) %arg0) {67; CHECK-LABEL: define nofpclass(snan) float @ret_arithmetic.fence_nosnan68; CHECK-SAME: (float nofpclass(snan) [[ARG0:%.*]]) #[[ATTR1]] {69; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(snan) float @llvm.arithmetic.fence.f32(float nofpclass(snan) [[ARG0]]) #[[ATTR2]]70; CHECK-NEXT: ret float [[CALL]]71;72 %call = call float @llvm.arithmetic.fence.f32(float %arg0)73 ret float %call74}75 76define float @ret_arithmetic.fence_nozero(float nofpclass(zero) %arg0) {77; CHECK-LABEL: define nofpclass(zero) float @ret_arithmetic.fence_nozero78; CHECK-SAME: (float nofpclass(zero) [[ARG0:%.*]]) #[[ATTR1]] {79; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(zero) float @llvm.arithmetic.fence.f32(float nofpclass(zero) [[ARG0]]) #[[ATTR2]]80; CHECK-NEXT: ret float [[CALL]]81;82 %call = call float @llvm.arithmetic.fence.f32(float %arg0)83 ret float %call84}85 86define float @ret_arithmetic.fence_nopzero(float nofpclass(pzero) %arg0) {87; CHECK-LABEL: define nofpclass(pzero) float @ret_arithmetic.fence_nopzero88; CHECK-SAME: (float nofpclass(pzero) [[ARG0:%.*]]) #[[ATTR1]] {89; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(pzero) float @llvm.arithmetic.fence.f32(float nofpclass(pzero) [[ARG0]]) #[[ATTR2]]90; CHECK-NEXT: ret float [[CALL]]91;92 %call = call float @llvm.arithmetic.fence.f32(float %arg0)93 ret float %call94}95 96define float @ret_arithmetic.fence_nonzero(float nofpclass(nzero) %arg0) {97; CHECK-LABEL: define nofpclass(nzero) float @ret_arithmetic.fence_nonzero98; CHECK-SAME: (float nofpclass(nzero) [[ARG0:%.*]]) #[[ATTR1]] {99; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nzero) float @llvm.arithmetic.fence.f32(float nofpclass(nzero) [[ARG0]]) #[[ATTR2]]100; CHECK-NEXT: ret float [[CALL]]101;102 %call = call float @llvm.arithmetic.fence.f32(float %arg0)103 ret float %call104}105 106define float @ret_arithmetic.fence_nonorm(float nofpclass(norm) %arg0) {107; CHECK-LABEL: define nofpclass(norm) float @ret_arithmetic.fence_nonorm108; CHECK-SAME: (float nofpclass(norm) [[ARG0:%.*]]) #[[ATTR1]] {109; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(norm) float @llvm.arithmetic.fence.f32(float nofpclass(norm) [[ARG0]]) #[[ATTR2]]110; CHECK-NEXT: ret float [[CALL]]111;112 %call = call float @llvm.arithmetic.fence.f32(float %arg0)113 ret float %call114}115;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:116; TUNIT: {{.*}}117