2017-09-20 00:14:37 +08:00
|
|
|
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
|
|
|
|
|
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
|
|
|
|
|
|
|
|
|
|
define i64 @testOptimizeLiAddToAddi(i64 %a) {
|
|
|
|
|
; CHECK-LABEL: testOptimizeLiAddToAddi:
|
[MachineCopyPropagation] Extend pass to do COPY source forwarding
Summary:
This change extends MachineCopyPropagation to do COPY source forwarding
and adds an additional run of the pass to the default pass pipeline just
after register allocation.
This version of this patch uses the newly added
MachineOperand::isRenamable bit to avoid forwarding registers is such a
way as to violate constraints that aren't captured in the
Machine IR (e.g. ABI or ISA constraints).
This change is a continuation of the work started in D30751.
Reviewers: qcolombet, javed.absar, MatzeB, jonpa, tstellar
Subscribers: tpr, mgorny, mcrosier, nhaehnle, nemanjai, jyknight, hfinkel, arsenm, inouehrs, eraman, sdardis, guyblank, fedor.sergeev, aheejin, dschuff, jfb, myatsina, llvm-commits
Differential Revision: https://reviews.llvm.org/D41835
llvm-svn: 323991
2018-02-02 02:54:01 +08:00
|
|
|
; CHECK: addi 3, 3, 2444
|
2017-09-20 00:14:37 +08:00
|
|
|
; CHECK: bl callv
|
|
|
|
|
; CHECK: addi 3, 30, 234
|
|
|
|
|
; CHECK: bl call
|
|
|
|
|
; CHECK: blr
|
|
|
|
|
entry:
|
|
|
|
|
%cmp = icmp sgt i64 %a, 33
|
|
|
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
|
|
|
|
|
|
if.then:
|
|
|
|
|
tail call void bitcast (void (...)* @callv to void ()*)()
|
|
|
|
|
br label %if.end
|
|
|
|
|
|
|
|
|
|
if.end:
|
|
|
|
|
%add.0 = phi i64 [ 234, %if.then ], [ 2444, %entry ]
|
|
|
|
|
%add2 = add nsw i64 %add.0, %a
|
|
|
|
|
%call = tail call i64 @call(i64 %add2)
|
|
|
|
|
ret i64 %call
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i64 @testThreePhiIncomings(i64 %a) {
|
|
|
|
|
; CHECK-LABEL: testThreePhiIncomings:
|
|
|
|
|
; CHECK: bl callv
|
|
|
|
|
; CHECK: addi 3, 30, 234
|
|
|
|
|
; CHECK: addi 3, 30, 2444
|
|
|
|
|
; CHECK: bl callv
|
|
|
|
|
; CHECK: addi 3, 30, 345
|
|
|
|
|
; CHECK: bl call
|
|
|
|
|
; CHECK: blr
|
|
|
|
|
entry:
|
|
|
|
|
%cmp = icmp slt i64 %a, 33
|
|
|
|
|
br i1 %cmp, label %if.then, label %if.else
|
|
|
|
|
|
|
|
|
|
if.then:
|
|
|
|
|
tail call void bitcast (void (...)* @callv to void ()*)()
|
|
|
|
|
br label %if.end4
|
|
|
|
|
|
|
|
|
|
if.else:
|
|
|
|
|
%cmp1 = icmp slt i64 %a, 55
|
|
|
|
|
br i1 %cmp1, label %if.then2, label %if.end4
|
|
|
|
|
|
|
|
|
|
if.then2:
|
|
|
|
|
tail call void bitcast (void (...)* @callv to void ()*)()
|
|
|
|
|
br label %if.end4
|
|
|
|
|
|
|
|
|
|
if.end4:
|
|
|
|
|
%add.0 = phi i64 [ 234, %if.then ], [ 345, %if.then2 ], [ 2444, %if.else ]
|
|
|
|
|
%add5 = add nsw i64 %add.0, %a
|
|
|
|
|
%call = tail call i64 @call(i64 %add5)
|
|
|
|
|
ret i64 %call
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare void @callv(...)
|
|
|
|
|
|
|
|
|
|
declare i64 @call(i64)
|
