Jlm
Public Attributes | List of all members
jlm::rvsdg::PhiNode::FixVar Struct Reference

Description of a recursively defined variable. More...

#include <Phi.hpp>

Collaboration diagram for jlm::rvsdg::PhiNode::FixVar:
Collaboration graph
[legend]

Public Attributes

rvsdg::Outputrecref
 Reference to mutual-recursively defined object in phi. More...
 
rvsdg::Inputresult
 Definition result of a variable within the phi region. More...
 
rvsdg::Outputoutput
 Output of phi region representing externally available definition. More...
 

Detailed Description

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.

Definition at line 99 of file Phi.hpp.

Member Data Documentation

◆ output

rvsdg::Output* jlm::rvsdg::PhiNode::FixVar::output

Output of phi region representing externally available definition.

This output of the phi node allows to externally refer to the objects defined in the phi.

Definition at line 126 of file Phi.hpp.

◆ recref

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).

Definition at line 110 of file Phi.hpp.

◆ result

rvsdg::Input* jlm::rvsdg::PhiNode::FixVar::result

Definition result of a variable within the phi region.

This is a result slot in the phi region and represents the finalized definition of a variable with the phi region.

Definition at line 118 of file Phi.hpp.


The documentation for this struct was generated from the following file: