Goal | ::= | setCollection paramCollection <EOF> |
setCollection | ::= | pseudoSet locSet instSet regSet |
paramCollection | ::= | callerSaveParam freqParam liveParam liveHardRegParam basePseudoRegParam baseHardRegParam reqParam HRreqParam prevInstParam prevInstsParam defParam defHardRegParam lsmPseudosParam memPseudosParam nsEdgeParam equivParam knownStoresParam knownHardStoresParam knownLoadsParam jumpInstParam callInstParam scalarParams |
pseudoSet | ::= | <SET> <PSEUDOS> <ASSIGN> ( pseudo )* <SEMICOLON> |
regSet | ::= | <SET> <REGS> <ASSIGN> ( register )* <SEMICOLON> |
locSet | ::= | <SET> <LOC> <ASSIGN> ( location )* <SEMICOLON> |
instSet | ::= | <SET> <INSTS> <ASSIGN> ( instruction )* <SEMICOLON> |
callerSaveParam | ::= | <PARAM> ( <COLON> )? <CALLERSAVE> <ASSIGN> ( rvPair )* <SEMICOLON> |
freqParam | ::= | <PARAM> <COLON> <FREQ> <ASSIGN> ( ivPair )* <SEMICOLON> |
liveParam | ::= | <PARAM> <COLON> <LIVE> <ASSIGN> ( ipvTuple )* <SEMICOLON> |
liveHardRegParam | ::= | <PARAM> <COLON> <LIVEHARDREG> <ASSIGN> ( irvTuple )* <SEMICOLON> |
basePseudoRegParam | ::= | <PARAM> <COLON> <BASEPSEUDOREG> <ASSIGN> ( ppPair )* <SEMICOLON> |
baseHardRegParam | ::= | <PARAM> <COLON> <BASEHARDREG> <ASSIGN> ( prPair )* <SEMICOLON> |
reqParam | ::= | <PARAM> <COLON> <REQ> <ASSIGN> ( ipvTuple )* <SEMICOLON> |
HRreqParam | ::= | <PARAM> <COLON> <HRREQ> <ASSIGN> ( irvTuple )* <SEMICOLON> |
prevInstParam | ::= | <PARAM> <COLON> <PREVINST> <ASSIGN> ( iivTuple )* <SEMICOLON> |
prevInstsParam | ::= | <PARAM> <COLON> <PREVINSTS> <ASSIGN> ( iivTuple )* <SEMICOLON> |
defParam | ::= | <PARAM> <COLON> <DEF> <ASSIGN> ( ipvTuple )* <SEMICOLON> |
defHardRegParam | ::= | <PARAM> <COLON> <DEFHARDREG> <ASSIGN> ( irvTuple )* <SEMICOLON> |
lsmPseudosParam | ::= | <PARAM> <COLON> <LSMPSEUDOS> <ASSIGN> ( pvPair )* <SEMICOLON> |
memPseudosParam | ::= | <PARAM> <COLON> <MEMPSEUDOS> <ASSIGN> ( pvPair )* <SEMICOLON> |
nsEdgeParam | ::= | <PARAM> <COLON> <NSEDGE> <ASSIGN> ( pvPair )* <SEMICOLON> |
equivParam | ::= | <PARAM> <COLON> <EQUIV> <ASSIGN> ( ppPair )* <SEMICOLON> |
knownStoresParam | ::= | <PARAM> <COLON> <KNOWNSTORES> <ASSIGN> ( ippvTuple )* <SEMICOLON> |
knownHardStoresParam | ::= | <PARAM> <COLON> <KNOWNHARDSTORES> <ASSIGN> ( iprvTuple )* <SEMICOLON> |
knownLoadsParam | ::= | <PARAM> <COLON> <KNOWNLOADS> <ASSIGN> ( ipvTuple )* <SEMICOLON> |
jumpInstParam | ::= | <PARAM> <COLON> <JUMPINST> <ASSIGN> ( ivPair )* <SEMICOLON> |
callInstParam | ::= | <PARAM> <COLON> <CALLINST> <ASSIGN> ( ivPair )* <SEMICOLON> |
scalarParams | ::= | <PARAM> <LOADCOST> <ASSIGN> value <SEMICOLON> <PARAM> <LOADPAIRCOST> <ASSIGN> value <SEMICOLON> <PARAM> <INVLOADCOST> <ASSIGN> value <SEMICOLON> <PARAM> <STORECOST> <ASSIGN> value <SEMICOLON> <PARAM> <STOREPAIRCOST> <ASSIGN> value <SEMICOLON> <PARAM> <INVSTORECOST> <ASSIGN> value <SEMICOLON> <PARAM> <NREGS> <ASSIGN> value <SEMICOLON> <PARAM> <NINSTS> <ASSIGN> value <SEMICOLON> <PARAM> <NLSMPSEUDOS> <ASSIGN> value <SEMICOLON> <PARAM> <NPSEUDOS> <ASSIGN> value <SEMICOLON> |
rvPair | ::= | register value |
ivPair | ::= | instruction value |
ipvTuple | ::= | instruction pseudo value |
irvTuple | ::= | instruction register value |
ppPair | ::= | pseudo pseudo |
prPair | ::= | pseudo register |
iivTuple | ::= | instruction instruction value |
pvPair | ::= | pseudo value |
ippvTuple | ::= | instruction pseudo pseudo value |
iprvTuple | ::= | instruction pseudo pseudo value |
value | ::= | <INTEGER_LITERAL> |
instruction | ::= | <INTEGER_LITERAL> |
pseudo | ::= | <INTEGER_LITERAL> |
register | ::= | <INTEGER_LITERAL> |
location | ::= | <INTEGER_LITERAL> |