Scalus/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/UplcPipeline

UplcPipeline

scalus.compiler.sir.lowering.UplcPipeline

The single SIR -> UPLC pipeline, shared by scalus.uplc.CompiledPlutus and the sir.toUplc extensions:

EraseSpecifications -> removeTraces? -> BooleanOptimizer? -> MutualRecursionElimination -> StaticArgumentTransformation? -> lower(backend) -> optimize? -> fill positions

BooleanOptimizer and StaticArgumentTransformation both run when options.optimizeUplc is set. MutualRecursionElimination is unconditional (backends reject multi-binding recursive lets); running StaticArgumentTransformation after it lifts the peers-as-params static arguments MRE introduces. The backends keep their own MRE calls as safety nets for direct construction - MRE is idempotent, so the second call is a no-op walk.

ScalusTag is NOT applied here - it is a program-level concern (scalus.uplc.CompiledPlutus.program).

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: UplcPipeline.type

Members list

Value members

Concrete methods

The optimizer run should use when the caller has no version-specific one: V1/V2 -> scalus.uplc.transform.V1V2Optimizer (V3Optimizer's CaseConstrApply emits Case/Constr terms that are illegal before Plutus V3); otherwise scalus.uplc.transform.V3Optimizer configured from the options.

Attributes

Runs the full SIR -> UPLC pipeline.

Value parameters

language: the backend's target language, also selecting the default optimizer
optimizer: what runs when options.optimizeUplc is set and options.uplcOptimizers is empty (uplcOptimizers, when non-empty, replaces it)
options: drives every step (traces, optimization, backend, protocol version)
sir: the SIR to lower

Attributes

In this article

Generated with