diff options
Diffstat (limited to 'test/Verifier/range-2.ll')
-rw-r--r-- | test/Verifier/range-2.ll | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/Verifier/range-2.ll b/test/Verifier/range-2.ll index 1d2e057..f8891c8 100644 --- a/test/Verifier/range-2.ll +++ b/test/Verifier/range-2.ll @@ -5,35 +5,35 @@ entry: %y = load i8* %x, align 1, !range !0 ret i8 %y } -!0 = metadata !{i8 0, i8 1} +!0 = !{i8 0, i8 1} define i8 @f2(i8* %x) { entry: %y = load i8* %x, align 1, !range !1 ret i8 %y } -!1 = metadata !{i8 255, i8 1} +!1 = !{i8 255, i8 1} define i8 @f3(i8* %x) { entry: %y = load i8* %x, align 1, !range !2 ret i8 %y } -!2 = metadata !{i8 1, i8 3, i8 5, i8 42} +!2 = !{i8 1, i8 3, i8 5, i8 42} define i8 @f4(i8* %x) { entry: %y = load i8* %x, align 1, !range !3 ret i8 %y } -!3 = metadata !{i8 -1, i8 0, i8 1, i8 2} +!3 = !{i8 -1, i8 0, i8 1, i8 2} define i8 @f5(i8* %x) { entry: %y = load i8* %x, align 1, !range !4 ret i8 %y } -!4 = metadata !{i8 -1, i8 0, i8 1, i8 -2} +!4 = !{i8 -1, i8 0, i8 1, i8 -2} ; We can annotate the range of the return value of a CALL. define void @call_all(i8* %x) { |