[llvm] r244603 - add missing test for machine combiner when optimizing for size

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Tue Aug 11 09:29:45 2015
New Revision: 244603

URL: http://llvm.org/viewvc/llvm-project?rev=244603&view=rev
Log:
add missing test for machine combiner when optimizing for size

The minsize test will be fixed in the next commit.

Modified:
    llvm/trunk/test/CodeGen/AArch64/mul-lohi.ll

Modified: llvm/trunk/test/CodeGen/AArch64/mul-lohi.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/mul-lohi.ll?rev=244603&r1=244602&r2=244603&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/mul-lohi.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/mul-lohi.ll Tue Aug 11 09:29:45 2015
@@ -1,5 +1,6 @@
 ; RUN: llc -mtriple=arm64-apple-ios7.0 -mcpu=cyclone %s -o - | FileCheck %s
 ; RUN: llc -mtriple=aarch64_be-linux-gnu -mcpu=cyclone %s -o - | FileCheck --check-prefix=CHECK-BE %s
+
 define i128 @test_128bitmul(i128 %lhs, i128 %rhs) {
 ; CHECK-LABEL: test_128bitmul:
 ; CHECK-DAG: mul [[PART1:x[0-9]+]], x0, x3
@@ -16,3 +17,32 @@ define i128 @test_128bitmul(i128 %lhs, i
   %prod = mul i128 %lhs, %rhs
   ret i128 %prod
 }
+
+; The machine combiner should create madd instructions when
+; optimizing for size because that's smaller than mul + add.
+
+define i128 @test_128bitmul_optsize(i128 %lhs, i128 %rhs) optsize {
+; CHECK-LABEL: test_128bitmul_optsize:
+; CHECK:       umulh [[HI:x[0-9]+]], x0, x2
+; CHECK-NEXT:  madd  [[TEMP1:x[0-9]+]], x0, x3, [[HI]]
+; CHECK-NEXT:  madd  x1, x1, x2, [[TEMP1]]
+; CHECK-NEXT:  mul   x0, x0, x2
+; CHECK-NEXT:  ret
+
+  %prod = mul i128 %lhs, %rhs
+  ret i128 %prod
+}
+
+; FIXME: This should be the same as the optsize test above.
+
+define i128 @test_128bitmul_minsize(i128 %lhs, i128 %rhs) minsize {
+; CHECK-LABEL: test_128bitmul_minsize:
+; CHECK-DAG: mul [[PART1:x[0-9]+]], x0, x3
+; CHECK-DAG: umulh [[CARRY:x[0-9]+]], x0, x2
+; CHECK: mul [[PART2:x[0-9]+]], x1, x2
+; CHECK: mul x0, x0, x2
+
+  %prod = mul i128 %lhs, %rhs
+  ret i128 %prod
+}
+