|
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-globals all --version 5 |
| 2 | +; RUN: opt < %s -passes='bounds-checking<trap;merge>' -S | FileCheck %s --check-prefixes=TR |
| 3 | +; RUN: opt < %s -passes='bounds-checking<rt;merge>' -S | FileCheck %s --check-prefixes=RT |
| 4 | + |
2 | 5 | ; RUN: opt < %s -passes=bounds-checking -S | FileCheck %s --check-prefixes=TR-NOMERGE
|
3 | 6 | ; RUN: opt < %s -passes='bounds-checking<trap>' -S | FileCheck %s --check-prefixes=TR-NOMERGE
|
4 | 7 | ; RUN: opt < %s -passes='bounds-checking<rt>' -S | FileCheck %s --check-prefixes=RT-NOMERGE
|
@@ -129,11 +132,28 @@ define void @f1(i64 %x) nounwind {
|
129 | 132 | ret void
|
130 | 133 | }
|
131 | 134 |
|
| 135 | +;. |
| 136 | +; TR: attributes #[[ATTR0]] = { nounwind } |
| 137 | +; TR: attributes #[[ATTR1:[0-9]+]] = { cold noreturn nounwind memory(inaccessiblemem: write) } |
| 138 | +; TR: attributes #[[ATTR2]] = { noreturn nounwind } |
| 139 | +;. |
| 140 | +; RT: attributes #[[ATTR0]] = { nounwind } |
| 141 | +;. |
| 142 | +; TR-NOMERGE: attributes #[[ATTR0]] = { nounwind } |
| 143 | +; TR-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { cold noreturn nounwind } |
132 | 144 | ; TR-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind }
|
| 145 | +;. |
| 146 | +; RT-NOMERGE: attributes #[[ATTR0]] = { nounwind } |
133 | 147 | ; RT-NOMERGE: attributes #[[ATTR1]] = { nomerge nounwind }
|
| 148 | +;. |
| 149 | +; RTABORT-NOMERGE: attributes #[[ATTR0]] = { nounwind } |
| 150 | +; RTABORT-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { noreturn nounwind } |
134 | 151 | ; RTABORT-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind }
|
| 152 | +;. |
| 153 | +; MINRT-NOMERGE: attributes #[[ATTR0]] = { nounwind } |
135 | 154 | ; MINRT-NOMERGE: attributes #[[ATTR1]] = { nomerge nounwind }
|
| 155 | +;. |
| 156 | +; MINRTABORT-NOMERGE: attributes #[[ATTR0]] = { nounwind } |
| 157 | +; MINRTABORT-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { noreturn nounwind } |
136 | 158 | ; MINRTABORT-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind }
|
137 |
| -; |
138 |
| -; TR: attributes #[[ATTR2]] = { noreturn nounwind } |
139 |
| -; RT: attributes #[[ATTR0]] = { nounwind } |
| 159 | +;. |
0 commit comments