BNF for ralf.jj

NON-TERMINALS

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>