1 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=x86-64 | FileCheck %s
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -stop-after machine-combiner -o /dev/null 2>&1 | FileCheck %s --check-prefix=DEAD
4 ; Verify that integer multiplies are reassociated. The first multiply in
5 ; each test should be independent of the result of the preceding add (lea).
7 define i16 @reassociate_muls_i16(i16 %x0, i16 %x1, i16 %x2, i16 %x3) {
8 ; CHECK-LABEL: reassociate_muls_i16:
10 ; CHECK-NEXT: leal (%rdi,%rsi), %eax
11 ; CHECK-NEXT: imull %ecx, %edx
12 ; CHECK-NEXT: imull %edx, %eax
14 %t0 = add i16 %x0, %x1
15 %t1 = mul i16 %x2, %t0
16 %t2 = mul i16 %x3, %t1
20 define i32 @reassociate_muls_i32(i32 %x0, i32 %x1, i32 %x2, i32 %x3) {
21 ; CHECK-LABEL: reassociate_muls_i32:
23 ; CHECK-NEXT: leal (%rdi,%rsi), %eax
24 ; CHECK-NEXT: imull %ecx, %edx
25 ; CHECK-NEXT: imull %edx, %eax
29 ; DEAD-NEXT: IMUL32rr{{.*}}implicit-def dead %eflags
30 ; DEAD-NEXT: IMUL32rr{{.*}}implicit-def dead %eflags
32 %t0 = add i32 %x0, %x1
33 %t1 = mul i32 %x2, %t0
34 %t2 = mul i32 %x3, %t1
38 define i64 @reassociate_muls_i64(i64 %x0, i64 %x1, i64 %x2, i64 %x3) {
39 ; CHECK-LABEL: reassociate_muls_i64:
41 ; CHECK-NEXT: leaq (%rdi,%rsi), %rax
42 ; CHECK-NEXT: imulq %rcx, %rdx
43 ; CHECK-NEXT: imulq %rdx, %rax
45 %t0 = add i64 %x0, %x1
46 %t1 = mul i64 %x2, %t0
47 %t2 = mul i64 %x3, %t1