21 #ifndef OTAWA_SEM_PATHITER_H_
22 #define OTAWA_SEM_PATHITER_H_
27 namespace otawa {
namespace sem {
struct otawa::sem::inst inst
t::int16 b
Definition: inst.h:115
t::uint32 addr(void) const
Definition: PathIter.h:62
void start(Inst *inst)
Definition: PathIter.h:32
t::int16 a
Definition: inst.h:115
bool pathEnd(void) const
Test if the current instruction is a path end.
Definition: PathIter.h:41
bool isCond(void) const
Test if the current instruction is a conditional, that means that two different paths will be created...
Definition: PathIter.h:42
t::uint32 reg(void) const
Definition: PathIter.h:61
sem::Block bb
Definition: PathIter.h:66
t::int16 addr(void) const
Definition: inst.h:136
sem::inst item(void) const
Definition: PathIter.h:45
A block represents a sequence of semantic instructions inst.
Definition: inst.h:183
Inst * _inst
Definition: PathIter.h:65
t::int16 reg(void) const
Definition: inst.h:135
opcode op(void) const
Definition: PathIter.h:56
void next(void)
Definition: PathIter.h:46
t::int16 b(void) const
Definition: PathIter.h:59
genstruct::Vector< int > todo
Definition: PathIter.h:67
inst cont(void)
Definition: inst.h:151
t::int16 a(void) const
Definition: PathIter.h:58
bool ended(void) const
Definition: PathIter.h:44
opcode
Definition: inst.h:40
int pc
Definition: PathIter.h:68
virtual void semInsts(sem::Block &block)
Return a list of semantics pseudo-instruction representing the effect of the instruction.
Definition: instruction.cpp:413
t::int16 d(void) const
Definition: inst.h:127
void push(const T &value)
t::uint32 cst
Definition: inst.h:114
This class represents assembly instruction of a piece of code.
Definition: Inst.h:62
t::uint32 cst(void) const
Definition: PathIter.h:60
This structure class represents an instruction in the semantics representation of machine instruction...
Definition: inst.h:110
t::int16 d(void) const
Definition: PathIter.h:57
This iterator allows easily to traverse all execution paths of a block of semantic instructions...
Definition: PathIter.h:29