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

use TEST reg, reg to compare integer equality with zero

db4
Joe Groff 2009-10-10 13:13:53 -05:00
parent 588899a1b3
commit 4e4be60884
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
basis/cpu/x86/x86.factor
View File

@ -432,8 +432,13 @@ M: x86 %epilogue ( n -- ) cell - incr-stack-reg ;
temp 0 MOV \ t rc-absolute-cell rel-immediate temp 0 MOV \ t rc-absolute-cell rel-immediate
dst temp word execute ; inline dst temp word execute ; inline
: (%compare) ( src1 src2 cc -- )
2over [ { cc= cc/= } member? ] [ register? ] [ 0 = ] tri* and and
[ drop dup TEST ]
[ CMP ] if ;
M:: x86 %compare ( dst src1 src2 cc temp -- ) M:: x86 %compare ( dst src1 src2 cc temp -- )
src1 src2 CMP src1 src2 cc (%compare)
cc order-cc { cc order-cc {
{ cc< [ dst temp \ CMOVL %boolean ] } { cc< [ dst temp \ CMOVL %boolean ] }
{ cc<= [ dst temp \ CMOVLE %boolean ] } { cc<= [ dst temp \ CMOVLE %boolean ] }
@ -447,7 +452,7 @@ M: x86 %compare-imm ( dst src1 src2 cc temp -- )
%compare ; %compare ;
M:: x86 %compare-branch ( label src1 src2 cc -- ) M:: x86 %compare-branch ( label src1 src2 cc -- )
src1 src2 CMP src1 src2 cc (%compare)
cc order-cc { cc order-cc {
{ cc< [ label JL ] } { cc< [ label JL ] }
{ cc<= [ label JLE ] } { cc<= [ label JLE ] }