mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
bbb5beaf34
Splitting critical edges when one of the source edges is an indirectbr is hard in general (because it requires changing the memory the indirectbr reads). But if a block only has a single indirectbr predecessor (which is the common case), we can simulate splitting that edge by splitting the destination block, and retargeting the *direct* branches. This is motivated by the use of computed gotos in python 2.7: PyEval_EvalFrame() ends up using an indirect branch with ~100 successors, and passing a constant to each of those. Since MachineSink can't break indirect critical edges on demand (and doing this in MIR doesn't look feasible), this causes us to emit about ~100 defs of registers containing constants, which we in the predecessor block, where only one of those constants is used in each successor. So, at each computed goto, we needlessly spill about a 100 constants to stack. The end result is that a clang-compiled python interpreter can be about ~2.5x slower on a simple python reduction loop than a gcc-compiled interpreter. Differential Revision: https://reviews.llvm.org/D29916 llvm-svn: 296416
84 lines
2.9 KiB
LLVM
84 lines
2.9 KiB
LLVM
; RUN: llc < %s -relocation-model=pic -march=ppc32 -mtriple=powerpc-apple-darwin | FileCheck %s -check-prefix=PIC
|
|
; RUN: llc < %s -relocation-model=static -march=ppc32 -mtriple=powerpc-apple-darwin | FileCheck %s -check-prefix=STATIC
|
|
; RUN: llc < %s -relocation-model=pic -march=ppc64 -mtriple=powerpc64-apple-darwin | FileCheck %s -check-prefix=PPC64
|
|
|
|
@nextaddr = global i8* null ; <i8**> [#uses=2]
|
|
@C.0.2070 = private constant [5 x i8*] [i8* blockaddress(@foo, %L1), i8* blockaddress(@foo, %L2), i8* blockaddress(@foo, %L3), i8* blockaddress(@foo, %L4), i8* blockaddress(@foo, %L5)] ; <[5 x i8*]*> [#uses=1]
|
|
|
|
define internal i32 @foo(i32 %i) nounwind {
|
|
; PIC-LABEL: foo:
|
|
; STATIC-LABEL: foo:
|
|
; PPC64-LABEL: foo:
|
|
entry:
|
|
%0 = load i8*, i8** @nextaddr, align 4 ; <i8*> [#uses=2]
|
|
%1 = icmp eq i8* %0, null ; <i1> [#uses=1]
|
|
br i1 %1, label %bb3, label %bb2
|
|
|
|
bb2: ; preds = %entry, %bb3
|
|
%gotovar.4.0 = phi i8* [ %gotovar.4.0.pre, %bb3 ], [ %0, %entry ] ; <i8*> [#uses=1]
|
|
; PIC: mtctr
|
|
; PIC-NEXT: bctr
|
|
; PIC: li
|
|
; PIC: b LBB
|
|
; PIC: li
|
|
; PIC: b LBB
|
|
; PIC: li
|
|
; PIC: b LBB
|
|
; PIC: li
|
|
; PIC: b LBB
|
|
; STATIC: mtctr
|
|
; STATIC-NEXT: bctr
|
|
; STATIC: li
|
|
; STATIC: b LBB
|
|
; STATIC: li
|
|
; STATIC: b LBB
|
|
; STATIC: li
|
|
; STATIC: b LBB
|
|
; STATIC: li
|
|
; STATIC: b LBB
|
|
; PPC64: mtctr
|
|
; PPC64-NEXT: bctr
|
|
; PPC64: li
|
|
; PPC64: b LBB
|
|
; PPC64: li
|
|
; PPC64: b LBB
|
|
; PPC64: li
|
|
; PPC64: b LBB
|
|
; PPC64: li
|
|
; PPC64: b LBB
|
|
indirectbr i8* %gotovar.4.0, [label %L5, label %L4, label %L3, label %L2, label %L1]
|
|
|
|
bb3: ; preds = %entry
|
|
%2 = getelementptr inbounds [5 x i8*], [5 x i8*]* @C.0.2070, i32 0, i32 %i ; <i8**> [#uses=1]
|
|
%gotovar.4.0.pre = load i8*, i8** %2, align 4 ; <i8*> [#uses=1]
|
|
br label %bb2
|
|
|
|
L5: ; preds = %bb2
|
|
br label %L4
|
|
|
|
L4: ; preds = %L5, %bb2
|
|
%res.0 = phi i32 [ 385, %L5 ], [ 35, %bb2 ] ; <i32> [#uses=1]
|
|
br label %L3
|
|
|
|
L3: ; preds = %L4, %bb2
|
|
%res.1 = phi i32 [ %res.0, %L4 ], [ 5, %bb2 ] ; <i32> [#uses=1]
|
|
br label %L2
|
|
|
|
L2: ; preds = %L3, %bb2
|
|
%res.2 = phi i32 [ %res.1, %L3 ], [ 1, %bb2 ] ; <i32> [#uses=1]
|
|
%phitmp = mul i32 %res.2, 6 ; <i32> [#uses=1]
|
|
br label %L1
|
|
|
|
L1: ; preds = %L2, %bb2
|
|
%res.3 = phi i32 [ %phitmp, %L2 ], [ 2, %bb2 ] ; <i32> [#uses=1]
|
|
; PIC: li r[[R1:[0-9]+]], lo16(Ltmp0-L0$pb)
|
|
; PIC: addis r[[R0:[0-9]+]], r{{[0-9]+}}, ha16(Ltmp0-L0$pb)
|
|
; PIC: add r[[R2:[0-9]+]], r[[R0]], r[[R1]]
|
|
; PIC: stw r[[R2]]
|
|
; STATIC: li r[[R0:[0-9]+]], lo16(Ltmp0)
|
|
; STATIC: addis r[[R0]], r[[R0]], ha16(Ltmp0)
|
|
; STATIC: stw r[[R0]]
|
|
store i8* blockaddress(@foo, %L5), i8** @nextaddr, align 4
|
|
ret i32 %res.3
|
|
}
|