public class CfgSwitchSequenceBackend extends CfgDefaultVisitor
The HDL parser backend that optimises sequences
of control flow graph CfgModel
model
Switch
switch nodes.
Switch nodes must contain conditions of the following form:
x == const_1 || ... || x == const_n
, and only the x
must be used
in every node of the sequences to be transformed.
CfgVisitor.Status
Constructor and Description |
---|
CfgSwitchSequenceBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onProcessBegin(Process process)
Starts visiting
Process node. |
void |
onSwitchBegin(Switch switchNode)
Starts visiting
Switch node. |
getStatus, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onMergeBegin, onMergeEnd, onModuleBegin, onModuleEnd, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchEnd, onWaitBegin, onWaitEnd
public void onProcessBegin(Process process)
CfgVisitor
Process
node.onProcessBegin
in interface CfgVisitor
onProcessBegin
in class CfgDefaultVisitor
process
- Process
nodepublic void onSwitchBegin(Switch switchNode)
CfgVisitor
Switch
node.onSwitchBegin
in interface CfgVisitor
onSwitchBegin
in class CfgDefaultVisitor
switchNode
- switch node