d0p1/ack
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Added patterns

Browse source
This commit is contained in:
ceriel 1988-12-12 18:22:59 +00:00
parent f4caec88e8
commit b9417a3a55
1 changed files with 45 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
util/opt/patterns
View file

@ -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 ste dec $2==w: dup w inc ste $3
inc dup stl dec $2==w: dup w inc stl $3 inc dup stl dec $2==w: dup w inc stl $3
#endif #endif
bra lab $1==$2: lab $2
bra bra: bra $1
zeq bra lab $1==$3: zne $2 lab $1 zeq bra lab $1==$3: zne $2 lab $1
zge bra lab $1==$3: zlt $2 lab $1 zge bra lab $1==$3: zlt $2 lab $1
zgt bra lab $1==$3: zle $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 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 : 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 $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 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 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 lol lol ior stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 ior w stl $4