|
Jlm
|
Description of a recursively defined variable. More...
#include <Phi.hpp>

Public Attributes | |
| rvsdg::Output * | recref |
| Reference to mutual-recursively defined object in phi. More... | |
| rvsdg::Input * | result |
| Definition result of a variable within the phi region. More... | |
| rvsdg::Output * | output |
| Output of phi region representing externally available definition. More... | |
Description of a recursively defined variable.
A recursively defined variable from the POV of a phi node has multiple representations. This structure bundles all representations into a single object.
| rvsdg::Output* jlm::rvsdg::PhiNode::FixVar::output |
| rvsdg::Output* jlm::rvsdg::PhiNode::FixVar::recref |
Reference to mutual-recursively defined object in phi.
This is an argument slot in the phi region and represents a reference to an object defined within the phi. Definitions in the phi region that want to refer to another object in the phi region must use this handle to refer to it (this can be either an object referring to itself or referring to another mutually recursive object).
| rvsdg::Input* jlm::rvsdg::PhiNode::FixVar::result |