test/Verifier/dereferenceable-md.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare i8* @foo()
   4
   5 define void @f1() {
   6 entry:
   7   call i8* @foo(), !dereferenceable !{i64 2}
   8   ret void
   9 }
  10 ; CHECK: dereferenceable, dereferenceable_or_null apply only to load instructions, use attributes for calls or invokes
  11 ; CHECK-NEXT: call i8* @foo()
  12
  13 define void @f2() {
  14 entry:
  15   call i8* @foo(), !dereferenceable_or_null !{i64 2}
  16   ret void
  17 }
  18 ; CHECK: dereferenceable, dereferenceable_or_null apply only to load instructions, use attributes for calls or invokes
  19 ; CHECK-NEXT: call i8* @foo()
  20
  21 define i8 @f3(i8* %x) {
  22 entry:
  23   %y = load i8, i8* %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, i8* %x
  28
  29 define i8 @f4(i8* %x) {
  30 entry:
  31   %y = load i8, i8* %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, i8* %x
  36
  37 define i8* @f5(i8** %x) {
  38 entry:
  39   %y = load i8*, i8** %x, !dereferenceable !{}
  40   ret i8* %y
  41 }
  42 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
  43 ; CHECK-NEXT: load i8*, i8** %x
  44
  45
  46 define i8* @f6(i8** %x) {
  47 entry:
  48   %y = load i8*, i8** %x, !dereferenceable_or_null !{}
  49   ret i8* %y
  50 }
  51 ; CHECK: dereferenceable, dereferenceable_or_null take one operand
  52 ; CHECK-NEXT: load i8*, i8** %x
  53
  54 define i8* @f7(i8** %x) {
  55 entry:
  56   %y = load i8*, i8** %x, !dereferenceable !{!"str"}
  57   ret i8* %y
  58 }
  59 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  60 ; CHECK-NEXT: load i8*, i8** %x
  61
  62
  63 define i8* @f8(i8** %x) {
  64 entry:
  65   %y = load i8*, i8** %x, !dereferenceable_or_null !{!"str"}
  66   ret i8* %y
  67 }
  68 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  69 ; CHECK-NEXT: load i8*, i8** %x
  70
  71 define i8* @f9(i8** %x) {
  72 entry:
  73   %y = load i8*, i8** %x, !dereferenceable !{i32 2}
  74   ret i8* %y
  75 }
  76 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  77 ; CHECK-NEXT: load i8*, i8** %x
  78
  79
  80 define i8* @f10(i8** %x) {
  81 entry:
  82   %y = load i8*, i8** %x, !dereferenceable_or_null !{i32 2}
  83   ret i8* %y
  84 }
  85 ; CHECK: dereferenceable, dereferenceable_or_null metadata value must be an i64!
  86 ; CHECK-NEXT: load i8*, i8** %x