diff options
Diffstat (limited to 'llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll b/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll index 5b45172f695..15a93328974 100644 --- a/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll +++ b/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll @@ -3,7 +3,7 @@ ; Uses the print-deref (+ analyze to print) pass to run ; isDereferenceablePointer() on many load instruction operands -target datalayout = "e" +target datalayout = "e-i32:32:64" %TypeOpaque = type opaque @@ -133,6 +133,12 @@ entry: %load26 = load i32, i32* %d4_unaligned_load, align 16 %load27 = load i32, i32* %d4_aligned_load, align 16 + ; Alloca with no explicit alignment is aligned to preferred alignment of + ; the type (specified by datalayout string). +; CHECK: %alloca.noalign{{.*}}(aligned) + %alloca.noalign = alloca i32 + %load28 = load i32, i32* %alloca.noalign, align 8 + ret void } |

