Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[PowerPC] Custom lower known CR bit spills
For known CRBit spills, CRSET/CRUNSET, it is more efficient to load and spill the known value instead of extracting the bit. eg. This sequence is currently used to spill a CRUNSET: crclr 4*cr5+lt mfocrf r3,4 rlwinm r3,r3,20,0,0 stw r3,132(r1) This patch custom lower it to: li r3,0 stw r3,132(r1) Differential Revision: https://reviews.llvm.org/D61754 llvm-svn: 360677
- Loading branch information
Showing
2 changed files
with
186 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,131 @@ | ||
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \ | ||
; RUN: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s | ||
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu \ | ||
; RUN: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s | ||
|
||
|
||
; For known CRBit spills, CRSET/CRUNSET, it is more efficient to just load and | ||
; spill the known value. These tests verify that for CRSET and CRUNSET spills | ||
; we do not extract the bit for spilling. | ||
|
||
%struct.anon = type { i32 } | ||
|
||
@b = common dso_local global %struct.anon* null, align 8 | ||
@a = common dso_local global i64 0, align 8 | ||
|
||
; Function Attrs: nounwind | ||
define dso_local signext i32 @spillCRSET(i32 signext %p1, i32 signext %p2) { | ||
; CHECK-LABEL: spillCRSET: | ||
; CHECK: # %bb.0: # %entry | ||
; CHECK: lis [[REG1:.*]], -32768 | ||
; CHECK-DAG: creqv [[CREG:.*]]*cr5+lt, [[CREG]]*cr5+lt, [[CREG]]*cr5+lt | ||
; CHECK-NOT: mfocrf [[REG2:.*]], [[CREG]] | ||
; CHECK-NOT: rlwinm [[REG2]], [[REG2]] | ||
; CHECK: stw [[REG1]] | ||
; CHECK: .LBB0_1: # %redo_first_pass | ||
entry: | ||
%tobool = icmp eq i32 %p2, 0 | ||
%tobool2 = icmp eq i32 %p1, 0 | ||
br label %redo_first_pass | ||
|
||
redo_first_pass: ; preds = %for.end, %entry | ||
br i1 %tobool, label %if.end, label %if.then | ||
|
||
if.then: ; preds = %redo_first_pass | ||
%call = tail call signext i32 bitcast (i32 (...)* @fn2 to i32 ()*)() #2 | ||
%tobool1 = icmp ne i32 %call, 0 | ||
br label %if.end | ||
|
||
if.end: ; preds = %redo_first_pass, %if.then | ||
%c.1.off0 = phi i1 [ %tobool1, %if.then ], [ true, %redo_first_pass ] | ||
br i1 %tobool2, label %if.end4, label %if.then3 | ||
|
||
if.then3: ; preds = %if.end | ||
%0 = load %struct.anon*, %struct.anon** @b, align 8 | ||
%contains_i = getelementptr inbounds %struct.anon, %struct.anon* %0, i64 0, i32 0 | ||
store i32 1, i32* %contains_i, align 4 | ||
br label %if.end4 | ||
|
||
if.end4: ; preds = %if.end, %if.then3 | ||
tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"() | ||
br i1 %c.1.off0, label %if.then6, label %if.end13 | ||
|
||
if.then6: ; preds = %if.end4 | ||
%1 = load i64, i64* @a, align 8 | ||
%cmp21 = icmp eq i64 %1, 0 | ||
br i1 %cmp21, label %if.end13, label %for.body | ||
|
||
for.body: ; preds = %if.then6, %for.body | ||
%s.122 = phi i64 [ %inc, %for.body ], [ 0, %if.then6 ] | ||
%call7 = tail call signext i32 bitcast (i32 (...)* @fn3 to i32 ()*)() | ||
%inc = add nuw i64 %s.122, 1 | ||
%exitcond = icmp eq i64 %inc, %1 | ||
br i1 %exitcond, label %for.end, label %for.body | ||
|
||
for.end: ; preds = %for.body | ||
br i1 %cmp21, label %if.end13, label %redo_first_pass | ||
|
||
if.end13: ; preds = %if.then6, %for.end, %if.end4 | ||
ret i32 0 | ||
} | ||
|
||
%struct.p5rx = type { i32 } | ||
|
||
; Function Attrs: nounwind | ||
define dso_local signext i32 @spillCRUNSET(%struct.p5rx* readonly %p1, i32 signext %p2, i32 signext %p3) { | ||
; CHECK-LABEL: spillCRUNSET: | ||
; CHECK: # %bb.0: # %entry | ||
; CHECK-DAG: crxor [[CREG:.*]]*cr5+lt, [[CREG]]*cr5+lt, [[CREG]]*cr5+lt | ||
; CHECK-DAG: li [[REG1:.*]], 0 | ||
; CHECK-NOT: mfocrf [[REG2:.*]], [[CREG]] | ||
; CHECK-NOT: rlwinm [[REG2]], [[REG2]] | ||
; CHECK: stw [[REG1]] | ||
; CHECK: .LBB1_1: # %redo_first_pass | ||
entry: | ||
%and = and i32 %p3, 128 | ||
%tobool = icmp eq i32 %and, 0 | ||
%tobool2 = icmp eq %struct.p5rx* %p1, null | ||
%sv_any = getelementptr inbounds %struct.p5rx, %struct.p5rx* %p1, i64 0, i32 0 | ||
%tobool12 = icmp eq i32 %p2, 0 | ||
br label %redo_first_pass | ||
|
||
redo_first_pass: ; preds = %if.end11, %entry | ||
%a.0.off0 = phi i1 [ false, %entry ], [ %a.1.off0, %if.end11 ] | ||
br i1 %tobool, label %if.end, label %if.then | ||
|
||
if.then: ; preds = %redo_first_pass | ||
%call = tail call signext i32 bitcast (i32 (...)* @fn2 to i32 ()*)() | ||
%tobool1 = icmp ne i32 %call, 0 | ||
br label %if.end | ||
|
||
if.end: ; preds = %redo_first_pass, %if.then | ||
%a.1.off0 = phi i1 [ %tobool1, %if.then ], [ %a.0.off0, %redo_first_pass ] | ||
tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"() | ||
br i1 %tobool2, label %if.end11, label %land.lhs.true | ||
|
||
land.lhs.true: ; preds = %if.end | ||
%call3 = tail call signext i32 bitcast (i32 (...)* @fn3 to i32 ()*)() | ||
%tobool4 = icmp eq i32 %call3, 0 | ||
br i1 %tobool4, label %if.end11, label %land.lhs.true5 | ||
|
||
land.lhs.true5: ; preds = %land.lhs.true | ||
%0 = load i32, i32* %sv_any, align 4 | ||
%tobool6 = icmp eq i32 %0, 0 | ||
%a.1.off0.not = xor i1 %a.1.off0, true | ||
%brmerge = or i1 %tobool6, %a.1.off0.not | ||
br i1 %brmerge, label %if.end11, label %if.then9 | ||
|
||
if.then9: ; preds = %land.lhs.true5 | ||
%call10 = tail call signext i32 bitcast (i32 (...)* @fn4 to i32 ()*)() | ||
br label %if.end11 | ||
|
||
if.end11: ; preds = %land.lhs.true5, %land.lhs.true, %if.end, %if.then9 | ||
br i1 %tobool12, label %if.end14, label %redo_first_pass | ||
|
||
if.end14: ; preds = %if.end11 | ||
ret i32 0 | ||
} | ||
|
||
declare signext i32 @fn2(...) | ||
declare signext i32 @fn3(...) | ||
declare signext i32 @fn4(...) |