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