| ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s | |
| declare i8 @func() | |
| define void @test(ptr %x) { | |
| entry: | |
| ; CHECK: Ranges are only for loads, calls and invokes! | |
| store i8 0, ptr %x, align 1, !range !{i8 0, i8 1} | |
| ; CHECK: It should have at least one range! | |
| load i8, ptr %x, align 1, !range !{} | |
| ; CHECK: Unfinished range! | |
| load i8, ptr %x, align 1, !range !{i8 0} | |
| ; CHECK: The lower limit must be an integer! | |
| load i8, ptr %x, align 1, !range !{double 0.0, i8 0} | |
| ; CHECK: The upper limit must be an integer! | |
| load i8, ptr %x, align 1, !range !{i8 0, double 0.0} | |
| ; CHECK: Range pair types must match! | |
| load i8, ptr %x, align 1, !range !{i32 0, i8 0} | |
| ; CHECK: Range pair types must match! | |
| load i8, ptr %x, align 1, !range !{i8 0, i32 0} | |
| ; CHECK: Range types must match instruction type! | |
| load i8, ptr %x, align 1, !range !{i32 0, i32 0} | |
| ; CHECK: Range must not be empty! | |
| load i8, ptr %x, align 1, !range !{i8 0, i8 0} | |
| ; CHECK: Intervals are overlapping | |
| load i8, ptr %x, align 1, !range !{i8 0, i8 2, i8 1, i8 3} | |
| ; CHECK: Intervals are overlapping | |
| load i8, ptr %x, align 1, !range !{i8 1, i8 3, i8 5, i8 2} | |
| ; CHECK: Intervals are overlapping | |
| load i8, ptr %x, align 1, !range !{i8 10, i8 1, i8 12, i8 13} | |
| ; CHECK: Intervals are overlapping | |
| load i8, ptr %x, align 1, !range !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 2} | |
| ; CHECK: Intervals are contiguous | |
| load i8, ptr %x, align 1, !range !{i8 0, i8 2, i8 2, i8 3} | |
| ; CHECK: Intervals are contiguous | |
| load i8, ptr %x, align 1, !range !{i8 1, i8 3, i8 5, i8 1} | |
| ; CHECK: Intervals are contiguous | |
| load i8, ptr %x, align 1, !range !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1} | |
| ; CHECK: Intervals are not in order | |
| load i8, ptr %x, align 1, !range !{i8 1, i8 2, i8 -1, i8 0} | |
| ; CHECK: It should have at least one range! | |
| call i8 @func(), !range !{} | |
| ; CHECK: Range types must match instruction type! | |
| load <2 x i8>, ptr %x, !range !{i16 0, i16 10} | |
| ; CHECK: The upper and lower limits cannot be the same value{{$}} | |
| load i32, ptr %x, !range !{i32 123, i32 123} | |
| ret void | |
| } |