mirror of
https://github.com/RPCSX/llvm.git
synced 2025-01-04 02:40:34 +00:00
afa4f41e9c
Presently, CodeGenPrepare deletes all nearly empty (only phi and branch) basic blocks. This pass can delete loop preheaders which frequently creates critical edges. A preheader can be a convenient place to spill registers to the stack. If the entrance to a loop body is a critical edge, then spills may occur in the loop body rather than immediately before it. This patch protects loop preheaders from deletion in CodeGenPrepare even if they are nearly empty. Since the patch alters the CFG, it affects a large number of test cases. In most cases, the changes are merely cosmetic (basic blocks have different names or instruction orders change slightly). I am somewhat concerned about the test/CodeGen/Mips/brdelayslot.ll test case. If the loop preheader is not deleted, then the MIPS backend does not take advantage of a branch delay slot. Consequently, I would like some close review by a MIPS expert. The patch also partially subsumes D16893 from George Burgess IV. George correctly notes that CodeGenPrepare does not actually preserve the dominator tree. I think the dominator tree was usually not valid when CodeGenPrepare ran, but I am using LoopInfo to mark preheaders, so the dominator tree is now always valid before CodeGenPrepare. Author: Tom Jablin (tjablin) Reviewers: hfinkel george.burgess.iv vkalintiris dsanders kbarton cycheng http://reviews.llvm.org/D16984 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@265397 91177308-0d34-0410-b5e6-96231b3b80d8
80 lines
3.3 KiB
LLVM
80 lines
3.3 KiB
LLVM
; RUN: llc < %s -mtriple=armv7-apple-darwin | FileCheck %s
|
|
; PHI elimination shouldn't break backedge.
|
|
; rdar://8263994
|
|
|
|
%struct.list_data_s = type { i16, i16 }
|
|
%struct.list_head = type { %struct.list_head*, %struct.list_data_s* }
|
|
|
|
define arm_apcscc %struct.list_head* @t1(%struct.list_head* %list) nounwind {
|
|
entry:
|
|
; CHECK-LABEL: t1:
|
|
%0 = icmp eq %struct.list_head* %list, null
|
|
br i1 %0, label %bb2, label %bb
|
|
|
|
bb:
|
|
; CHECK: LBB0_2:
|
|
; CHECK: bne LBB0_2
|
|
; CHECK-NOT: b LBB0_2
|
|
; CHECK: bx lr
|
|
%list_addr.05 = phi %struct.list_head* [ %2, %bb ], [ %list, %entry ]
|
|
%next.04 = phi %struct.list_head* [ %list_addr.05, %bb ], [ null, %entry ]
|
|
%1 = getelementptr inbounds %struct.list_head, %struct.list_head* %list_addr.05, i32 0, i32 0
|
|
%2 = load %struct.list_head*, %struct.list_head** %1, align 4
|
|
store %struct.list_head* %next.04, %struct.list_head** %1, align 4
|
|
%3 = icmp eq %struct.list_head* %2, null
|
|
br i1 %3, label %bb2, label %bb
|
|
|
|
bb2:
|
|
%next.0.lcssa = phi %struct.list_head* [ null, %entry ], [ %list_addr.05, %bb ]
|
|
ret %struct.list_head* %next.0.lcssa
|
|
}
|
|
|
|
; Optimize loop entry, eliminate intra loop branches
|
|
; rdar://8117827
|
|
define i32 @t2(i32 %passes, i32* nocapture %src, i32 %size) nounwind readonly {
|
|
entry:
|
|
; CHECK-LABEL: t2:
|
|
; CHECK: beq LBB1_[[RET:.]]
|
|
%0 = icmp eq i32 %passes, 0 ; <i1> [#uses=1]
|
|
br i1 %0, label %bb5, label %bb.nph15
|
|
|
|
; CHECK: LBB1_[[PREHDR:.]]: @ %bb2.preheader
|
|
bb1: ; preds = %bb2.preheader, %bb1
|
|
; CHECK: LBB1_[[BB1:.]]: @ %bb1
|
|
; CHECK: bne LBB1_[[BB1]]
|
|
%indvar = phi i32 [ %indvar.next, %bb1 ], [ 0, %bb2.preheader ] ; <i32> [#uses=2]
|
|
%sum.08 = phi i32 [ %2, %bb1 ], [ %sum.110, %bb2.preheader ] ; <i32> [#uses=1]
|
|
%tmp17 = sub i32 %i.07, %indvar ; <i32> [#uses=1]
|
|
%scevgep = getelementptr i32, i32* %src, i32 %tmp17 ; <i32*> [#uses=1]
|
|
%1 = load i32, i32* %scevgep, align 4 ; <i32> [#uses=1]
|
|
%2 = add nsw i32 %1, %sum.08 ; <i32> [#uses=2]
|
|
%indvar.next = add i32 %indvar, 1 ; <i32> [#uses=2]
|
|
%exitcond = icmp eq i32 %indvar.next, %size ; <i1> [#uses=1]
|
|
br i1 %exitcond, label %bb3, label %bb1
|
|
|
|
bb3: ; preds = %bb1, %bb2.preheader
|
|
; CHECK: LBB1_[[BB3:.]]: @ %bb3
|
|
; CHECK: bne LBB1_[[PREHDR]]
|
|
; CHECK-NOT: b LBB1_
|
|
%sum.0.lcssa = phi i32 [ %sum.110, %bb2.preheader ], [ %2, %bb1 ] ; <i32> [#uses=2]
|
|
%3 = add i32 %pass.011, 1 ; <i32> [#uses=2]
|
|
%exitcond18 = icmp eq i32 %3, %passes ; <i1> [#uses=1]
|
|
br i1 %exitcond18, label %bb5, label %bb2.preheader
|
|
|
|
bb.nph15: ; preds = %entry
|
|
%i.07 = add i32 %size, -1 ; <i32> [#uses=2]
|
|
%4 = icmp sgt i32 %i.07, -1 ; <i1> [#uses=1]
|
|
br label %bb2.preheader
|
|
|
|
bb2.preheader: ; preds = %bb3, %bb.nph15
|
|
%pass.011 = phi i32 [ 0, %bb.nph15 ], [ %3, %bb3 ] ; <i32> [#uses=1]
|
|
%sum.110 = phi i32 [ 0, %bb.nph15 ], [ %sum.0.lcssa, %bb3 ] ; <i32> [#uses=2]
|
|
br i1 %4, label %bb1, label %bb3
|
|
|
|
; CHECK: LBB1_[[RET]]: @ %bb5
|
|
; CHECK: pop
|
|
bb5: ; preds = %bb3, %entry
|
|
%sum.1.lcssa = phi i32 [ 0, %entry ], [ %sum.0.lcssa, %bb3 ] ; <i32> [#uses=1]
|
|
ret i32 %sum.1.lcssa
|
|
}
|