--- /dev/null
+; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | grep mul | wc -l | grep 2
+
+; This should have exactly 2 multiplies when we're done.
+
+int %f(int %a, int %b) {
+ %tmp.2 = mul int %a, %a
+ %tmp.5 = shl int %a, ubyte 1
+ %tmp.6 = mul int %tmp.5, %b
+ %tmp.10 = mul int %b, %b
+ %tmp.7 = add int %tmp.6, %tmp.2
+ %tmp.11 = add int %tmp.7, %tmp.10
+ ret int %tmp.11
+}
+
--- /dev/null
+; This should turn into one multiply and one add.
+
+; RUN: llvm-as < mulfactor2.ll | opt -instcombine -reassociate -instcombine | llvm-dis | grep mul | wc -l | grep 1 &&
+; RUN: llvm-as < mulfactor2.ll | opt -instcombine -reassociate -instcombine | llvm-dis | grep add | wc -l | grep 1
+int %main(int %t) {
+ %tmp.3 = mul int %t, 12 ; <int> [#uses=1]
+ %tmp.4 = add int %tmp.3, 5 ; <int> [#uses=1]
+ %tmp.6 = mul int %t, 6 ; <int> [#uses=1]
+ %tmp.8 = mul int %tmp.4, 3 ; <int> [#uses=1]
+ %tmp.9 = add int %tmp.8, %tmp.6 ; <int> [#uses=1]
+ ret int %tmp.9
+}
+