|
op_t | otawa::se::reverse (op_t logop) |
|
Identifier< Vector< SECmp * > > | otawa::se::REG_FILTERS ("otawa::se::REG_FILTERS") |
|
Identifier< Vector< SECmp * > > | otawa::se::ADDR_FILTERS ("otawa::se::ADDR_FILTERS") |
|
SECmp * | otawa::se::getFilterForReg (SECmp *se, V reg, clp::ClpStatePack &pack, Inst *i, int sem, Vector< V > &used_reg, Vector< V > &used_addr) |
|
SECmp * | otawa::se::getFilterForAddr (SECmp *se, V addr, clp::ClpStatePack &pack, Inst *i, int sem, Vector< V > &used_reg, Vector< V > &used_addr) |
|
void | otawa::se::applyFilter (V &v, se::op_t cmp_op, V f) |
| Apply a filter on the value. More...
|
|