172 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals2; RUN: opt -passes=function-attrs -S < %s | FileCheck %s3 4define i32 @nonleaf() convergent {5; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)6; CHECK-LABEL: define {{[^@]+}}@nonleaf7; CHECK-SAME: () #[[ATTR0:[0-9]+]] {8; CHECK-NEXT: [[A:%.*]] = call i32 @leaf()9; CHECK-NEXT: ret i32 [[A]]10;11 %a = call i32 @leaf()12 ret i32 %a13}14 15define i32 @leaf() convergent {16; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)17; CHECK-LABEL: define {{[^@]+}}@leaf18; CHECK-SAME: () #[[ATTR0]] {19; CHECK-NEXT: ret i32 020;21 ret i32 022}23 24declare i32 @k() convergent25 26define i32 @extern() convergent {27; CHECK: Function Attrs: convergent28; CHECK-LABEL: define {{[^@]+}}@extern29; CHECK-SAME: () #[[ATTR1:[0-9]+]] {30; CHECK-NEXT: [[A:%.*]] = call i32 @k() #[[ATTR1]]31; CHECK-NEXT: ret i32 [[A]]32;33 %a = call i32 @k() convergent34 ret i32 %a35}36 37; Convergent should not be removed on the function here. Although the call is38; not explicitly convergent, it picks up the convergent attr from the callee.39define i32 @extern_non_convergent_call() convergent {40; CHECK: Function Attrs: convergent41; CHECK-LABEL: define {{[^@]+}}@extern_non_convergent_call42; CHECK-SAME: () #[[ATTR1]] {43; CHECK-NEXT: [[A:%.*]] = call i32 @k()44; CHECK-NEXT: ret i32 [[A]]45;46 %a = call i32 @k()47 ret i32 %a48}49 50define i32 @indirect_convergent_call(ptr %f) convergent {51; CHECK: Function Attrs: convergent52; CHECK-LABEL: define {{[^@]+}}@indirect_convergent_call53; CHECK-SAME: (ptr readonly captures(none) [[F:%.*]]) #[[ATTR1]] {54; CHECK-NEXT: [[A:%.*]] = call i32 [[F]]() #[[ATTR1]]55; CHECK-NEXT: ret i32 [[A]]56;57 %a = call i32 %f() convergent58 ret i32 %a59}60; Give indirect_non_convergent_call the norecurse attribute so we get a61; "Function Attrs" comment in the output.62define i32 @indirect_non_convergent_call(ptr %f) convergent norecurse {63; CHECK: Function Attrs: norecurse64; CHECK-LABEL: define {{[^@]+}}@indirect_non_convergent_call65; CHECK-SAME: (ptr readonly captures(none) [[F:%.*]]) #[[ATTR2:[0-9]+]] {66; CHECK-NEXT: [[A:%.*]] = call i32 [[F]]()67; CHECK-NEXT: ret i32 [[A]]68;69 %a = call i32 %f()70 ret i32 %a71}72 73declare void @llvm.nvvm.barrier.cta.sync.aligned.all(i32) convergent74 75define i32 @intrinsic() convergent {76 ; Implicitly convergent, because the intrinsic is convergent.77; CHECK: Function Attrs: convergent norecurse nounwind78; CHECK-LABEL: define {{[^@]+}}@intrinsic79; CHECK-SAME: () #[[ATTR4:[0-9]+]] {80; CHECK-NEXT: call void @llvm.nvvm.barrier.cta.sync.aligned.all(i32 0)81; CHECK-NEXT: ret i32 082;83 call void @llvm.nvvm.barrier.cta.sync.aligned.all(i32 0)84 ret i32 085}86 87define i32 @recursive1() convergent {88; CHECK: Function Attrs: nofree nosync nounwind memory(none)89; CHECK-LABEL: define {{[^@]+}}@recursive190; CHECK-SAME: () #[[ATTR5:[0-9]+]] {91; CHECK-NEXT: [[A:%.*]] = call i32 @recursive2() #[[ATTR1]]92; CHECK-NEXT: ret i32 [[A]]93;94 %a = call i32 @recursive2() convergent95 ret i32 %a96}97 98define i32 @recursive2() convergent {99; CHECK: Function Attrs: nofree nosync nounwind memory(none)100; CHECK-LABEL: define {{[^@]+}}@recursive2101; CHECK-SAME: () #[[ATTR5]] {102; CHECK-NEXT: [[A:%.*]] = call i32 @recursive1() #[[ATTR1]]103; CHECK-NEXT: ret i32 [[A]]104;105 %a = call i32 @recursive1() convergent106 ret i32 %a107}108 109define i32 @noopt() convergent optnone noinline {110; CHECK: Function Attrs: convergent noinline optnone111; CHECK-LABEL: define {{[^@]+}}@noopt112; CHECK-SAME: () #[[ATTR6:[0-9]+]] {113; CHECK-NEXT: [[A:%.*]] = call i32 @noopt_friend() #[[ATTR1]]114; CHECK-NEXT: ret i32 0115;116 %a = call i32 @noopt_friend() convergent117 ret i32 0118}119 120; A function which is mutually-recursive with a convergent, optnone function121; shouldn't have its convergent attribute stripped.122define i32 @noopt_friend() convergent {123; CHECK: Function Attrs: convergent124; CHECK-LABEL: define {{[^@]+}}@noopt_friend125; CHECK-SAME: () #[[ATTR1]] {126; CHECK-NEXT: [[A:%.*]] = call i32 @noopt()127; CHECK-NEXT: ret i32 0128;129 %a = call i32 @noopt()130 ret i32 0131}132 133 134; A function which is stripped of its convergent attribute, even135; if used in a controlled convergence call.136; This should be OK.137define i32 @leaf_noconvergent_used() convergent {138; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)139; CHECK-LABEL: define {{[^@]+}}@leaf_noconvergent_used140; CHECK-SAME: () #[[ATTR0]] {141; CHECK-NEXT: ret i32 0142;143 ret i32 0144}145 146define i32 @nonleaf_convergent() convergent {147; CHECK: Function Attrs: convergent mustprogress nofree norecurse nosync nounwind willreturn memory(none)148; CHECK-LABEL: define {{[^@]+}}@nonleaf_convergent149; CHECK-SAME: () #[[ATTR7:[0-9]+]] {150; CHECK-NEXT: [[TMP1:%.*]] = call token @llvm.experimental.convergence.entry()151; CHECK-NEXT: [[TMP2:%.*]] = call i32 @leaf_noconvergent_used() [ "convergencectrl"(token [[TMP1]]) ]152; CHECK-NEXT: ret i32 0153;154 %1 = call token @llvm.experimental.convergence.entry()155 %2 = call i32 @leaf_noconvergent_used() [ "convergencectrl"(token %1) ]156 ret i32 0157}158 159 160declare token @llvm.experimental.convergence.entry() #1161;.162; CHECK: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }163; CHECK: attributes #[[ATTR1]] = { convergent }164; CHECK: attributes #[[ATTR2]] = { norecurse }165; CHECK: attributes #[[ATTR3:[0-9]+]] = { convergent nocallback nounwind }166; CHECK: attributes #[[ATTR4]] = { convergent norecurse nounwind }167; CHECK: attributes #[[ATTR5]] = { nofree nosync nounwind memory(none) }168; CHECK: attributes #[[ATTR6]] = { convergent noinline optnone }169; CHECK: attributes #[[ATTR7]] = { convergent mustprogress nofree norecurse nosync nounwind willreturn memory(none) }170; CHECK: attributes #[[ATTR8:[0-9]+]] = { convergent nocallback nofree nosync nounwind willreturn memory(none) }171;.172