mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-26 22:42:46 +02:00
c7b58da814
In the commentary for D11660, I wasn't sure if it was alright to create new integer machine instructions without also creating the implicit EFLAGS operand. From what I can see, the implicit operand is always created by the MachineInstrBuilder based on the instruction type, so we don't have to do that explicitly. However, in reviewing the debug output, I noticed that the operand was not marked as 'dead'. The machine combiner should do that to preserve future optimization opportunities that may be checking for that dead EFLAGS operand themselves. Differential Revision: http://reviews.llvm.org/D11696 llvm-svn: 243990
50 lines
1.5 KiB
LLVM
50 lines
1.5 KiB
LLVM
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=x86-64 | FileCheck %s
|
|
; 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
|
|
|
|
; Verify that integer multiplies are reassociated. The first multiply in
|
|
; each test should be independent of the result of the preceding add (lea).
|
|
|
|
define i16 @reassociate_muls_i16(i16 %x0, i16 %x1, i16 %x2, i16 %x3) {
|
|
; CHECK-LABEL: reassociate_muls_i16:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: leal (%rdi,%rsi), %eax
|
|
; CHECK-NEXT: imull %ecx, %edx
|
|
; CHECK-NEXT: imull %edx, %eax
|
|
; CHECK-NEXT: retq
|
|
%t0 = add i16 %x0, %x1
|
|
%t1 = mul i16 %x2, %t0
|
|
%t2 = mul i16 %x3, %t1
|
|
ret i16 %t2
|
|
}
|
|
|
|
define i32 @reassociate_muls_i32(i32 %x0, i32 %x1, i32 %x2, i32 %x3) {
|
|
; CHECK-LABEL: reassociate_muls_i32:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: leal (%rdi,%rsi), %eax
|
|
; CHECK-NEXT: imull %ecx, %edx
|
|
; CHECK-NEXT: imull %edx, %eax
|
|
; CHECK-NEXT: retq
|
|
|
|
; DEAD: ADD32rr
|
|
; DEAD-NEXT: IMUL32rr{{.*}}implicit-def dead %eflags
|
|
; DEAD-NEXT: IMUL32rr{{.*}}implicit-def dead %eflags
|
|
|
|
%t0 = add i32 %x0, %x1
|
|
%t1 = mul i32 %x2, %t0
|
|
%t2 = mul i32 %x3, %t1
|
|
ret i32 %t2
|
|
}
|
|
|
|
define i64 @reassociate_muls_i64(i64 %x0, i64 %x1, i64 %x2, i64 %x3) {
|
|
; CHECK-LABEL: reassociate_muls_i64:
|
|
; CHECK: # BB#0:
|
|
; CHECK-NEXT: leaq (%rdi,%rsi), %rax
|
|
; CHECK-NEXT: imulq %rcx, %rdx
|
|
; CHECK-NEXT: imulq %rdx, %rax
|
|
; CHECK-NEXT: retq
|
|
%t0 = add i64 %x0, %x1
|
|
%t1 = mul i64 %x2, %t0
|
|
%t2 = mul i64 %x3, %t1
|
|
ret i64 %t2
|
|
}
|