llvm/test/Verifier/noalias-addrspace.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 ; CHECK: It should have at least one range!
   4 ; CHECK-NEXT: !0 = !{}
   5 define i64 @noalias_addrspace__empty(ptr %ptr, i64 %val) {
   6   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !0
   7   ret i64 %ret
   8 }
   9
  10 ; CHECK: Unfinished range!
  11 ; CHECK-NEXT: !1 = !{i32 0}
  12 define i64 @noalias_addrspace__single_field(ptr %ptr, i64 %val) {
  13   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !1
  14   ret i64 %ret
  15 }
  16
  17 ; CHECK: Range must not be empty!
  18 ; CHECK-NEXT: !2 = !{i32 0, i32 0}
  19 define i64 @noalias_addrspace__0_0(ptr %ptr, i64 %val) {
  20   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !2
  21   ret i64 %ret
  22 }
  23
  24 ; CHECK: noalias.addrspace type must be i32!
  25 ; CHECK-NEXT: %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, align 8, !noalias.addrspace !3
  26 define i64 @noalias_addrspace__i64(ptr %ptr, i64 %val) {
  27   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !3
  28   ret i64 %ret
  29 }
  30
  31 ; CHECK: The lower limit must be an integer!
  32 define i64 @noalias_addrspace__fp(ptr %ptr, i64 %val) {
  33   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !4
  34   ret i64 %ret
  35 }
  36
  37 ; CHECK: The lower limit must be an integer!
  38 define i64 @noalias_addrspace__ptr(ptr %ptr, i64 %val) {
  39   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !5
  40   ret i64 %ret
  41 }
  42
  43 ; CHECK: The lower limit must be an integer!
  44 define i64 @noalias_addrspace__nonconstant(ptr %ptr, i64 %val) {
  45   %ret = atomicrmw add ptr %ptr, i64 %val seq_cst, !noalias.addrspace !6
  46   ret i64 %ret
  47 }
  48
  49 @gv0 = global i32 0
  50 @gv1 = global i32 1
  51
  52 !0 = !{}
  53 !1 = !{i32 0}
  54 !2 = !{i32 0, i32 0}
  55 !3 = !{i64 1, i64 5}
  56 !4 = !{float 0.0, float 2.0}
  57 !5 = !{ptr null, ptr addrspace(1) null}
  58 !6 = !{i32 ptrtoint (ptr @gv0 to i32), i32 ptrtoint (ptr @gv1 to i32) }
  59
  60