diff --git a/util/opt/patterns b/util/opt/patterns index ea23e47cc..43d4455c5 100644 --- a/util/opt/patterns +++ b/util/opt/patterns @@ -446,6 +446,7 @@ tne zne : zne $2 loc loc loc $1==0 && $2==0 && $3==0 : zer 3*w zer loc defined($1) && $2==0: zer $1+w #endif +loc loc loc cui $2==w && $3==w && $1>=0 && $1<=(1<<(8*w-2)): loc $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 loc loc cii zne $1<=w && $2==w: zne $4