Added patterns

diff --git a/util/opt/patterns b/util/opt/patterns
index 44764cf..5db56cd 100644 (file)
--- a/util/opt/patterns
+++ b/util/opt/patterns
@@ -432,6 +432,8 @@ adp dup SLP adp $1==-$4 && $2==p:       dup p   adp $1   SLP $3
 inc dup ste dec $2==w:  dup w   inc     ste $3
 inc dup stl dec $2==w:  dup w   inc     stl $3
 #endif
+bra lab $1==$2:                lab $2
+bra bra:               bra $1
 zeq bra lab $1==$3:     zne $2  lab $1
 zge bra lab $1==$3:     zlt $2  lab $1
 zgt bra lab $1==$3:     zle $2  lab $1
@@ -542,6 +544,49 @@ loe lol adi ste $3==w && $1==$4 : lol $2 loe $1 adi w ste $4
 lde ldl adi sde $3==2*w && $1==$4 : ldl $2 lde $1 adi 2*w sde $4
 lde lol loc loc cii adi sde $6==2*w && $1==$7 && $3==w && $4==2*w :
        lol $2 loc $3 loc $4 cii lde $1 adi 2*w sde $1
+lol loc adu stl $3==w && $1==$4 : loc $2 lol $1 adu w stl $4
+ldl ldc adu sdl $3==2*w && $1==$4 : ldc $2 ldl $1 adu 2*w sdl $4
+lol loe adu stl $3==w && $1==$4 : loe $2 lol $1 adu w stl $4
+ldl lde adu sdl $3==2*w && $1==$4 : lde $2 ldl $1 adu 2*w sdl $4
+lol lol adu stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 adu w stl $4
+ldl ldl adu sdl $3==2*w && $1==$4 &&$1!=$2 : ldl $2 ldl $1 adu 2*w sdl $4
+loe loc adu ste $3==w && $1==$4 : loc $2 loe $1 adu w ste $4
+lde ldc adu sde $3==2*w && $1==$4 : ldc $2 lde $1 adu 2*w sde $4
+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 :
+       loe $2 loc $3 loc $4 cii ldl $1 mli 2*w sdl $1
+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 :
+       loe $2 loc $3 loc $4 cii lde $1 mli 2*w sde $1
+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
+lde ldl mlu sde $3==2*w && $1==$4 : ldl $2 lde $1 mlu 2*w sde $4
 lol loc ior stl $3==w && $1==$4 : loc $2 lol $1 ior w stl $4
 lol loe ior stl $3==w && $1==$4 : loe $2 lol $1 ior w stl $4
 lol lol ior stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 ior w stl $4