63 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=bdce -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 %tk0 = 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 %tk0 = 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 53declare token @llvm.experimental.convergence.entry() #154declare token @llvm.experimental.convergence.anchor() #155declare token @llvm.experimental.convergence.loop() #156 57attributes #0 = { convergent }58attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }59;.60; CHECK: attributes #[[ATTR0]] = { convergent }61; CHECK: attributes #[[ATTR1:[0-9]+]] = { convergent nocallback nofree nosync nounwind willreturn memory(none) }62;.63