94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 52; RUN: opt %s -passes=adce -S | FileCheck %s3 4define i32 @foo(i32 %a) #0 {5; CHECK-LABEL: define i32 @foo(6; CHECK-SAME: i32 [[A:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: ret i32 [[A]]9;10entry:11 %tk = call token @llvm.experimental.convergence.entry()12 ret i32 %a13}14 15define void @bar() #0 {16; CHECK-LABEL: define void @bar(17; CHECK-SAME: ) #[[ATTR0]] {18; CHECK-NEXT: [[ENTRY:.*:]]19; CHECK-NEXT: ret void20;21entry:22 %tk = call token @llvm.experimental.convergence.anchor()23 ret void24}25 26define void @baz() #0 {27; CHECK-LABEL: define void @baz(28; CHECK-SAME: ) #[[ATTR0]] {29; CHECK-NEXT: [[ENTRY:.*:]]30; CHECK-NEXT: br label %[[HEADER:.*]]31; CHECK: [[HEADER]]:32; CHECK-NEXT: br i1 true, label %[[BODY:.*]], label %[[EXIT:.*]]33; CHECK: [[BODY]]:34; CHECK-NEXT: br label %[[HEADER]]35; CHECK: [[EXIT]]:36; CHECK-NEXT: ret void37;38entry:39 %tk0 = call token @llvm.experimental.convergence.entry()40 br label %header41 42header:43 %tk1 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %tk0) ]44 br i1 true, label %body, label %exit45 46body:47 br label %header48 49exit:50 ret void51}52 53define void @indirect_inner() #0 {54; CHECK-LABEL: define void @indirect_inner(55; CHECK-SAME: ) #[[ATTR0]] {56; CHECK-NEXT: [[ENTRY:.*:]]57; CHECK-NEXT: ret void58;59entry:60 %tk0 = call token @llvm.experimental.convergence.entry()61 ret void62}63 64define void @indirect() #0 {65; CHECK-LABEL: define void @indirect(66; CHECK-SAME: ) #[[ATTR0]] {67; CHECK-NEXT: [[ENTRY:.*:]]68; CHECK-NEXT: [[TK0:%.*]] = call token @llvm.experimental.convergence.entry()69; CHECK-NEXT: [[VAR:%.*]] = alloca ptr, align 870; CHECK-NEXT: store ptr @indirect_inner, ptr [[VAR]], align 871; CHECK-NEXT: [[PTR:%.*]] = load ptr, ptr [[VAR]], align 872; CHECK-NEXT: call void [[PTR]]() #[[ATTR0]] [ "convergencectrl"(token [[TK0]]) ]73; CHECK-NEXT: ret void74;75entry:76 %tk0 = call token @llvm.experimental.convergence.entry()77 %var = alloca ptr, align 878 store ptr @indirect_inner, ptr %var, align 879 %ptr = load ptr, ptr %var, align 880 call void %ptr() convergent [ "convergencectrl"(token %tk0) ]81 ret void82}83 84declare token @llvm.experimental.convergence.entry() #185declare token @llvm.experimental.convergence.anchor() #186declare token @llvm.experimental.convergence.loop() #187 88attributes #0 = { convergent }89attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }90;.91; CHECK: attributes #[[ATTR0]] = { convergent }92; CHECK: attributes #[[ATTR1:[0-9]+]] = { convergent nocallback nofree nosync nounwind willreturn memory(none) }93;.94