Class MemorySSA.Store

A memory SSA value that represents an update of another memory SSA value.

Inheritance

object

MemorySSA.Value

MemorySSA.Store

Inherited Members

MemorySSA.Value.TryGetValueAt(ValueTag, FlowGraph, out ValueTag)

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public sealed class MemorySSA.Store : MemorySSA.Value

Constructors

Store(Value, ValueTag, ValueTag)

Creates a store.

Declaration

public Store(MemorySSA.Value operand, ValueTag address, ValueTag value)

Parameters

Type	Name	Description
MemorySSA.Value	operand	The memory state to update.
ValueTag	address	The address that is written to.
ValueTag	value	The value that is written to the address.

Properties

Address

Gets the address that is written to.

Declaration

public ValueTag Address { get; }

Property Value

Type	Description
ValueTag	An address.

Operand

Gets the memory SSA value that is updated.

Declaration

public MemorySSA.Value Operand { get; }

Property Value

Type	Description
MemorySSA.Value	A memory state.

Value

Gets the value that is stored at that address.

Declaration

public ValueTag Value { get; }

Property Value

Type	Description
ValueTag	A value.

Methods

WithStore(Value, ValueTag, ValueTag, FlowGraph)

Creates a memory SSA state that represents an existing state, updated by a store to a particular address. If the store is a no-op, then the current state is returned.

Declaration

public static MemorySSA.Value WithStore(MemorySSA.Value state, ValueTag address, ValueTag value, FlowGraph graph)

Parameters

Type	Name	Description
MemorySSA.Value	state	The state that gets updated.
ValueTag	address	The address to which value value is written.
ValueTag	value	A value that is written to an address.
FlowGraph	graph	The control-flow graph that performs the update.

Returns

Type	Description
MemorySSA.Value	A memory SSA state.