d0p1/ack
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

signed compares were just wrong, added a few patterns

Browse source
This commit is contained in:
ceriel 1987-08-13 11:22:59 +00:00
parent e571911b1b
commit a0e4cd23cc
2 changed files with 77 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
mach/i86/cg/mach.c
View file

@ -89,8 +89,8 @@ regscore(off, size, typ, score, totyp)
{ {
if (size != 2) return -1; if (size != 2) return -1;
score -= 1; score -= 1;
if (typ == reg_pointer || typ == reg_loop) score *= 3; score += score;
else score *= 2; if (typ == reg_pointer || typ == reg_loop) score += (score >> 2);
score -= 2; /* cost of saving */ score -= 2; /* cost of saving */
if (off >= 0) score -= 3; if (off >= 0) score -= 3;
return score; return score;

85
mach/i86/cg/table
View file

@ -1849,16 +1849,48 @@ lar !defined($1) | | remove(ALL)
* group 12 : Compare instructions * * group 12 : Compare instructions *
****************************************/ ****************************************/
cmi $1==2 | | | | sbi 2 | cmi $1==2 | NO register rmorconst |
cmi $1==4 | rmorconst rmorconst X_REG X_REG | allocate(REG = {ANYCON,0})
"sub %[3],%[1]" "cmp %[1],%[2]"
"sbb %[4],%[2]" "je 2f"
"jne 1f" "jl 1f"
"and %[3],%[3]" "inc %[a]"
"je 1f" "jmp 2f"
"inc %[4]\n1: " "1:\tdec %[a]\n2:"
setcc(%[4]) erase(%[3]) erase(%[4]) setcc(%[a])
| %[4] | | erase(%[a]) | %[a] | |(4,4)
... | rmorconst register |
allocate(REG = {ANYCON,0})
"cmp %[1],%[2]"
"je 2f"
"jl 1f"
"inc %[a]"
"jmp 2f"
"1:\tdec %[a]\n2:"
setcc(%[a])
erase(%[a]) | %[a] | |(4,4)
... | ACC const |
allocate(REG = {ANYCON,0})
"cmp %[1],%[2]"
"je 2f"
"jl 1f"
"inc %[a]"
"jmp 2f"
"1:\tdec %[a]\n2:"
setcc(%[a])
erase(%[a]) | %[a] | |(3,4)
... | const ACC |
allocate(REG = {ANYCON,0})
"cmp %[1],%[2]"
"je 2f"
"jl 1f"
"inc %[a]"
"jmp 2f"
"1:\tdec %[a]\n2:"
setcc(%[a])
erase(%[a]) | %[a] | |(3,4)
cmi $1==4 | | remove(ALL)
"call .cmi4" | ax | |
cmu $1==2 | | | | cmp | cmu $1==2 | | | | cmp |
cmu $1==4 | | remove(ALL) cmu $1==4 | | remove(ALL)
"call .cmu4" | ax | | "call .cmu4" | ax | |
@ -2273,6 +2305,39 @@ cms zne $1==2 | regorconst rm STACK |
remove(ALL) remove(ALL)
"cmp %[1],%[2]" "cmp %[1],%[2]"
"jne $2" | | | "jne $2" | | |
ldc cmi zlt highw(1)==0 && loww(1)==0 && $2==4 | rmorconst rmorconst |
| %[2] | zlt $3 |
ldc cmi zge highw(1)==0 && loww(1)==0 && $2==4 | rmorconst rmorconst |
| %[2] | zge $3 |
ldc cms zeq $2==4 && loww(1)==0 && highw(1)==0 | rmorconst X_REG |
remove(ALL)
"or %[2],%[1]"
"je $3" | | |
... | X_REG rmorconst |
remove(ALL)
"or %[1],%[2]"
"je $3" | | |
ldc cms zne $2==4 && loww(1)==0 && highw(1)==0 | rmorconst X_REG |
remove(ALL)
"or %[2],%[1]"
"jne $3" | | |
... | X_REG rmorconst |
remove(ALL)
"or %[1],%[2]"
"jne $3" | | |
ldc cms zeq $2==4 | rmorconst rmorconst |
remove(ALL)
"cmp %[2],%(loww(1)%)"
"jne 1f"
"cmp %[1],%(highw(1)%)"
"je $3"
"1:" | | |
ldc cms zne $2==4 | rmorconst rmorconst |
remove(ALL)
"cmp %[2],%(loww(1)%)"
"jne $3"
"cmp %[1],%(highw(1)%)"
"jne $3" | | |
cms zne $1==4 | regorconst regorconst rm rm STACK | cms zne $1==4 | regorconst regorconst rm rm STACK |
"cmp %[3],%[1]" "cmp %[3],%[1]"
"jne $2" "jne $2"