Description of a loop-carried variable. More...

#include <theta.hpp>

Collaboration diagram for jlm::rvsdg::ThetaNode::LoopVar:

[legend]

Public Attributes
rvsdg::Input *	input
	Variable at loop entry (input to theta). More...

rvsdg::Output *	pre
	Variable before iteration (input argument to subregion). More...

rvsdg::Input *	post
	Variable after iteration (output result from subregion). More...

rvsdg::Output *	output
	Variable at loop exit (output of theta). More...

Detailed Description

Description of a loop-carried variable.

A loop-carried variable from the POV of a theta node has multiple representations (entry, pre-iteration, post-iteration, exit). This structure bundles all representations of a single loop-carried variable.

Definition at line 49 of file theta.hpp.

Member Data Documentation

◆ input

rvsdg::Input* jlm::rvsdg::ThetaNode::LoopVar::input

Variable at loop entry (input to theta).

Definition at line 54 of file theta.hpp.

◆ output

rvsdg::Output* jlm::rvsdg::ThetaNode::LoopVar::output

Variable at loop exit (output of theta).

Definition at line 66 of file theta.hpp.

◆ post

rvsdg::Input* jlm::rvsdg::ThetaNode::LoopVar::post

Variable after iteration (output result from subregion).

Definition at line 62 of file theta.hpp.

◆ pre

rvsdg::Output* jlm::rvsdg::ThetaNode::LoopVar::pre

Variable before iteration (input argument to subregion).

Definition at line 58 of file theta.hpp.

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