Function or value | Description |
|
|
|
|
Full Usage:
evalJmp st cfg blk _arg1
Parameters:
CPState<'a>
cfg : DiGraph<SSABasicBlock, CFGEdgeKind>
blk : SSAVertex
_arg1 : JmpType
|
|
|
|
|
|
Full Usage:
evalStmt st cfg blk _arg1
Parameters:
CPState<SPValue>
cfg : DiGraph<SSABasicBlock, CFGEdgeKind>
blk : SSAVertex
_arg1 : Stmt
|
|
Full Usage:
isStackRelatedRegister st regid
Parameters:
CPState<SPValue>
regid : RegisterID
Returns: bool
|
|