diff --git a/util/opt/patterns b/util/opt/patterns index 24e72d42..60325dfe 100644 --- a/util/opt/patterns +++ b/util/opt/patterns @@ -112,7 +112,6 @@ loc ble $1==-1: zlt $2 loc dvi $1==-1 && $2==w: ngi w ldc dvi $1==-1 && $2==2*w: ngi 2*w loc loe adi $1==-1 && $3==w: loe $2 dec -loc loe mli $1==-1 && $3==w: loe $2 ngi w loc lol adi $1==-1 && $3==w: lol $2 dec loc mli $1==-1 && $2==w: ngi w ldc mli $1==-1 && $2==2*w: ngi 2*w @@ -150,9 +149,7 @@ loc blt $1==1: zle $2 loc dvi $1==1 && $2==w: ldc dvi $1==1 && $2==2*w: loc loe adi $1==1 && $3==w: loe $2 inc -loc loe mli $1==1 && $3==w: loe $2 loc lol adi $1==1 && $3==w: lol $2 inc -loc lol mli $1==1 && $3==w: lol $2 loc mli $1==1 && $2==w: loc sbi $1==1 && $2==w: dec loc loe mli $3==w: loe $2 loc $1 mli w