Added CBO (commutative binary operator) to make it a little easier to
write reordering patterns
This commit is contained in:
ceriel
@@ -552,80 +552,92 @@ lde loc inn $3==2*w && $2>=0 && $2<16*w :
|
||||
ldf loc inn $3==2*w && $2>=0 && $2<16*w :
|
||||
lof $1+($2/(8*w))*w loc $2&(8*w-1) inn w
|
||||
loc inn $1<0 || $1>=8*$2 : asp $2 loc 0
|
||||
lol loc adi stl $3==w && $1==$4 : loc $2 lol $1 adi w stl $4
|
||||
ldl ldc adi sdl $3==2*w && $1==$4 : ldc $2 ldl $1 adi 2*w sdl $4
|
||||
lol loe adi stl $3==w && $1==$4 : loe $2 lol $1 adi w stl $4
|
||||
ldl lde adi sdl $3==2*w && $1==$4 : lde $2 ldl $1 adi 2*w sdl $4
|
||||
|
||||
lol loc CBO stl $3==w && $1==$4 : loc $2 lol $1 CBO w stl $4
|
||||
lol loe CBO stl $3==w && $1==$4 : loe $2 lol $1 CBO w stl $4
|
||||
lol lol CBO stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 CBO w stl $4
|
||||
lol lil CBO stl $3==w && $1==$4 : lil $2 lol $1 CBO w stl $4
|
||||
|
||||
ldl ldc CBO sdl $3==2*w && $1==$4 : ldc $2 ldl $1 CBO $3 sdl $4
|
||||
ldl lde CBO sdl $3==2*w && $1==$4 : lde $2 ldl $1 CBO $3 sdl $4
|
||||
ldl ldl CBO sdl $3==2*w && $1==$4 &&$1!=$2 : ldl $2 ldl $1 CBO $3 sdl $4
|
||||
|
||||
loe loc CBO ste $3==w && $1==$4 : loc $2 loe $1 CBO w ste $4
|
||||
loe loe CBO ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 CBO w ste $4
|
||||
loe lol CBO ste $3==w && $1==$4 : lol $2 loe $1 CBO w ste $4
|
||||
loe lil CBO ste $3==w && $1==$4 : lil $2 loe $1 CBO w ste $4
|
||||
|
||||
lde ldc CBO sde $3==2*w && $1==$4 : ldc $2 lde $1 CBO $3 sde $4
|
||||
lde lde CBO sde $3==2*w && $1==$4 && $1!=$2 : lde $2 lde $1 CBO $3 sde $4
|
||||
lde ldl CBO sde $3==2*w && $1==$4 : ldl $2 lde $1 CBO $3 sde $4
|
||||
|
||||
lil loc CBO sil $3==w && $1==$4 : loc $2 lil $1 CBO w sil $4
|
||||
lil lol CBO sil $3==w && $1==$4 : lol $2 lil $1 CBO w sil $4
|
||||
lil loe CBO sil $3==w && $1==$4 : loe $2 lil $1 CBO w sil $4
|
||||
lil lil CBO sil $3==w && $1==$4 && $1!=$2 : lil $2 lil $1 CBO w sil $4
|
||||
|
||||
LLP loi ldc CBO LLP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
ldc $3 LLP $1 loi $2 CBO $4 LLP $5 sti $6
|
||||
LLP loi ldl CBO LLP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
ldl $3 LLP $1 loi $2 CBO $4 LLP $5 sti $6
|
||||
LLP loi lde CBO LLP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
lde $3 LLP $1 loi $2 CBO $4 LLP $5 sti $6
|
||||
|
||||
LLP ldf ldc CBO LLP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
ldc $3 LLP $1 ldf $2 CBO $4 LLP $5 sdf $6
|
||||
LLP ldf ldl CBO LLP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
ldl $3 LLP $1 ldf $2 CBO $4 LLP $5 sdf $6
|
||||
LLP ldf lde CBO LLP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
lde $3 LLP $1 ldf $2 CBO $4 LLP $5 sdf $6
|
||||
|
||||
LLP lof loc CBO LLP stf $4==w && $2==$6 && $1==$5 :
|
||||
loc $3 LLP $1 lof $2 CBO $4 LLP $5 stf $6
|
||||
LLP lof lol CBO LLP stf $4==w && $2==$6 && $1==$5 :
|
||||
lol $3 LLP $1 lof $2 CBO $4 LLP $5 stf $6
|
||||
LLP lof loe CBO LLP stf $4==w && $2==$6 && $1==$5 :
|
||||
loe $3 LLP $1 lof $2 CBO $4 LLP $5 stf $6
|
||||
LLP lof lil CBO LLP stf $4==w && $2==$6 && $1==$5 :
|
||||
lil $3 LLP $1 lof $2 CBO $4 LLP $5 stf $6
|
||||
|
||||
LEP loi ldc CBO LEP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
ldc $3 LEP $1 loi $2 CBO $4 LEP $5 sti $6
|
||||
LEP loi ldl CBO LEP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
ldl $3 LEP $1 loi $2 CBO $4 LEP $5 sti $6
|
||||
LEP loi lde CBO LEP sti $4==2*w && $2==$4 && $6==$4 && $1==$5 :
|
||||
lde $3 LEP $1 loi $2 CBO $4 LEP $5 sti $6
|
||||
|
||||
LEP ldf ldc CBO LEP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
ldc $3 LEP $1 ldf $2 CBO $4 LEP $5 sdf $6
|
||||
LEP ldf ldl CBO LEP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
ldl $3 LEP $1 ldf $2 CBO $4 LEP $5 sdf $6
|
||||
LEP ldf lde CBO LEP sdf $4==2*w && $2==$6 && $1==$5 :
|
||||
lde $3 LEP $1 ldf $2 CBO $4 LEP $5 sdf $6
|
||||
|
||||
LEP lof loc CBO LEP stf $4==w && $2==$6 && $1==$5 :
|
||||
loc $3 LEP $1 lof $2 CBO $4 LEP $5 stf $6
|
||||
LEP lof lol CBO LEP stf $4==w && $2==$6 && $1==$5 :
|
||||
lol $3 LEP $1 lof $2 CBO $4 LEP $5 stf $6
|
||||
LEP lof loe CBO LEP stf $4==w && $2==$6 && $1==$5 :
|
||||
loe $3 LEP $1 lof $2 CBO $4 LEP $5 stf $6
|
||||
LEP lof lil CBO LEP stf $4==w && $2==$6 && $1==$5 :
|
||||
lil $3 LEP $1 lof $2 CBO $4 LEP $5 stf $6
|
||||
|
||||
ldl loe loc loc cii adi sdl $6==2*w && $1==$7 && $3==w && $4==2*w :
|
||||
loe $2 loc $3 loc $4 cii ldl $1 adi 2*w sdl $1
|
||||
lol lol adi stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 adi w stl $4
|
||||
ldl ldl adi sdl $3==2*w && $1==$4 &&$1!=$2 : ldl $2 ldl $1 adi 2*w sdl $4
|
||||
ldl lol loc loc cii adi sdl $6==2*w && $1==$7 && $3==w && $4==2*w :
|
||||
lol $2 loc $3 loc $4 cii ldl $1 adi 2*w sdl $1
|
||||
loe loc adi ste $3==w && $1==$4 : loc $2 loe $1 adi w ste $4
|
||||
lde ldc adi sde $3==2*w && $1==$4 : ldc $2 lde $1 adi 2*w sde $4
|
||||
loe loe adi ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 adi w ste $4
|
||||
lde lde adi sde $3==2*w && $1==$4 && $1!=$2 : lde $2 lde $1 adi 2*w sde $4
|
||||
lde loe loc loc cii adi sde $6==2*w && $1==$7 && $3==w && $4==2*w :
|
||||
loe $2 loc $3 loc $4 cii lde $1 adi 2*w sde $1
|
||||
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
|
||||
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 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 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 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
|
||||
loe loc ior ste $3==w && $1==$4 : loc $2 loe $1 ior w ste $4
|
||||
loe loe ior ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 ior w ste $4
|
||||
loe lol ior ste $3==w && $1==$4 : lol $2 loe $1 ior w ste $4
|
||||
lol loc and stl $3==w && $1==$4 : loc $2 lol $1 and w stl $4
|
||||
lol loe and stl $3==w && $1==$4 : loe $2 lol $1 and w stl $4
|
||||
lol lol and stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 and w stl $4
|
||||
loe loc and ste $3==w && $1==$4 : loc $2 loe $1 and w ste $4
|
||||
loe loe and ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 and w ste $4
|
||||
loe lol and ste $3==w && $1==$4 : lol $2 loe $1 and w ste $4
|
||||
lol loc xor stl $3==w && $1==$4 : loc $2 lol $1 xor w stl $4
|
||||
lol loe xor stl $3==w && $1==$4 : loe $2 lol $1 xor w stl $4
|
||||
lol lol xor stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 xor w stl $4
|
||||
loe loc xor ste $3==w && $1==$4 : loc $2 loe $1 xor w ste $4
|
||||
loe loe xor ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 xor w ste $4
|
||||
loe lol xor ste $3==w && $1==$4 : lol $2 loe $1 xor w ste $4
|
||||
loi asp $1==$2 : asp p
|
||||
lal loi loc loc loc loc ior $2==4*w && $7==4*w && ($3==0)+($4==0)+($5==0)+($6==0)>2 :
|
||||
lol $1+3*w loc $3 ior w lol $1+2*w loc $4 ior w lol $1+w loc $5 ior w lol $1 loc $6 ior w
|
||||
|
||||
Reference in New Issue
Block a user