llvm/test/Verifier/dereferenceable-md.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare ptr @foo()
   4
   5 define void @f1() {
   6 entry:
   7   call ptr @foo(), !dereferenceable !{i64 2}
   8   ret void
   9 }
  10 ; CHECK: dereferenceable, dereferenceable_or_null apply only to load and inttoptr instructions, use attributes for calls or invokes
  11 ; CHECK-NEXT: call ptr @foo()
  12
  13 define void @f2() {
  14 entry:
  15   call ptr @foo(), !dereferenceable_or_null !{i64 2}
  16   ret void
  17 }
  18 ; CHECK: dereferenceable, dereferenceable_or_null apply only to load and inttoptr instructions, use attributes for calls or invokes
  19 ; CHECK-NEXT: call ptr @foo()
  20
  21 define i8 @f3(ptr %x) {
  22 entry:
  23   %y = load i8, ptr %x, !dereferenceable !{i64 2}
  24   ret i8 %y
  25 }
  26 ; CHECK: dereferenceable, dereferenceable_or_null apply only to pointer types
  27 ; CHECK-NEXT: load i8, ptr %x
  28
  29 define i8 @f4(ptr %x) {
  30 entry:
  31   %y = load i8, ptr %x, !dereferenceable_or_null !{i64 2}
  32   ret i8 %y
  33 }
  34 ; CHECK: dereferenceable, dereferenceable_or_null apply only to pointer types
  35 ; CHECK-NEXT: load i8, ptr %x
  36
  37 define ptr @f5(ptr %x) {
  38 entry:
  39   %y = load ptr, ptr %x, !dereferenceable !{}
  40   ret ptr %y
  41 }
  42 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
  43 ; CHECK-NEXT: load ptr, ptr %x
  44
  45
  46 define ptr @f6(ptr %x) {
  47 entry:
  48   %y = load ptr, ptr %x, !dereferenceable_or_null !{}
  49   ret ptr %y
  50 }
  51 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
  52 ; CHECK-NEXT: load ptr, ptr %x
  53
  54 define ptr @f7(ptr %x) {
  55 entry:
  56   %y = load ptr, ptr %x, !dereferenceable !{!"str"}
  57   ret ptr %y
  58 }
  59 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  60 ; CHECK-NEXT: load ptr, ptr %x
  61
  62
  63 define ptr @f8(ptr %x) {
  64 entry:
  65   %y = load ptr, ptr %x, !dereferenceable_or_null !{!"str"}
  66   ret ptr %y
  67 }
  68 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  69 ; CHECK-NEXT: load ptr, ptr %x
  70
  71 define ptr @f9(ptr %x) {
  72 entry:
  73   %y = load ptr, ptr %x, !dereferenceable !{i32 2}
  74   ret ptr %y
  75 }
  76 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  77 ; CHECK-NEXT: load ptr, ptr %x
  78
  79
  80 define ptr @f10(ptr %x) {
  81 entry:
  82   %y = load ptr, ptr %x, !dereferenceable_or_null !{i32 2}
  83   ret ptr %y
  84 }
  85 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  86 ; CHECK-NEXT: load ptr, ptr %x
  87
  88 define ptr @f_11(i8 %val) {
  89   %ptr = inttoptr i8 %val to ptr, !dereferenceable !{i32 2}
  90   ret ptr %ptr
  91 }
  92 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  93 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable !3
  94
  95 define ptr @f_12(i8 %val) {
  96   %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !{i32 2}
  97   ret ptr %ptr
  98 }
  99 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
 100 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !3
 101
 102 define ptr @f_13(i8 %val) {
 103   %ptr = inttoptr i8 %val to ptr, !dereferenceable !{}
 104   ret ptr %ptr
 105 }
 106 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
 107 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable !1
 108
 109 define ptr @f_14(i8 %val) {
 110   %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !{}
 111   ret ptr %ptr
 112 }
 113 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
 114 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !1
 115
 116 define ptr @f_15(i8 %val) {
 117   %ptr = inttoptr i8 %val to ptr, !dereferenceable !{!"str"}
 118   ret ptr %ptr
 119 }
 120 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
 121 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable !2
 122
 123 define ptr @f_16(i8 %val) {
 124   %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !{!"str"}
 125   ret ptr %ptr
 126 }
 127 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
 128 ; CHECK-NEXT: %ptr = inttoptr i8 %val to ptr, !dereferenceable_or_null !2