[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)
[llvm-project.git] / llvm / test / Verifier / align-md.ll
blobcb48a5d4521b10ac604ba8ef48465c7090df2f0d
1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
3 declare ptr @foo()
5 define void @f1() {
6 entry:
7   call ptr @foo(), !align !{i64 2}
8   ret void
10 ; CHECK: align applies only to load instructions
11 ; CHECK-NEXT: call ptr @foo()
13 define i8 @f2(ptr %x) {
14 entry:
15   %y = load i8, ptr %x, !align !{i64 2}
16   ret i8 %y
18 ; CHECK: align applies only to pointer types
19 ; CHECK-NEXT: load i8, ptr %x
21 define ptr @f3(ptr %x) {
22 entry:
23   %y = load ptr, ptr %x, !align !{}
24   ret ptr %y
26 ; CHECK: align takes one operand
27 ; CHECK-NEXT: load ptr, ptr %x
29 define ptr @f4(ptr %x) {
30 entry:
31   %y = load ptr, ptr %x, !align !{!"str"}
32   ret ptr %y
34 ; CHECK: align metadata value must be an i64!
35 ; CHECK-NEXT: load ptr, ptr %x
37 define ptr @f5(ptr %x) {
38 entry:
39   %y = load ptr, ptr %x, !align !{i32 2}
40   ret ptr %y
42 ; CHECK: align metadata value must be an i64!
43 ; CHECK-NEXT: load ptr, ptr %x
45 define ptr @f6(ptr %x) {
46 entry:
47   %y = load ptr, ptr %x, !align !{i64 3}
48   ret ptr %y
50 ; CHECK: align metadata value must be a power of 2!
51 ; CHECK-NEXT: load ptr, ptr %x
53 define ptr @f7(ptr %x) {
54 entry:
55   %y = load ptr, ptr %x, !align !{i64 8589934592}
56   ret ptr %y
58 ; CHECK: alignment is larger that implementation defined limit
59 ; CHECK-NEXT: load ptr, ptr %x