| ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s | |
| declare i8* @foo() | |
| define void @f1() { | |
| entry: | |
| call i8* @foo(), !align !{i64 2} | |
| ret void | |
| } | |
| ; CHECK: align applies only to load instructions | |
| ; CHECK-NEXT: call i8* @foo() | |
| define i8 @f2(i8* %x) { | |
| entry: | |
| %y = load i8, i8* %x, !align !{i64 2} | |
| ret i8 %y | |
| } | |
| ; CHECK: align applies only to pointer types | |
| ; CHECK-NEXT: load i8, i8* %x | |
| define i8* @f3(i8** %x) { | |
| entry: | |
| %y = load i8*, i8** %x, !align !{} | |
| ret i8* %y | |
| } | |
| ; CHECK: align takes one operand | |
| ; CHECK-NEXT: load i8*, i8** %x | |
| define i8* @f4(i8** %x) { | |
| entry: | |
| %y = load i8*, i8** %x, !align !{!"str"} | |
| ret i8* %y | |
| } | |
| ; CHECK: align metadata value must be an i64! | |
| ; CHECK-NEXT: load i8*, i8** %x | |
| define i8* @f5(i8** %x) { | |
| entry: | |
| %y = load i8*, i8** %x, !align !{i32 2} | |
| ret i8* %y | |
| } | |
| ; CHECK: align metadata value must be an i64! | |
| ; CHECK-NEXT: load i8*, i8** %x | |
| define i8* @f6(i8** %x) { | |
| entry: | |
| %y = load i8*, i8** %x, !align !{i64 3} | |
| ret i8* %y | |
| } | |
| ; CHECK: align metadata value must be a power of 2! | |
| ; CHECK-NEXT: load i8*, i8** %x | |
| define i8* @f7(i8** %x) { | |
| entry: | |
| %y = load i8*, i8** %x, !align !{i64 1073741824} | |
| ret i8* %y | |
| } | |
| ; CHECK: alignment is larger that implementation defined limit | |
| ; CHECK-NEXT: load i8*, i8** %x |