deleted some patterns; they caused loop

diff --git a/util/opt/patterns b/util/opt/patterns
index 5db56cd..c2df61a 100644 (file)
--- a/util/opt/patterns
+++ b/util/opt/patterns
@@ -556,7 +556,6 @@ loe loe adu ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 adu w ste $4
 lde lde adu sde $3==2*w && $1==$4 && $1!=$2 : lde $2 lde $1 adu 2*w sde $4
 loe lol adu ste $3==w && $1==$4 : lol $2 loe $1 adu w ste $4
 lde ldl adu sde $3==2*w && $1==$4 : ldl $2 lde $1 adu 2*w sde $4
-ldl ldc mli sdl $3==2*w && $1==$4 : ldc $2 ldl $1 mli 2*w sdl $4
 lol loe mli stl $3==w && $1==$4 : loe $2 lol $1 mli w stl $4
 ldl lde mli sdl $3==2*w && $1==$4 : lde $2 ldl $1 mli 2*w sdl $4
 ldl loe loc loc cii mli sdl $6==2*w && $1==$7 && $3==w && $4==2*w :
@@ -565,8 +564,6 @@ lol lol mli stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 mli w stl $4
 ldl ldl mli sdl $3==2*w && $1==$4 &&$1!=$2 : ldl $2 ldl $1 mli 2*w sdl $4
 ldl lol loc loc cii mli sdl $6==2*w && $1==$7 && $3==w && $4==2*w :
        lol $2 loc $3 loc $4 cii ldl $1 mli 2*w sdl $1
-loe loc mli ste $3==w && $1==$4 : loc $2 loe $1 mli w ste $4
-lde ldc mli sde $3==2*w && $1==$4 : ldc $2 lde $1 mli 2*w sde $4
 loe loe mli ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 mli w ste $4
 lde lde mli sde $3==2*w && $1==$4 && $1!=$2 : lde $2 lde $1 mli 2*w sde $4
 lde loe loc loc cii mli sde $6==2*w && $1==$7 && $3==w && $4==2*w :
@@ -575,14 +572,10 @@ loe lol mli ste $3==w && $1==$4 : lol $2 loe $1 mli w ste $4
 lde ldl mli sde $3==2*w && $1==$4 : ldl $2 lde $1 mli 2*w sde $4
 lde lol loc loc cii mli sde $6==2*w && $1==$7 && $3==w && $4==2*w :
        lol $2 loc $3 loc $4 cii lde $1 mli 2*w sde $1
-lol loc mlu stl $3==w && $1==$4 : loc $2 lol $1 mlu w stl $4
-ldl ldc mlu sdl $3==2*w && $1==$4 : ldc $2 ldl $1 mlu 2*w sdl $4
 lol loe mlu stl $3==w && $1==$4 : loe $2 lol $1 mlu w stl $4
 ldl lde mlu sdl $3==2*w && $1==$4 : lde $2 ldl $1 mlu 2*w sdl $4
 lol lol mlu stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 mlu w stl $4
 ldl ldl mlu sdl $3==2*w && $1==$4 &&$1!=$2 : ldl $2 ldl $1 mlu 2*w sdl $4
-loe loc mlu ste $3==w && $1==$4 : loc $2 loe $1 mlu w ste $4
-lde ldc mlu sde $3==2*w && $1==$4 : ldc $2 lde $1 mlu 2*w sde $4
 loe loe mlu ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 mlu w ste $4
 lde lde mlu sde $3==2*w && $1==$4 && $1!=$2 : lde $2 lde $1 mlu 2*w sde $4
 loe lol mlu ste $3==w && $1==$4 : lol $2 loe $1 mlu w ste $4