In SAIL loops can be treated as tail-recursive functions; this instruction represents a tail-recursive invocation of the loop body and corresponds to a back-edge. More...
#include <LoopInvocationInstruction.h>
Public Member Functions | |
LoopInvocationInstruction (BasicBlock *header) | |
virtual string | to_string () const |
virtual string | to_string (bool pretty_print) const |
virtual bool | is_removable () |
Friends | |
class | boost::serialization::access |
In SAIL loops can be treated as tail-recursive functions; this instruction represents a tail-recursive invocation of the loop body and corresponds to a back-edge.
bool sail::LoopInvocationInstruction::is_removable | ( | ) | [virtual] |
An instruction is removable if it's not present in the original source code, but introduced in the translation from the high-level language to the low-level language. For instance, if **x is an expression used in the original code, the low-level language will introduce a temporary t=*x; such instructions are "removable" for printing purposes.
Implements sail::Instruction.