merge some more tests in.

[oota-llvm.git] / test / Transforms / Reassociate / basictest.ll

diff --git a/test/Transforms/Reassociate/basictest.ll b/test/Transforms/Reassociate/basictest.ll
index 445aaaa7f57334fdbfef851411574455b50d8af1..c7d54af1e4be56ee0f6ec0a0986b0eab6a1175ce 100644 (file)
--- a/test/Transforms/Reassociate/basictest.ll
+++ b/test/Transforms/Reassociate/basictest.ll
@@ -105,3 +105,31 @@ define i32 @test6() {
 ; CHECK: @test6
 ; CHECK: ret i32 0
 }
+
+; This should be one add and two multiplies.
+define i32 @test7(i32 %A, i32 %B, i32 %C) {
+       %aa = mul i32 %A, %A
+       %aab = mul i32 %aa, %B
+       %ac = mul i32 %A, %C
+       %aac = mul i32 %ac, %A
+       %r = add i32 %aab, %aac
+       ret i32 %r
+; CHECK: @test7
+; CHECK-NEXT: add i32 %C, %B
+; CHECK-NEXT: mul i32 
+; CHECK-NEXT: mul i32 
+; CHECK-NEXT: ret i32 
+}
+
+
+define i32 @test8(i32 %X, i32 %Y, i32 %Z) {
+       %A = sub i32 0, %X
+       %B = mul i32 %A, %Y
+        ; (-X)*Y + Z -> Z-X*Y
+       %C = add i32 %B, %Z
+       ret i32 %C
+; CHECK: @test8
+; CHECK-NEXT: %A = mul i32 %Y, %X
+; CHECK-NEXT: %C = sub i32 %Z, %A
+; CHECK-NEXT: ret i32 %C
+}