67 lines · plain
1; RUN: llvm-as < %s -o /dev/null2 3define i8 @f1(ptr %x) {4entry:5 %y = load i8, ptr %x, align 1, !range !06 ret i8 %y7}8!0 = !{i8 0, i8 1}9 10define i8 @f2(ptr %x) {11entry:12 %y = load i8, ptr %x, align 1, !range !113 ret i8 %y14}15!1 = !{i8 255, i8 1}16 17define i8 @f3(ptr %x) {18entry:19 %y = load i8, ptr %x, align 1, !range !220 ret i8 %y21}22!2 = !{i8 1, i8 3, i8 5, i8 42}23 24define i8 @f4(ptr %x) {25entry:26 %y = load i8, ptr %x, align 1, !range !327 ret i8 %y28}29!3 = !{i8 -1, i8 0, i8 1, i8 2}30 31define i8 @f5(ptr %x) {32entry:33 %y = load i8, ptr %x, align 1, !range !434 ret i8 %y35}36!4 = !{i8 -1, i8 0, i8 1, i8 -2}37 38; We can annotate the range of the return value of a CALL.39define void @call_all(ptr %x) {40entry:41 %v1 = call i8 @f1(ptr %x), !range !042 %v2 = call i8 @f2(ptr %x), !range !143 %v3 = call i8 @f3(ptr %x), !range !244 %v4 = call i8 @f4(ptr %x), !range !345 %v5 = call i8 @f5(ptr %x), !range !446 ret void47}48 49; We can annotate the range of the return value of an INVOKE.50define void @invoke_all(ptr %x) personality ptr @__gxx_personality_v0 {51entry:52 %v1 = invoke i8 @f1(ptr %x) to label %cont unwind label %lpad, !range !053 %v2 = invoke i8 @f2(ptr %x) to label %cont unwind label %lpad, !range !154 %v3 = invoke i8 @f3(ptr %x) to label %cont unwind label %lpad, !range !255 %v4 = invoke i8 @f4(ptr %x) to label %cont unwind label %lpad, !range !356 %v5 = invoke i8 @f5(ptr %x) to label %cont unwind label %lpad, !range !457 58cont:59 ret void60 61lpad:62 %4 = landingpad { ptr, i32 }63 filter [0 x ptr] zeroinitializer64 ret void65}66declare i32 @__gxx_personality_v0(...)67