Test that we can reassociate (x<<1)+(y<<1) -> (X+Y)<<1.
authorChris Lattner <sabre@nondot.org>
Tue, 14 Mar 2006 06:54:32 +0000 (06:54 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 14 Mar 2006 06:54:32 +0000 (06:54 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26752 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/Reassociate/shift-factor.ll [new file with mode: 0644]

diff --git a/test/Transforms/Reassociate/shift-factor.ll b/test/Transforms/Reassociate/shift-factor.ll
new file mode 100644 (file)
index 0000000..b0499f5
--- /dev/null
@@ -0,0 +1,11 @@
+; There should be exactly one shift and one add left.
+; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | grep shl | wc -l | grep 1 &&
+; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | grep add | wc -l | grep 1
+
+int %test(int %X, int %Y) {
+        %tmp.2 = shl int %X, ubyte 1            ; <int> [#uses=1]
+        %tmp.6 = shl int %Y, ubyte 1            ; <int> [#uses=1]
+        %tmp.4 = add int %tmp.6, %tmp.2         ; <int> [#uses=1]
+        ret int %tmp.4
+}
+