Added a pattern

diff --git a/util/opt/patterns b/util/opt/patterns
index ea23e47..43d4455 100644 (file)
--- 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