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

don't try to rewrite redundant test-vector-exprs

db4
Joe Groff 2009-11-25 20:06:11 -08:00
parent cb8f757c72
commit c916c7c856
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
basis/compiler/cfg/value-numbering/rewrite/rewrite.factor
View File

@ -42,6 +42,14 @@ M: insn rewrite drop f ;
] [ drop f ] if ; inline ] [ drop f ] if ; inline
: general-compare-expr? ( insn -- ? ) : general-compare-expr? ( insn -- ? )
{
[ compare-expr? ]
[ compare-imm-expr? ]
[ compare-float-unordered-expr? ]
[ compare-float-ordered-expr? ]
} 1|| ;
: general-or-vector-compare-expr? ( insn -- ? )
{ {
[ compare-expr? ] [ compare-expr? ]
[ compare-imm-expr? ] [ compare-imm-expr? ]
@ -52,7 +60,7 @@ M: insn rewrite drop f ;
: rewrite-boolean-comparison? ( insn -- ? ) : rewrite-boolean-comparison? ( insn -- ? )
dup ##branch-t? [ dup ##branch-t? [
src1>> vreg>expr general-compare-expr? src1>> vreg>expr general-or-vector-compare-expr?
] [ drop f ] if ; inline ] [ drop f ] if ; inline
: >compare-expr< ( expr -- in1 in2 cc ) : >compare-expr< ( expr -- in1 in2 cc )