steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.cfg.gvn.comparisons: next-vreg not a problem here; only used for temps (not defs)

db4
Alex Vondrak 2011-07-02 13:45:15 -07:00 committed by John Benediktsson
parent d5dc989fd8
commit 78141b4ae5
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
extra/compiler/cfg/gvn/comparisons/comparisons.factor
View File

@ -58,7 +58,6 @@ IN: compiler.cfg.gvn.comparisons
: >compare< ( insn -- in1 in2 cc ) : >compare< ( insn -- in1 in2 cc )
[ src1>> ] [ src2>> ] [ cc>> ] tri ; inline [ src1>> ] [ src2>> ] [ cc>> ] tri ; inline
! XXX next-vreg may make vregs>vns change on every iteration
: >test-vector< ( insn -- src1 temp rep vcc ) : >test-vector< ( insn -- src1 temp rep vcc )
{ {
[ src1>> ] [ src1>> ]
@ -180,13 +179,11 @@ M: ##compare-integer-branch rewrite
[ { [ dst>> ] [ src1>> ] [ src2>> ] [ cc>> ] } cleave ] dip [ { [ dst>> ] [ src1>> ] [ src2>> ] [ cc>> ] } cleave ] dip
swap-compare ; inline swap-compare ; inline
! XXX next-vreg may make vregs>vns change on every iteration
: >compare-imm ( insn swap? -- insn' ) : >compare-imm ( insn swap? -- insn' )
(>compare-imm) (>compare-imm)
[ vreg>literal ] dip [ vreg>literal ] dip
next-vreg \ ##compare-imm new-insn ; inline next-vreg \ ##compare-imm new-insn ; inline
! XXX next-vreg may make vregs>vns change on every iteration
: >compare-integer-imm ( insn swap? -- insn' ) : >compare-integer-imm ( insn swap? -- insn' )
(>compare-imm) (>compare-imm)
[ vreg>integer ] dip [ vreg>integer ] dip
@ -221,7 +218,6 @@ M: ##compare-integer rewrite
[ cc>> { cc= cc/= } member? ] [ cc>> { cc= cc/= } member? ]
} 1&& ; inline } 1&& ; inline
! XXX next-vreg may make vregs>vns change on every iteration
: rewrite-redundant-comparison ( insn -- insn' ) : rewrite-redundant-comparison ( insn -- insn' )
[ cc>> ] [ dst>> ] [ src1>> vreg>insn ] tri { [ cc>> ] [ dst>> ] [ src1>> vreg>insn ] tri {
{ [ dup ##compare? ] [ >compare< next-vreg \ ##compare new-insn ] } { [ dup ##compare? ] [ >compare< next-vreg \ ##compare new-insn ] }
@ -283,7 +279,6 @@ M: ##compare-integer-imm rewrite
: simplify-test-imm-branch ( insn -- insn ) : simplify-test-imm-branch ( insn -- insn )
(simplify-test-imm) \ ##test-imm-branch new-insn ; inline (simplify-test-imm) \ ##test-imm-branch new-insn ; inline
! XXX next-vreg may make vregs>vns change on every iteration
: >test-imm ( insn ? -- insn' ) : >test-imm ( insn ? -- insn' )
(>compare-imm) [ vreg>integer ] dip next-vreg (>compare-imm) [ vreg>integer ] dip next-vreg
\ ##test-imm new-insn ; inline \ ##test-imm new-insn ; inline