#define fitins(a) (a&~0xFF)==0||(a&~0x3FC)==0||(a&~0xFF0)==0||(a&~0x3FC0)==0||(a&~0xFF00)==0||(a&~0x3FC00)==0||(a&~0xFF000)==0||(a&~0x3FC000)==0||(a&~0xFF0000)==0||(a&~0x3FC0000)==0||(a&~0xFF00000)==0||(a&~0x3FC00000)==0||(a&~0xFF000000)==0||(a&~0xFC000003)==0||(a&~0xF000000F)==0||(a&~0xC000003F)==0||(~a&~0xFF)==0
EM_WSIZE=4
EM_PSIZE=4
EM_BSIZE=8
PROPERTIES
GENREG /* All 16 user registers */
REG /* Allocatable registers */
PCPSR /* PSW and PC */
SREG
STACKPOINTER
LOCALBASE
LINKREGISTER
REGISTERS
R0,R1,R2,R3,R4,R5,R6,R7,R8,R9,R10 :GENREG, REG .
R11 :GENREG, SREG .
SP("R12") :GENREG, STACKPOINTER .
LB("R13") :GENREG, LOCALBASE .
R14 :GENREG, LINKREGISTER .
PC("R15") :GENREG, PCPSR .
TOKENS
const4 = { INT num; } 4 "#" num .
fitcon = { INT num; } 4 "#" num .
LOCAL = { INT ind; } 4 "[R13,#" ind "]" .
addr_local = { INT ind; } 4 .
addr_external = { ADDR add; } 4 add .
imS = { GENREG reg; ADDR S; INT shift;} 4 reg "," S " #" shift .
regS = { GENREG reg; ADDR S; GENREG sreg;} 4 reg "," S " "sreg .
absolute = { ADDR add; } 4 add .
regind = { GENREG reg; } 4 "[" reg "]" .
regrel = { GENREG reg; ADDR ind; } 4 "[" reg ",#" ind "]" .
regrelwb = { GENREG reg; ADDR ind; } 4 "[" reg ",#" ind "]<" .
regregrel = { GENREG reg1; GENREG reg2; } 4 "[" reg1 "," reg2 "]" .
regminregrel = { GENREG reg1; GENREG reg2; } 4 "[" reg1 ",-" reg2 "]" .
regiSregrel = { GENREG reg1; ADDR S; INT shift; GENREG reg2; } 4
"[" reg1 "," reg2 "," S "#" shift "]" .
regminiSregrel = { GENREG reg1; ADDR S; INT shift; GENREG reg2; } 4
"[" reg1 ",-" reg2 "," S "#" shift "]" .
regrSregrel = { GENREG reg1; ADDR S; GENREG sreg; GENREG reg2; } 4
"[" reg1 "," reg2 "," S sreg "]" .
regminrSregrel = { GENREG reg1; ADDR S; GENREG sreg; GENREG reg2; } 4
"[" reg1 ",-" reg2 "," S sreg "]" .
regregrelwb = { GENREG reg1; GENREG reg2; } 4 "[" reg1 "," reg2 "]<" .
regiSregrelwb = { GENREG reg1; ADDR S; INT shift; GENREG reg2; } 4
"[" reg1 "," reg2 "," S "#" shift "]<" .
regrSregrelwb = { GENREG reg1; ADDR S; GENREG sreg; GENREG reg2; } 4
"[" reg1 "," reg2 "," S sreg "]<" .
regrelpi = { GENREG reg; ADDR ind; } 4 "[" reg "],#" ind .
regregrelpi = { GENREG reg1; GENREG reg2; } 4 "[" reg1 "]," reg2 .
label = {ADDR add; } 4 add .
autoid = {GENREG reg; } 4 reg "<" .
reglist1 = {GENREG reg1; } 4 "{" reg1 "}" .
reglist2 = {GENREG reg1; GENREG reg2; } 8 "{" reg1 "," reg2 "}" .
reglist3 = {GENREG reg1; GENREG reg2; GENREG reg3; } 12
"{" reg1 "," reg2 "," reg3 "}" .
reglist4 = {GENREG reg1; GENREG reg2; GENREG reg3; GENREG reg4; } 16
"{" reg1 "," reg2 "," reg3 "," reg4 "}" .
regexp = {INT exp;} 4 exp .
regconst = {GENREG reg; ADDR ind; } 4 reg ",#" ind .
regplusreg = {GENREG reg1; GENREG reg2;} 4 .
regplusiSreg = {GENREG reg1; ADDR S; INT shift; GENREG reg2;} 4 .
regplusrSreg = {GENREG reg1; ADDR S; GENREG sreg; GENREG reg2;} 4 .
regminreg = {GENREG reg1; GENREG reg2;} 4 .
regminiSreg = {GENREG reg1; ADDR S; INT shift; GENREG reg2;} 4 .
regminrSreg = {GENREG reg1; ADDR S; GENREG sreg; GENREG reg2;} 4 .
SETS
address = absolute + regind + regrel + regrelwb + regregrel +
regiSregrel + regrSregrel + regiSregrelwb + regrSregrelwb +
regminregrel + regminiSregrel + regminrSregrel +
regregrelwb + regrelpi + regregrelpi + LOCAL .
REGcon = GENREG + imS + regS + fitcon .
reglist = reglist1 + reglist2 + reglist3 + reglist4 + regexp .
INSTRUCTIONS
BAL label .
BAL_L "BAL.L" label .
BNV label .
BNE label .
BEQ label .
BMI label .
BGT label .
BLT label .
BLE label .
BGE label .
LDR GENREG:wo, address:rw .
STR GENREG:ro, address:rw .
LDR_B "LDR.B" GENREG:wo, address:rw .
STR_B "STR.B" GENREG:ro, address:rw .
LDMFD autoid:rw, reglist:wo .
STMFD autoid:rw, reglist:ro .
LDMIA GENREG:rw, reglist:wo .
ADC GENREG:wo, GENREG:ro, REGcon:ro .
ADD GENREG:wo, GENREG:ro, REGcon+const4:ro .
ADD GENREG:wo, regconst:ro .
AND GENREG:wo, GENREG:ro, REGcon:ro .
BIC GENREG:wo, GENREG:ro, REGcon:ro .
CMN GENREG:ro, REGcon:ro kills :cc .
CMP GENREG:ro, REGcon:ro kills :cc .
EOR GENREG:wo, GENREG:ro, REGcon:ro .
EOR_S "EOR.S" GENREG:wo:cc, GENREG:ro, REGcon:ro .
MOV GENREG:wo, REGcon+const4:ro .
MOV_MI "MOV.MI" GENREG:wo, REGcon+const4:ro .
MOV_LT "MOV.LT" GENREG:wo, REGcon+const4:ro .
MOV_LE "MOV.LE" GENREG:wo, REGcon+const4:ro .
MOV_EQ "MOV.EQ" GENREG:wo, REGcon+const4:ro .
MOV_NE "MOV.NE" GENREG:wo, REGcon+const4:ro .
MOV_GE "MOV.GE" GENREG:wo, REGcon+const4:ro .
MOV_GT "MOV.GT" GENREG:wo, REGcon+const4:ro .
MVN GENREG:wo, REGcon:ro .
ORR GENREG:wo, GENREG:ro, REGcon:ro .
RSB GENREG:wo, GENREG:ro, REGcon:ro .
RSB_S "RSB.S" GENREG:wo:cc, GENREG:ro, REGcon:ro .
RSC GENREG:wo, GENREG:ro, REGcon:ro .
SBC GENREG:wo, GENREG:ro, REGcon:ro .
SUB GENREG:wo, GENREG:ro, REGcon:ro .
SUB_S "SUB.S" GENREG:wo:cc, GENREG:ro, REGcon:ro .
TEQ GENREG:ro, REGcon:ro kills :cc .
TST GENREG:ro, REGcon:ro kills :cc .
ADR GENREG:wo, addr_external+label:ro .
LABEL "" label kills :cc .
MOVES
from GENREG to address
gen STR %1, %2
from address to GENREG
gen LDR %2, %1
from GENREG to autoid
gen STMFD %2, {reglist1, %1}
from autoid to GENREG
gen LDMFD %1, {reglist1, %2}
from REGcon to GENREG
gen MOV %2, %1
from const4 to GENREG
gen MOV %2, %1
from addr_external to GENREG
gen ADR %2, %1
TESTS
to test GENREG
gen CMP %1, {fitcon, 0}
STACKINGRULES
from address to STACK
gen move %1, R11
move R11, {autoid, SP}
from GENREG to STACK
gen move %1, {autoid, SP}
from REGcon to STACK
gen move %1, R11
move R11, {autoid, SP}
from const4 to STACK
gen move %1, R11
move R11, {autoid, SP}
from addr_local to STACK
gen ADD R11, LB, {const4, %1.ind}
move R11, {autoid, SP}
from addr_external to STACK
gen ADR R11, %1
move R11, {autoid, SP}
from regconst to STACK
gen ADD R11, %1
move R11, {autoid, SP}
from regplusreg to STACK
gen ADD R11, %1.reg1, %1.reg2
move R11, {autoid, SP}
from regminreg to STACK
gen SUB R11, %1.reg1, %1.reg2
move R11, {autoid, SP}
from regplusiSreg to STACK
gen ADD R11, %1.reg1, {imS, %1.reg2, %1.S, %1.shift}
move R11, {autoid, SP}
from regminiSreg to STACK
gen SUB R11, %1.reg1, {imS, %1.reg2, %1.S, %1.shift}
move R11, {autoid, SP}
from regplusrSreg to STACK
gen ADD R11, %1.reg1, {regS, %1.reg2, %1.S, %1.sreg}
move R11, {autoid, SP}
from regminrSreg to STACK
gen SUB R11, %1.reg1, {regS, %1.reg2, %1.S, %1.sreg}
move R11, {autoid, SP}
COERCIONS
from const4
uses REG
gen move %1, %a yields %a
from const4 fitins(%1.num) yields {fitcon, %num}
from STACK
uses REG
gen move {autoid, SP}, %a yields %a
from address
uses REG
gen move %1, %a yields %a
from REGcon
uses REG
gen move %1, %a yields %a
from addr_external
uses REG
gen move %1, %a
yields %a
from addr_local
uses REG
gen ADD %a, LB, {const4, %1.ind} yields %a
from regconst
uses REG
gen ADD %a, %1 yields %a
from regplusreg
uses REG
gen ADD %a, %1.reg1, %1.reg2
yields %a
from regminreg
uses REG
gen SUB %a, %1.reg1, %1.reg2
yields %a
from regplusiSreg
uses REG
gen ADD %a, %1.reg1, {imS, %1.reg2, %1.S, %1.shift}
yields %a
from regminiSreg
uses REG
gen SUB %a, %1.reg1, {imS, %1.reg2, %1.S, %1.shift}
yields %a
from regplusrSreg
uses REG
gen ADD %a, %1.reg1, {regS, %1.reg2, %1.S, %1.sreg}
yields %a
from regminrSreg
uses REG
gen SUB %a, %1.reg1, {regS, %1.reg2, %1.S, %1.sreg}
yields %a
PATTERNS
/************************************************************************
* *
* GROUP I : Load Instructions *
* *
************************************************************************/
pat loc fitins($1) yields {fitcon, $1}
pat loc !(fitins($1)) yields {const4, $1}
pat ldc leaving loc 18
trp
pat lol yields {LOCAL, $1}
pat loe yields {absolute, $1}
pat lil leaving lol $1 loi 4
pat lof
with GENREG yields {regrel, %1, $1}
with exact addr_local yields {LOCAL, %1.ind+$1}
with exact addr_external yields {absolute, %1.add+$1}
with exact regconst yields {regrel, %1.reg, $1+%1.ind}
pat lal yields {addr_local, $1}
pat lae yields {addr_external, $1}
pat lxl $1==0 yields LB
pat lxl $1==1 yields {LOCAL,8}
pat lxl $1>1
uses REG={const4, $1}, REG=LB
gen move {regrel, %b, 8}, %b
SUB_S %a, %a, {fitcon,1}
BNE {label,"1B"} yields %b
pat lxa $1==0 yields {addr_local,8}
pat lxa $1==1
uses REG={LOCAL,8} yields {regconst,%a,8}
pat lxa $1>1
uses REG={const4, $1}, REG=LB
gen move {regrel, %b, 8}, %b
SUB_S %a, %a, {fitcon,1}
BNE {label,"1B"} yields {regconst, %b, 8}
pat loi $1==1
with GENREG
uses REG
gen LDR_B %a, {regind, %1} yields %a
with exact addr_local
uses REG
gen LDR_B %a, {LOCAL, %1.ind} yields %a
with exact addr_external
uses REG
gen LDR_B %a, {absolute, %1.add} yields %a
with exact regconst
uses REG
gen LDR_B %a, {regrel, %1.reg, %1.ind} yields %a
with exact regplusreg
uses REG
gen LDR_B %a, {regregrel, %1.reg1, %1.reg2} yields %a
with exact regminreg
uses REG
gen LDR_B %a, {regminregrel, %1.reg1, %1.reg2} yields %a
with exact regplusiSreg
uses REG
gen LDR_B %a, {regiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2} yields %a
with exact regminiSreg
uses REG
gen LDR_B %a, {regminiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2} yields %a
with exact regplusrSreg
uses REG
gen LDR_B %a, {regrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2} yields %a
with exact regminrSreg
uses REG
gen LDR_B %a, {regminrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2} yields %a
pat loi $1==2
with GENREG
uses REG, REG
gen LDR_B %a, {regind, %1}
LDR_B %b, {regrel, %1, 1}
ADD %a, %a, {imS, %b, "LSL", 8} yields %a
pat loi $1==4
with GENREG yields {regind, %1}
with exact addr_local yields {LOCAL, %1.ind}
with exact addr_external yields {absolute, %1.add}
with exact regconst yields {regrel, %1.reg, %1.ind}
with exact regplusreg yields {regregrel, %1.reg1, %1.reg2}
with exact regminreg yields {regminregrel, %1.reg1, %1.reg2}
with exact regplusiSreg yields {regiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2}
with exact regminiSreg yields {regminiSregrel,%1.reg1,%1.S,%1.shift,%1.reg2}
with exact regplusrSreg yields {regrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2}
with exact regminrSreg yields {regminrSregrel,%1.reg1,%1.S,%1.sreg,%1.reg2}
pat loi $1==8
with GENREG
uses REG, REG
gen LDMIA %1, {reglist2, %a, %b} yields %b %a
pat loi defined($1)
with GENREG STACK
kills ALL
uses REG = {const4, $1}
gen LABEL {label, "1:"}
SUB_S %a, %a, {fitcon, 4}
move {regregrel, %1, %a}, R11
move R11, {autoid, SP}
BLT {label, "1b"}
pat los $1==4
with STACK
kills ALL
gen BAL_L {label, ".los"}
pat ldl yields {LOCAL, $1+4}
{LOCAL, $1}
pat lde yields {absolute, $1+4}
{absolute, $1}
pat ldf
with GENREG yields {regrel, %1, $1+4}
{regrel, %1, $1}
with exact addr_local yields {LOCAL, %1.ind+$1+4}
{LOCAL, %1.ind+$1}
with exact addr_external yields {absolute, %1.add+$1+4}
{absolute, %1.add+$1}
with exact regconst yields {regrel, %1.reg, $1+%1.ind+4}
{regrel, %1.reg, $1+%1.ind}
pat lpi yields {addr_external, $1}
/************************************************************************
* *
* GROUP II : Store Instructions *
* *
************************************************************************/
pat stl
with GENREG
kills address-(absolute+LOCAL), LOCAL %ind-4 < $1 && %ind+4 > $1
gen move %1, {LOCAL, $1}
pat ste
with GENREG
kills address
gen move %1, {absolute, $1}
pat sil leaving lol $1 sti 4
pat stf
with GENREG GENREG
kills address
gen move %2, {regrel, %1, $1}
with addr_local GENREG
kills address
gen move %2, {LOCAL, %1.ind + $1}
with addr_external GENREG
kills address
gen move %2, {absolute, %1.add + $1}
with regconst GENREG
kills address
gen move %2, {regrel, %1.reg, $1+%1.ind}
pat sti $1==1
with GENREG GENREG
kills address
gen STR_B %2, {regind, %1}
with addr_local GENREG
kills address
gen STR_B %2, {LOCAL, %1.ind}
with addr_external GENREG
kills address
gen STR_B %2, {absolute, %1.add}
with regconst GENREG
kills address
gen STR_B %2, {regrel, %1.reg, %1.ind}
with regplusreg GENREG
kills address
gen STR_B %2, {regregrel, %1.reg1, %1.reg2}
with regminreg GENREG
kills address
gen STR_B %2, {regminregrel, %1.reg1, %1.reg2}
with regplusiSreg GENREG
kills address
gen STR_B %2, {regiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2}
with regminiSreg GENREG
kills address
gen STR_B %2, {regminiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2}
with regplusrSreg GENREG
kills address
gen STR_B %2, {regrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2}
with regminrSreg GENREG
kills address
gen STR_B %2, {regminrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2}
pat sti $1==2
with GENREG GENREG
kills address
uses REG
gen move {imS, %2, "LSR", 8}, %a
SUB %2, %2, {imS, %a, "LSL", 8}
STR_B %2, {regind, %1}
STR_B %a, {regrel, %1, 1}
pat sti $1==4
with GENREG GENREG
kills address
gen move %2, {regind, %1}
with addr_local GENREG
kills address
gen move %2, {LOCAL, %1.ind}
with addr_external GENREG
kills address
gen move %2, {absolute, %1.add}
with regconst GENREG
kills address
gen move %2, {regrel, %1.reg, %1.ind}
with regplusreg GENREG
kills address
gen move %2, {regregrel, %1.reg1, %1.reg2}
with regminreg GENREG
kills address
gen move %2, {regminregrel, %1.reg1, %1.reg2}
with regplusiSreg GENREG
kills address
gen move %2, {regiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2}
with regminiSreg GENREG
kills address
gen move %2, {regminiSregrel, %1.reg1, %1.S, %1.shift, %1.reg2}
with regplusrSreg GENREG
kills address
gen move %2, {regrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2}
with regminrSreg GENREG
kills address
gen move %2, {regminrSregrel, %1.reg1, %1.S, %1.sreg, %1.reg2}
pat sti defined($1)
with GENREG STACK
kills ALL
uses REG={const4, $1}
gen LABEL {label, "1:"}
SUB_S %a, %a, {fitcon, 4}
move {regregrel, SP, %a}, R11
move R11, {regregrel, %1, %a}
BLT {label,"1B"}
ADD SP, SP, {const4, $1}
pat sts $1==4
with STACK
kills ALL
gen BAL_L {label, ".sts"}
pat sdl
with GENREG GENREG
kills address-absolute
gen move %1, {LOCAL,$1}
move %2, {LOCAL,$1+4}
pat sde
with GENREG GENREG
kills address
gen move %1, {absolute, $1}
move %2, {absolute, $1+4}
pat sdf
with GENREG GENREG GENREG
kills address
gen move %2, {regrel, %1, $1}
move %3, {regrel, %1, $1+4}
/************************************************************************
* *
* GROUP III : Integer Arithmetic *
* *
************************************************************************/
pat adi $1==4
with GENREG const4 yields {regconst, %1, %2.num}
with const4 GENREG yields {regconst, %2, %1.num}
with GENREG GENREG yields {regplusreg, %1, %2}
with GENREG imS yields {regplusiSreg,%1, %2.S, %2.shift, %2.reg}
with imS GENREG yields {regplusiSreg,%2, %1.S, %1.shift, %1.reg}
with GENREG regS yields {regplusrSreg,%1, %2.S, %2.sreg, %2.reg}
with regS GENREG yields {regplusrSreg,%2, %1.S, %1.sreg, %1.reg}
with exact addr_local const4 yields {addr_local, %1.ind+%2.num}
with exact const4 addr_local yields {addr_local, %2.ind+%1.num}
with exact addr_external const4 yields {addr_external, %1.add+%2.num}
with exact const4 addr_external yields {addr_external, %2.add+%1.num}
pat sbi $1==4
with GENREG GENREG yields {regminreg, %2, %1}
with imS GENREG yields {regminiSreg,%2,%1.S,%1.shift,%1.reg}
with regS GENREG yields {regminrSreg,%2,%1.S,%1.sreg,%1.reg}
with GENREG REGcon
gen RSB %1, %1, %2 yields %1
with const4 GENREG yields {regconst, %2, 0-%1.num}
with exact const4 addr_local yields {addr_local, %2.ind-%1.num}
pat loc mli $1<0 && $2==4 leaving loc 0-$1
mli 4
ngi 4
pat loc mli $1==2 && $2==4
with GENREG yields {imS, %1, "LSL", 1}
pat loc mli $1==4 && $2==4
with GENREG yields {imS, %1, "LSL", 2}
pat loc mli $1==8 && $2==4
with GENREG yields {imS, %1, "LSL", 3}
pat loc mli $1==16 && $2==4
with GENREG yields {imS, %1, "LSL", 4}
pat loc mli $1==32 && $2==4
with GENREG yields {imS, %1, "LSL", 5}
pat loc mli $1==3 && $2==4
with GENREG yields {regplusiSreg,%1,"LSL",1,%1}
pat loc mli $1==5 && $2==4
with GENREG yields {regplusiSreg,%1,"LSL",2,%1}
pat loc mli $1==6 && $2==4
with GENREG
gen ADD %1, %1, {imS, %1, "LSL", 2} yields {regplusiSreg,%1,"LSR",2,%1}
pat loc mli $1==7 && $2==4
with GENREG
gen RSB %1, %1, {imS, %1, "LSL", 3} yields %1
pat loc mli $1==9 && $2==4
with GENREG
with GENREG yields {regplusiSreg,%1,"LSL",3,%1}
pat loc mli $1==10 && $2==4
with GENREG
uses REG
gen ADD %1, %1, {imS, %1, "LSL", 3}
ADD %1, %1, {imS, %1, "LSR", 3} yields %1
pat loc mli $1==12 && $2==4
with GENREG
gen move {imS, %1, "LSL", 3}, %1 yields {regplusiSreg,%1,"LSR",1,%1}
pat mli $1==4
with STACK
kills ALL
gen BAL_L {label, ".mli"} yields R0
pat loc dvi $1<0 && $2==4 leaving loc 0-$1
dvi 4
ngi 4
pat loc dvi $1==2 && $2==4
with GENREG yields {imS, %1, "ASR", 1}
pat loc dvi $1==4 && $2==4
with GENREG yields {imS, %1, "ASR", 2}
pat loc dvi $1==8 && $2==4
with GENREG yields {imS, %1, "ASR", 3}
pat loc dvi $1==16 && $2==4
with GENREG yields {imS, %1, "ASR", 4}
pat loc dvi $1==32 && $2==4
with GENREG yields {imS, %1, "ASR", 5}
pat dvi $1==4
with STACK
kills ALL
gen BAL_L {label, ".dvi"} yields R3
pat rmi $1==4
with STACK
kills ALL
gen BAL_L {label, ".dvi"} yields R2
pat ngi $1==4
with GENREG
gen RSB %1, %1, {fitcon, 0} yields %1
pat sli $1==4
with const4 GENREG yields {imS, %2, "LSL", %1.num}
with GENREG GENREG yields {regS, %2, "LSL", %1}
pat loc sri $1==0 && $2==4
with address+REGcon yields %1
pat sri $1==4
with const4 GENREG yields {imS, %2, "ASR", %1.num}
with GENREG GENREG yields {regS, %2, "ASR", %1}
/************************************************************************
* *
* GROUP IV : Unsigned Arithmetic *
* *
************************************************************************/
pat adu leaving adi $1
pat sbu leaving sbi $1
pat loc mlu $1<11 && $1>0 && $2==4 leaving loc $1
mli 4
pat mlu $1==4
with STACK
kills ALL
gen BAL_L {label, ".mlu"} yields R0
pat loc dvu $1<33 && $1>0 && $2==4 leaving loc $1
dvi 4
pat dvu $1==4
with STACK
kills ALL
gen BAL_L {label, ".dvu"} yields R3
pat rmu $1==4
with STACK
kills ALL
gen BAL_L {label, ".dvu"} yields R2
pat slu $1==4
with GENREG GENREG yields {regS, %2, "LSL", %1}
with const4 GENREG yields {imS, %2, "LSL", $1}
pat sru $1==4
with GENREG GENREG yields {regS, %2, "LSR", %1}
with const4 GENREG yields {imS, %2, "LSR", $1}
/************************************************************************
* *
* GROUP V : Floating Point Arithmetic *
* *
************************************************************************/
pat adf leaving loc 18
trp
pat sbf leaving loc 18
trp
pat mlf leaving loc 18
trp
pat dvf leaving loc 18
trp
pat ngf leaving loc 18
trp
pat fif leaving loc 18
trp
pat fef leaving loc 18
trp
/************************************************************************
* *
* GROUP VI : Pointer Arithmetic *
* *
************************************************************************/
pat adp
with GENREG yields {regconst, %1, $1}
with exact addr_local yields {addr_local, %1.ind+$1}
with exact addr_external yields {addr_external, %1.add+$1}
with exact regconst yields {regconst, %1.reg, %1.ind+$1}
pat ads $1==4 leaving adi 4
pat sbs $1==4 leaving sbi 4
/************************************************************************
* *
* GROUP VII : Increment/Decrement/Zero *
* *
************************************************************************/
pat inc
with GENREG yields {regconst, %1, 1}
with exact regconst yields {regconst, %1.reg, %1.ind+1}
pat inl
kills address-absolute
uses REG={LOCAL,$1}
gen ADD %a,%a,{const4,1}
move %a,{LOCAL,$1}
pat ine
kills address
uses REG={absolute,$1}
gen ADD %a,%a,{const4,1}
move %a,{absolute,$1}
pat dec
with GENREG yields {regconst, %1, 0-1}
pat del
kills address-absolute
uses REG={LOCAL,$1}
gen SUB %a,%a,{fitcon,1}
move %a,{LOCAL,$1}
pat dee
kills address
uses REG={absolute,$1}
gen SUB %a,%a,{fitcon,1}
move %a,{absolute,$1}
pat zrl
kills address-absolute
uses REG={fitcon,0}
gen move %a,{LOCAL,$1}
pat zre
kills address
uses REG={fitcon,0}
gen move %a,{absolute,$1}
pat zrf leaving loc 18
trp
pat zer $1==4 yields {fitcon,0}
pat zer $1==8 yields {fitcon,0} {fitcon,0}
pat zer $1==12 yields {fitcon,0} {fitcon,0} {fitcon,0}
pat zer defined($1)
with STACK
kills ALL
uses REG={fitcon,0},REG={const4,$1}
gen LABEL {label, "1:"}
move %a,{autoid,SP}
SUB_S %b,%b,{fitcon,4}
BNE {label,"1B"}
move R14,PC
/************************************************************************
* *
* GROUP VIII : Convert *
* *
************************************************************************/
pat cii
with address + REGcon address + REGcon
pat cui
with address +REGcon address + REGcon
pat cfi leaving loc 18 trp
pat cif leaving loc 18 trp
pat cuf leaving loc 18 trp
pat cff leaving loc 18 trp
pat cfu leaving loc 18 trp
pat ciu
with address +REGcon address + REGcon
pat cuu
with address +REGcon address + REGcon
/************************************************************************
* *
* GROUP IX : Logical *
* *
************************************************************************/
pat and $1==4
with REGcon GENREG
gen AND %2, %2, %1 yields %2
with GENREG REGcon
gen AND %1, %1, %2 yields %1
pat ior $1==4
with REGcon GENREG
gen ORR %2, %2, %1 yields %2
with GENREG REGcon
gen ORR %1, %1, %2 yields %1
pat xor $1==4
with REGcon GENREG
gen EOR %2, %2, %1 yields %2
with GENREG REGcon
gen EOR %1, %1, %2 yields %1
pat com $1==4
with REGcon
uses REG
gen MVN %a,%1 yields %a
pat ror $1==4
with const4 GENREG yields {imS, %2, "ROR", %1.num}
with GENREG GENREG yields {regS, %2, "ROR", %1}
pat rol $1==4
with const4 GENREG yields {imS, %2, "ROR", 32-%1.num}
with GENREG GENREG
gen RSB %1, %1, {fitcon,32} yields {regS, %2, "ROR", %1}
pat and $1>4
with STACK
gen move {const4,$1}, R1
move SP, R0
ADD SP, SP, R1
LABEL {label, "1:"}
SUB_S R1, R1, {fitcon, 4}
move {regregrel,SP,R1},R2
move {regregrel,R0,R1},R3
AND R2, R2, R3
move R2, {regregrel,SP,R1}
BNE {label, "1B"}
move R14,PC
pat ior $1>4
with STACK
gen move {const4,$1}, R1
move SP, R0
ADD SP, SP, R1
LABEL {label, "1:"}
SUB_S R1, R1, {fitcon, 4}
move {regregrel,SP,R1},R2
move {regregrel,R0,R1},R3
ORR R2, R2, R3
move R2, {regregrel,SP,R1}
BNE {label, "1B"}
move R14,PC
pat xor $1>4
with STACK
gen move {const4,$1}, R1
move SP, R0
ADD SP, SP, R1
LABEL {label, "1:"}
SUB_S R1, R1, {fitcon, 4}
move {regregrel,SP,R1},R2
move {regregrel,R0,R1},R3
EOR R2, R2, R3
move R2, {regregrel,SP,R1}
BNE {label, "1B"}
move R14,PC
pat com $1>4
with STACK
gen move {const4,$1}, R1
LABEL {label, "1:"}
SUB_S R1, R1, {fitcon, 4}
move {regregrel,SP,R1},R2
MVN R2, R2
move R2,{regregrel,SP,R1}
BNE {label, "1B"}
move R14,PC
/************************************************************************
* *
* GROUP X: Sets *
* *
************************************************************************/
pat loc loc inn !defined($3) leaving loc $1 inn $2
pat loc inn $2==4 && $1>=0 && $1<32
with GENREG
uses REG={fitcon,1}
gen AND %1, %1, {imS,%a,"LSL",$1} yields %1
pat loc inn $2==4 && $1<0
with GENREG
gen move {fitcon,0}, %1 yields %1
pat loc inn $2==4 && $1>31 leaving loc 2 trp
pat loc inn !defined($2) leaving inn $1
pat inn defined($1)
with STACK
kills ALL
gen move {const4,$1}, R0
BAL_L {label, ".inn"} yields R0
pat inn !defined($1)
with GENREG
gen move %1, R0
BAL_L {label, ".inn"} yields R0
pat loc set !defined($2) leaving set $1
pat set $1==4
with const4
uses REG={fitcon,1} yields {imS,%a,"LSL",%1.num}
with GENREG
uses REG={fitcon,1} yields {regS,%a,"LSL",%1}
pat set $1>4
with GENREG STACK
uses REG={fitcon,1}, REG={fitcon,0}, REG={const4,$1}
gen LABEL {label, "2:"}
move %b,{autoid, SP}
SUB_S %c, %c, {fitcon,4}
BGT {label, "2B"}
CMP %1, {fitcon, 0}
BMI {label, "1F"}
AND %b, %1, {fitcon, 31}
move {regS, %a, "LSL", %b}, %b
move {imS, %1, "LSR", 5}, %1
move %b, {regiSregrel, SP, "LSL", 2, %1}
LABEL {label, "1:"}
/************************************************************************
* *
* GROUP XI : Array Instructions *
* *
************************************************************************/
pat lae aar $2==4 && rom($1,3)==1 && rom($1,1)==0 leaving adi 4
pat lae aar $2==4 && rom($1,3)==1 && rom($1,1)!=0
with GENREG
gen ADD %1, %1, {const4, 1-rom($1,1)} yields %1
leaving adi 4
pat lae aar $2==4 && rom($1,3)==4 && rom($1,1)==0
with GENREG yields {imS, %1,"LSL", 2}
leaving adi 4
pat lae aar $2==4 && rom($1,3)==4 && rom($1,1)!=0
with GENREG
gen ADD %1, %1, {const4, 1-rom($1,1)} yields {imS, %1,"LSL", 2}
leaving adi 4
pat lae aar $2==4 && rom($1,1)==0
leaving loc rom($1,3)
mli 4 adi 4
pat lae aar $2==4 && rom($1,1)!=0
with GENREG
gen ADD %1, %1, {const4, 1-rom($1,1)}
yields %1
leaving loc rom($1,3)
mli 4 adi 4
pat aar $1==4
with GENREG GENREG
uses REG
gen move {regind, %1}, %a
SUB %2, %2, %a yields %2 {regrel, %1, 8}
leaving mli 4 adi 4
pat lae sar $2==4 && defined(rom($1,3)) leaving lae $1 aar 4
sti rom($1,3)
pat lae lar $2==4 && defined(rom($1,3)) leaving lae $1 aar 4
loi rom($1,3)
pat loc aar !defined($2) leaving aar $1
pat lae loc sar !defined($3) && $2==4 && defined(rom($1,3))
leaving lae $1 aar 4
sti rom($1,3)
pat lae loc lar !defined($3) && $2==4 && defined(rom($1,3))
leaving lae $1 aar 4
loi rom($1,3)
/************************************************************************
* *
* GROUP XII : Compare Instructions *
* *
************************************************************************/
pat cmi
with GENREG REGcon
uses reusing %1, REG
gen RSB_S %a, %1, %2 yields %a
with REGcon GENREG
uses reusing %2, REG
gen SUB_S %a, %2, %1 yields %a
pat cmu leaving cmi $1
/* !!! cannot be correct !!! */
pat cmp leaving cmu 4
pat cmf leaving loc 18 trp
pat loc cms !defined($2) leaving cms $1
pat cms $1==4
with GENREG REGcon
gen EOR_S %1, %1, %2 yields %1
with REGcon GENREG
gen EOR_S %2, %2, %1 yields %2
pat cms $1!=4
with STACK
uses REG = {const4, $1}, REG, REG, REG
gen ADD %b, %a, SP
LABEL {label, "1:"}
SUB_S %a, %a, {fitcon, 4}
BLT {label, "2F"}
move {regregrel, SP, %a}, %c
move {regregrel, %b, %a}, %d
EOR_S %c, %c, %d
BEQ {label, "1B"}
LABEL {label, "2:"}
ADD SP, %b, {const4, $1} yields %c
pat cms !defined($1)
with GENREG STACK
uses REG, REG, REG
gen ADD %a, %1, SP
LABEL {label, "1:"}
SUB_S %1, %1, {fitcon, 4}
BLT {label, "2F"}
move {regregrel, SP, %1}, %b
move {regregrel, %a, %1}, %c
EOR_S %b, %b, %c
BEQ {label, "1B"}
LABEL {label, "2:"}
ADD SP, %a, {const4, $1} yields %b
pat tlt
with GENREG
uses reusing %1, REG
gen test %1
MOV_LT %a, {fitcon,1}
MOV_GE %a, {fitcon,0} yields %a
pat tle
with GENREG
uses reusing %1, REG
gen test %1
MOV_LE %a, {fitcon,1}
MOV_GT %a, {fitcon,0} yields %a
pat teq
with GENREG
uses reusing %1, REG
gen test %1
MOV_EQ %a, {fitcon,1}
MOV_NE %a, {fitcon,0} yields %a
pat tne
with GENREG
uses reusing %1, REG
gen test %1
MOV_NE %a, {fitcon,1}
MOV_EQ %a, {fitcon,0} yields %a
pat tge
with GENREG
uses reusing %1, REG
gen test %1
MOV_GE %a, {fitcon,1}
MOV_LT %a, {fitcon,0} yields %a
pat tgt
with GENREG
uses reusing %1, REG
gen test %1
MOV_GT %a, {fitcon,1}
MOV_LE %a, {fitcon,0} yields %a
/************************************************************************
* *
* GROUP XIII : Branch Instructions *
* *
************************************************************************/
pat bra
with STACK
gen BAL {label, $1}
pat bne
with REGcon GENREG STACK
gen CMP %2, %1
BNE {label, $1}
with GENREG REGcon STACK
gen CMP %1, %2
BNE {label, $1}
pat beq
with REGcon GENREG STACK
gen CMP %2, %1
BEQ {label, $1}
with GENREG REGcon STACK
gen CMP %1, %2
BEQ {label, $1}
pat blt
with REGcon GENREG STACK
gen CMP %2, %1
BLT {label, $1}
pat ble
with REGcon GENREG STACK
gen CMP %2, %1
BLE {label, $1}
pat bgt
with REGcon GENREG STACK
gen CMP %2, %1
BGT {label, $1}
pat bge
with REGcon GENREG STACK
gen CMP %2, %1
BGE {label, $1}
pat zlt
with GENREG STACK
gen test %1
BLT {label, $1}
pat zle
with GENREG STACK
gen test %1
BLE {label, $1}
pat zeq
with GENREG STACK
gen test %1
BEQ {label, $1}
pat zne
with GENREG STACK
gen test %1
BNE {label, $1}
pat zge
with GENREG STACK
gen test %1
BGE {label, $1}
pat zgt
with GENREG STACK
gen test %1
BGT {label, $1}
/************************************************************************
* *
* GROUP XIV : Procedure Call *
* *
************************************************************************/
pat cal
with STACK
kills ALL
gen BAL_L {label, $1}
pat cai leaving loc 18 trp
pat lfr $1==4 yields R0
pat lfr $1==8 yields R1 R0
pat lfr $1==12 yields R2 R1 R0
pat ret $1==0
with STACK
kills ALL
gen move LB, SP
move {autoid, SP}, LB
move {autoid, SP}, PC
pat ret $1==4
with address STACK
kills ALL
gen move %1, R0
move LB, SP
move {autoid, SP}, LB
move {autoid, SP}, PC
with REGcon STACK
kills ALL
gen move %1, R0
move LB, SP
move {autoid, SP}, LB
move {autoid, SP}, PC
pat ret $1==8
with REGcon REGcon STACK
kills ALL
gen move %1, R0
move %2, R1
move LB, SP
move {autoid, SP}, LB
move {autoid, SP}, PC
pat ret $1==12
with REGcon REGcon REGcon STACK
kills ALL
gen move %1, R0
move %2, R1
move %3, R2
move LB, SP
move {autoid, SP}, LB
move {autoid, SP}, PC
/************************************************************************
* *
* GROUP XV : Miscellaneous *
* *
************************************************************************/
pat asp
with STACK
gen ADD SP, SP, {const4, $1}
pat ass $1==4
with REGcon STACK
gen ADD SP, SP, %1
pat blm $1==0
with address+REGcon address+REGcon
pat blm $1==4
with GENREG GENREG
kills address
uses REG
gen move {regind, %2}, %a
move %a, {regind, %1}
pat blm $1>4
with GENREG GENREG
kills address
uses REG, REG={const4, $1-4}
gen LABEL {label, "1:"}
move {regregrel, %2, %b}, %a
move %a, {regregrel, %1, %b}
SUB_S %b, %b, {fitcon, 4}
BGE {label,"1B"}
pat bls $1==4
with GENREG GENREG GENREG
kills address
uses REG
gen LABEL {label, "1:"}
SUB_S %1, %1, {fitcon, 4}
move {regregrel, %3, %1}, %a
move %a, {regregrel, %2, %1}
BGT {label,"1B"}
pat csa
pat csb
pat dch leaving loi 4
pat dup $1==4
with address+REGcon yields %1 %1
pat dup $1==8
with address+REGcon address+REGcon yields %2 %1 %2 %1
pat dup $1>8
with STACK
uses REG={const4,$1}, REG
gen LABEL {label, "1:"}
move {regrel, SP, $1-4}, %b
move %b, {autoid, SP}
SUB_S %a, %a, {fitcon, 4}
BGT {label, "1B"}
pat dus
with GENREG STACK
uses REG, REG
gen SUB %b, %1, {fitcon, 4}
LABEL {label, "1:"}
move {regregrel, SP, %b}, %a
move %a, {autoid, SP}
SUB_S %1, %1, {fitcon, 4}
BGT {label, "1B"}
pat exg $1==4
with address+REGcon address+REGcon yields %1 %2
pat exg $1==8
with address+REGcon address+REGcon
address+REGcon address+REGcon yields %2 %1 %4 %3
pat exg $1>8
with STACK
kills ALL
uses REG, REG, REG={const4, $1-4}, REG
gen ADD %d, SP, {const4, $1}
LABEL {label, "1:"}
move {regregrel,SP,%c}, %a
move {regregrel,%d,%c}, %b
move %a, {regregrel,%d,%c}
move %b, {regregrel,SP,%c}
SUB_S %c, %c, {fitcon, 4}
BGE {label, "1B"}
pat fil
pat gto
pat lim
pat lin
pat lni
pat lor $1==0 yields LB
pat lor $1==1
with STACK yields SP
pat lor $1==2 yields {absolute, ".reghp"}
pat lpb leaving adp 8
pat mon
pat nop
pat rck
with GENREG REGcon STACK
uses REG
gen move {regind, %1}, %a
CMP %a, %2
BGT {label, "rcktrap"}
move {regrel, %1, 4}, %a
CMP %a, %2
BLT {label, "rcktrap"}
pat rtt
pat sig
pat sim
pat str $1==0
with address
gen move %1, LB
with REGcon
gen move %1, LB
pat str $1==1
with address
gen move %1, SP
with REGcon
gen move %1, SP
pat str $1==2
with GENREG
gen move %1, {absolute, ".reghp"}
pat trp
/***********************************************************************/
pat lol lol adp stl loi $1==$2 && $2==$4 && $5==4
uses REG, REG
gen move {LOCAL, $1}, %a
move {regrelpi, %a, $3}, %b
move %a, {LOCAL, $1} yields %b
pat lol lol adp stl sti $1==$2 && $2==$4 && $5==4
with GENREG
uses REG
gen move {LOCAL,$1}, %a
move %1, {regrelpi, %a, $3}
move %a, {LOCAL, $1}