97 lines · plain
1; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s2 3target datalayout = "p0:64:64-p1:32:32"4 5 6@absolute_empty_arguments = external global i32, !absolute_symbol !07 8@absolute_one_argument = external global i32, !absolute_symbol !19 10@absolute_three_arguments = external global i32, !absolute_symbol !211 12 13 14@absolute_one_argument_wrong_width = external global i32, !absolute_symbol !315@absolute_two_arguments_wrong_width = external global i32, !absolute_symbol !416 17@absolute_two_arguments_one_wrong_width0 = external global i32, !absolute_symbol !518@absolute_two_arguments_one_wrong_width1 = external global i32, !absolute_symbol !619 20@absolute_zero_zero = external global i32, !absolute_symbol !721 22@absolute_equal_other = external global i32, !absolute_symbol !823 24@absolute_wrong_width_non0_as = external addrspace(1) global i32, !absolute_symbol !925 26; Test other kinds of symbols besides GlobalVariable27define void @absolute_func_empty_arguments() !absolute_symbol !0 {28 ret void29}30 31@absolute_is_fp = external global i32, !absolute_symbol !1032@absolute_is_vector = external global i32, !absolute_symbol !1133@absolute_is_ptr = external global i32, !absolute_symbol !1234@absolute_is_ptr0 = external global i32, !absolute_symbol !1335@absolute_is_ptr1 = external global i32, !absolute_symbol !1436 37@absolute_wrong_order = external global i32, !absolute_symbol !1538 39; CHECK: It should have at least one range!40; CHECK-NEXT: !0 = !{}41; CHECK: It should have at least one range!42; CHECK-NEXT: !0 = !{}43!0 = !{}44 45; CHECK-NEXT: Unfinished range!46; CHECK-NEXT: !1 = !{i64 128}47!1 = !{i64 128}48 49; CHECK-NEXT: Unfinished range!50; CHECK-NEXT: !2 = !{i64 128, i64 256, i64 512}51!2 = !{i64 128, i64 256, i64 512}52 53; CHECK-NEXT: Unfinished range!54; CHECK-NEXT: !3 = !{i32 256}55!3 = !{i32 256}56 57; CHECK-NEXT: Range types must match instruction type!58; CHECK-NEXT: ptr @absolute_two_arguments_wrong_width59!4 = !{i32 256, i32 512}60 61; CHECK-NEXT: Range pair types must match!62; CHECK-NEXT: ptr @absolute_two_arguments_one_wrong_width063!5 = !{i32 256, i64 512}64 65; CHECK-NEXT: Range pair types must match!66; CHECK-NEXT: ptr @absolute_two_arguments_one_wrong_width167!6 = !{i64 256, i32 512}68 69; CHECK-NEXT: Range must not be empty!70; CHECK-NEXT: !7 = !{i64 0, i64 0}71!7 = !{i64 0, i64 0}72 73; CHECK-NEXT: The upper and lower limits cannot be the same value74; CHECK-NEXT: ptr @absolute_equal_other75!8 = !{i64 123, i64 123}76 77; CHECK-NEXT: Range types must match instruction type!78; CHECK-NEXT: ptr addrspace(1) @absolute_wrong_width_non0_as79!9 = !{i64 512, i64 256}80 81; CHECK-NEXT: The lower limit must be an integer!82!10 = !{float 0.0, float 256.0}83 84; CHECK-NEXT: The lower limit must be an integer!85!11 = !{<2 x i64> zeroinitializer, <2 x i64> <i64 256, i64 256>}86 87; CHECK-NEXT: The lower limit must be an integer!88!12 = !{ptr null, ptr inttoptr (i64 256 to ptr)}89 90; CHECK-NEXT: The lower limit must be an integer!91!13 = !{ptr null, i64 456}92 93; CHECK-NEXT: The upper limit must be an integer!94!14 = !{i64 456, ptr inttoptr (i64 512 to ptr)}95!15 = !{i64 1024, i64 128}96 97