|
1 | | -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --version 5 |
2 | 2 | ; RUN: opt %s -passes=adce -S | FileCheck %s |
3 | 3 |
|
4 | | -; CHECK: Function Attrs: convergent |
5 | 4 | define i32 @foo(i32 %a) #0 { |
| 5 | +; CHECK: Function Attrs: convergent |
6 | 6 | ; CHECK-LABEL: define i32 @foo( |
7 | 7 | ; CHECK-SAME: i32 [[A:%.*]]) #[[ATTR0:[0-9]+]] { |
8 | 8 | ; CHECK-NEXT: [[ENTRY:.*:]] |
|
13 | 13 | ret i32 %a |
14 | 14 | } |
15 | 15 |
|
16 | | -; CHECK: Function Attrs: convergent |
17 | 16 | define void @bar() #0 { |
| 17 | +; CHECK: Function Attrs: convergent |
18 | 18 | ; CHECK-LABEL: define void @bar( |
19 | 19 | ; CHECK-SAME: ) #[[ATTR0]] { |
20 | 20 | ; CHECK-NEXT: [[ENTRY:.*:]] |
|
25 | 25 | ret void |
26 | 26 | } |
27 | 27 |
|
28 | | -; CHECK: Function Attrs: convergent |
29 | 28 | define void @baz() #0 { |
| 29 | +; CHECK: Function Attrs: convergent |
30 | 30 | ; CHECK-LABEL: define void @baz( |
31 | 31 | ; CHECK-SAME: ) #[[ATTR0]] { |
32 | 32 | ; CHECK-NEXT: [[ENTRY:.*:]] |
|
54 | 54 | } |
55 | 55 |
|
56 | 56 | define void @indirect_inner() #0 { |
| 57 | +; CHECK: Function Attrs: convergent |
57 | 58 | ; CHECK-LABEL: define void @indirect_inner( |
58 | 59 | ; CHECK-SAME: ) #[[ATTR0]] { |
59 | 60 | ; CHECK-NEXT: [[ENTRY:.*:]] |
|
65 | 66 | } |
66 | 67 |
|
67 | 68 | define void @indirect() #0 { |
| 69 | +; CHECK: Function Attrs: convergent |
68 | 70 | ; CHECK-LABEL: define void @indirect( |
69 | 71 | ; CHECK-SAME: ) #[[ATTR0]] { |
70 | 72 | ; CHECK-NEXT: [[ENTRY:.*:]] |
|
0 commit comments