summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll')
-rw-r--r--llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll8
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
}
OpenPOWER on IntegriCloud