godzil/tack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added some patterns for LOC LOC CII followed by test on (in)equality to 0

Browse Source
This commit is contained in:
ceriel 1989-02-06 14:38:21 +00:00
parent d05287f87c
commit 02159e48b4
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
util/opt/patterns
View File

@ -399,6 +399,10 @@ zer loc defined($1) && $2==0: zer $1+w
#endif #endif
loi loc loc cui $1 < w && $2==$3 && $2==w: loi $1 loi loc loc cui $1 < w && $2==$3 && $2==w: loi $1
loi loc and $1==1 && $3==w && ($2&255)==255: loi 1 loi loc and $1==1 && $3==w && ($2&255)==255: loi 1
loc loc cii zne $1<=w && $2==w: zne $4
loc loc cii zeq $1<=w && $2==w: zeq $4
loc loc cii tne $1<=w && $2==w: tne
loc loc cii teq $1<=w && $2==w: teq
loi loc and loc loc cii $1==1 && $4==w && $3==w && $2==255: loi $1 loc $4 loc $5 cii loi loc and loc loc cii $1==1 && $4==w && $3==w && $2==255: loi $1 loc $4 loc $5 cii
loi loc loc cii loc and $1==1 && $2==1 && $3==w && $5==255 && $6==w: loi 1 loi loc loc cii loc and $1==1 && $2==1 && $3==w && $5==255 && $6==w: loi 1
loi loc loc cii loc cmi zeq $1==1 && $2==1 && $3==w && $5>=0 && $5<128 && $6==w: loi 1 loc $5 cmi w zeq $7 loi loc loc cii loc cmi zeq $1==1 && $2==1 && $3==w && $5>=0 && $5<128 && $6==w: loi 1 loc $5 cmi w zeq $7