1- ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --version 5
1+ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
22; RUN: opt %s -passes=adce -S | FileCheck %s
33
44define i32 @foo (i32 %a ) #0 {
5- ; CHECK: Function Attrs: convergent
65; CHECK-LABEL: define i32 @foo(
76; CHECK-SAME: i32 [[A:%.*]]) #[[ATTR0:[0-9]+]] {
87; CHECK-NEXT: [[ENTRY:.*:]]
1413}
1514
1615define void @bar () #0 {
17- ; CHECK: Function Attrs: convergent
1816; CHECK-LABEL: define void @bar(
1917; CHECK-SAME: ) #[[ATTR0]] {
2018; CHECK-NEXT: [[ENTRY:.*:]]
2624}
2725
2826define void @baz () #0 {
29- ; CHECK: Function Attrs: convergent
3027; CHECK-LABEL: define void @baz(
3128; CHECK-SAME: ) #[[ATTR0]] {
3229; CHECK-NEXT: [[ENTRY:.*:]]
5451}
5552
5653define void @indirect_inner () #0 {
57- ; CHECK: Function Attrs: convergent
5854; CHECK-LABEL: define void @indirect_inner(
5955; CHECK-SAME: ) #[[ATTR0]] {
6056; CHECK-NEXT: [[ENTRY:.*:]]
6662}
6763
6864define void @indirect () #0 {
69- ; CHECK: Function Attrs: convergent
7065; CHECK-LABEL: define void @indirect(
7166; CHECK-SAME: ) #[[ATTR0]] {
7267; CHECK-NEXT: [[ENTRY:.*:]]
@@ -92,3 +87,7 @@ declare token @llvm.experimental.convergence.loop() #1
9287
9388attributes #0 = { convergent }
9489attributes #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+ ;.
0 commit comments