Goal | ::= | scalarParams 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 moveInstParam |
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> ( callerSaveInfo )* <SEMICOLON> |
freqParam | ::= | <PARAM> <COLON> <FREQ> <ASSIGN> ( freqInfo )* <SEMICOLON> |
liveParam | ::= | <PARAM> <COLON> <LIVE> <ASSIGN> ( liveInfo )* <SEMICOLON> |
liveHardRegParam | ::= | <PARAM> <COLON> <LIVEHARDREG> <ASSIGN> ( liveHardRegInfo )* <SEMICOLON> |
basePseudoRegParam | ::= | <PARAM> <COLON> <BASEPSEUDOREG> <ASSIGN> ( basePseudoRegInfo )* <SEMICOLON> |
baseHardRegParam | ::= | <PARAM> <COLON> <BASEHARDREG> <ASSIGN> ( baseHardRegInfo )* <SEMICOLON> |
reqParam | ::= | <PARAM> <COLON> <REQ> <ASSIGN> ( reqInfo )* <SEMICOLON> |
HRreqParam | ::= | <PARAM> <COLON> <HRREQ> <ASSIGN> ( HRreqInfo )* <SEMICOLON> |
prevInstParam | ::= | <PARAM> <COLON> <PREVINST> <ASSIGN> ( prevInstInfo )* <SEMICOLON> |
prevInstsParam | ::= | <PARAM> <COLON> <PREVINSTS> <ASSIGN> ( prevInstsInfo )* <SEMICOLON> |
defParam | ::= | <PARAM> <COLON> <DEF> <ASSIGN> ( defInfo )* <SEMICOLON> |
defHardRegParam | ::= | <PARAM> <COLON> <DEFHARDREG> <ASSIGN> ( defHardRegInfo )* <SEMICOLON> |
lsmPseudosParam | ::= | <PARAM> <COLON> <LSMPSEUDOS> <ASSIGN> ( lsmPseudoInfo )* <SEMICOLON> |
memPseudosParam | ::= | <PARAM> <COLON> <MEMPSEUDOS> <ASSIGN> ( memPseudoInfo )* <SEMICOLON> |
nsEdgeParam | ::= | <PARAM> <COLON> <NSEDGE> <ASSIGN> ( nsEdgeInfo )* <SEMICOLON> |
equivParam | ::= | <PARAM> <COLON> <EQUIV> <ASSIGN> ( equivInfo )* <SEMICOLON> |
knownStoresParam | ::= | <PARAM> <COLON> <KNOWNSTORES> <ASSIGN> ( knownStoreInfo )* <SEMICOLON> |
knownHardStoresParam | ::= | <PARAM> <COLON> <KNOWNHARDSTORES> <ASSIGN> ( knownHardStoreInfo )* <SEMICOLON> |
knownLoadsParam | ::= | <PARAM> <COLON> <KNOWNLOADS> <ASSIGN> ( knownLoadInfo )* <SEMICOLON> |
jumpInstParam | ::= | <PARAM> <COLON> <JUMPINST> <ASSIGN> ( jumpInstInfo )* <SEMICOLON> |
callInstParam | ::= | <PARAM> <COLON> <CALLINST> <ASSIGN> ( callInstInfo )* <SEMICOLON> |
moveInstParam | ::= | <PARAM> <COLON> <MOVEINST> <ASSIGN> ( moveInstInfo )* <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> <PARAM> <NMOVES> <ASSIGN> value <SEMICOLON> |
callerSaveInfo | ::= | register value |
callInstInfo | ::= | instruction value |
moveInstInfo | ::= | instruction value |
jumpInstInfo | ::= | instruction value |
freqInfo | ::= | instruction value |
liveInfo | ::= | instruction pseudo value |
reqInfo | ::= | instruction pseudo value |
defInfo | ::= | instruction pseudo value |
knownLoadInfo | ::= | instruction pseudo value |
liveHardRegInfo | ::= | instruction register value |
defHardRegInfo | ::= | instruction register value |
HRreqInfo | ::= | instruction register value |
basePseudoRegInfo | ::= | pseudo pseudo |
equivInfo | ::= | pseudo pseudo |
baseHardRegInfo | ::= | pseudo register |
prevInstInfo | ::= | instruction instruction value |
prevInstsInfo | ::= | instruction instruction value |
lsmPseudoInfo | ::= | pseudo value |
memPseudoInfo | ::= | pseudo value |
nsEdgeInfo | ::= | pseudo pseudo value |
knownStoreInfo | ::= | instruction pseudo pseudo value |
knownHardStoreInfo | ::= | instruction pseudo pseudo value |
value | ::= | <INTEGER_LITERAL> |
instruction | ::= | <INTEGER_LITERAL> |
pseudo | ::= | <INTEGER_LITERAL> |
register | ::= | <INTEGER_LITERAL> |
location | ::= | <INTEGER_LITERAL> |