Preserve alignment information when promoting integer loads and stores.

1 files changed, 29 insertions, 0 deletions

diff --git a/test/Transforms/NaCl/promote-integer-align.ll b/test/Transforms/NaCl/promote-integer-align.ll
new file mode 100644
index 0000000000..0866d99a72
--- /dev/null
+++ b/test/Transforms/NaCl/promote-integer-align.ll
@@ -0,0 +1,29 @@
+; RUN: opt -S -nacl-promote-ints < %s | FileCheck %s
+
+target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
+
+; CHECK:     define void @aligned_copy(i24* %p, i24* %q) {
+; CHECK-NEXT:  %p.loty = bitcast i24* %p to i16*
+; CHECK-NEXT:  %t.lo = load i16* %p.loty, align 64
+; CHECK-NEXT:  %t.lo.ext = zext i16 %t.lo to i32
+; CHECK-NEXT:  %p.hi = getelementptr i16* %p.loty, i32 1
+; CHECK-NEXT:  %p.hity = bitcast i16* %p.hi to i8*
+; CHECK-NEXT:  %t.hi = load i8* %p.hity, align 1
+; CHECK-NEXT:  %t.hi.ext = zext i8 %t.hi to i32
+; CHECK-NEXT:  %t.hi.ext.sh = shl i32 %t.hi.ext, 16
+; CHECK-NEXT:  %t = or i32 %t.lo.ext, %t.hi.ext.sh
+; CHECK-NEXT:  %q.loty = bitcast i24* %q to i16*
+; CHECK-NEXT:  %t.lo1 = trunc i32 %t to i16
+; CHECK-NEXT:  store i16 %t.lo1, i16* %q.loty, align 64
+; CHECK-NEXT:  %t.hi.sh = lshr i32 %t, 16
+; CHECK-NEXT:  %q.hi = getelementptr i16* %q.loty, i32 1
+; CHECK-NEXT:  %t.hi2 = trunc i32 %t.hi.sh to i8
+; CHECK-NEXT:  %q.hity = bitcast i16* %q.hi to i8*
+; CHECK-NEXT:  store i8 %t.hi2, i8* %q.hity, align 1
+; CHECK-NEXT:  ret void
+; CHECK-NEXT:}
+define void @aligned_copy(i24* %p, i24* %q) {
+  %t = load i24* %p, align 64
+  store i24 %t, i24* %q, align 64
+  ret void
+}