docs/scalus/scalus.compiler.sir/scalus.compiler.sir.lowering/LoweredValue

LoweredValue

scalus.compiler.sir.lowering.LoweredValue

See theLoweredValue companion object

SEA of nodes - like representation. E.e. each value is node, which manage dependencies. LoweredValue:

represents a value in lowered SIR, which is
a generator of a block of code with generate specific SIRType in specific representation. -- (representation is LoweredValueRepresentation, which can be term or data in specific encoding)
some lowered values can be named (see IdentifiableLoweredValue and maintain a set of dependencies) The idea of SEA of nodes -- than we can generate code 'by need' based on dependencies. I.e. if value not used at all - code will not be generated, if value used once -- no intermediate construction will be created and code will be generated directly in place of usage. If value used multiple times -- it will be generated near the usage (i.e. in the nearest block, which contains all depended).

The idea of SEA of nodes described in the paper: Cliff Click. 1995. Global code motion/global value numbering. SIGPLAN Not. 30, 6 (June 1995), 246–257. "https://doi.org/10.1145/223428.207154"

We have a quite different code (non-SSA form, only dominators), but the main idea of relaxing order is the same,

Attributes

Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait ComplexLoweredValue

class MapMatchLoweredValue

class MatchPairDataLoweredValue

class ApplyLoweredValue

class BuiltinApplyLoweredValue

class BuilinApply1LoweredVale

class BuilinApply2LoweredVale

class CaseBooleanLoweredValue

class CaseDataLoweredValue

class CaseIntegerLoweredValue

class CaseListLoweredValue

class CasePairLoweredValue

class ChooseListLoweredValue

class IfThenElseLoweredValue

class LambdaLoweredValue

class LetNonRecLoweredValue

class LetRecLoweredValue

class ScopeBracketsLoweredValue

class ConstantLoweredValue

trait IdentifiableLoweredValue

class DependendVariableLoweredValue

class VariableLoweredValue

trait ProxyLoweredValue

class ArgProxyLoweredValue

class WrappedArg

class BaseRepresentationProxyLoweredValue

class RepresentationProxyLoweredValue

class DelayLoweredValue

class ForceLoweredValue

class TypeRepresentationProxyLoweredValue

class StaticLoweredValue
Show all

Members list

Value members

Abstract methods

add identifiable variable to be updated from this variable

Attributes

Pretty print this value with all definitona

Value parameters

style

style of printing

Attributes

Pretty print reference to value

Value parameters

style

style of printing

Attributes

Uplevel variables, that should be generated before generation of term

Attributes

Internal variables, that are used inside this value.

Attributes

Is this value effort-less to compute (i.e. constant or variable or lambda)

Attributes

Variables, that are directly defined in this value.

Attributes

The type of representation of this value.

Attributes

Generates the term for this value.

Attributes

Uplevel variables, that are used in this value.

Attributes

Concrete methods

Upcast the value to the target type if needed.

Attributes

The UPLC term that represents this value, wrapped in vars if needed.

Value parameters

gctx

context for term generation

Attributes

Returns: generated term wrapped in lambdas with definition of needed uplevel variables

Convert this value to the giveb representation,

Attributes

Concrete fields

In this article

Generated with