createWrite

abstract fun createWrite(generator: L2Generator, semanticValues: Set<L2SemanticValue>, restriction: TypeRestriction, forceRegister: R? = null): WR

Synthesize an L2WriteOperand of the appropriately strengthened type WR.

Return

A new L2WriteOperand of the appropriate type WR.

Parameters

generator

The L2Generator used for creating the write.

semanticValues

The L2SemanticValues to populate.

restriction

The TypeRestriction that the stored values will satisfy.

forceRegister

If specified and non-null, this is the register to be written. Otherwise, a new one will be allocated.