xref: /llvm-project/llvm/test/Verifier/initializes-attr.ll (revision 5ece35df8586d0cb8c104a9f44eaae771de025f5)
1; RUN: split-file %s %t
2; RUN: not llvm-as < %s %t/lower_greater_than_upper1.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Lower-GT-Upper1
3; RUN: not llvm-as < %s %t/lower_greater_than_upper2.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Lower-GT-Upper2
4; RUN: not llvm-as < %s %t/descending_order.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=DescOrder
5; RUN: not llvm-as < %s %t/overlapping1.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Overlapping1
6; RUN: not llvm-as < %s %t/overlapping2.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Overlapping2
7
8;--- lower_greater_than_upper1.ll
9; Lower-GT-Upper1: error: Invalid (unordered or overlapping) range list
10define void @lower_greater_than_upper1(ptr initializes((4, 0)) %a) {
11  ret void
12}
13
14;--- lower_greater_than_upper2.ll
15; Lower-GT-Upper2: error: Invalid (unordered or overlapping) range list
16define void @lower_greater_than_upper2(ptr initializes((0, 4), (8, 6)) %a) {
17  ret void
18}
19
20;--- descending_order.ll
21; DescOrder: error: Invalid (unordered or overlapping) range list
22define void @descending_order(ptr initializes((8, 12), (0, 4)) %a) {
23  ret void
24}
25
26;--- overlapping1.ll
27; Overlapping1: error: Invalid (unordered or overlapping) range list
28define void @overlapping1(ptr initializes((0, 4), (4, 8)) %a) {
29  ret void
30}
31
32;--- overlapping2.ll
33; Overlapping2: error: Invalid (unordered or overlapping) range list
34define void @overlapping2(ptr initializes((0, 4), (2, 8)) %a) {
35  ret void
36}
37