Class MemorySSA

A mapping of instructions to memory SSA states.

Inheritance

object

MemorySSA

Inherited Members

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

Constructors

| Edit this page View Source

MemorySSA(ImmutableDictionary<BasicBlockTag, Value>, ImmutableDictionary<ValueTag, Value>)

Creates a memory SSA mapping.

Declaration

public MemorySSA(ImmutableDictionary<BasicBlockTag, MemorySSA.Value> blockValues, ImmutableDictionary<ValueTag, MemorySSA.Value> instructionValues)

Parameters

Type	Name	Description
ImmutableDictionary<BasicBlockTag, MemorySSA.Value>	blockValues	A mapping of basic block entry points to memory states.
ImmutableDictionary<ValueTag, MemorySSA.Value>	instructionValues	A mapping of instructions to memory states.

Properties

| Edit this page View Source

BlockValues

Gets the mapping of basic block entry points to memory states.

Declaration

public ImmutableDictionary<BasicBlockTag, MemorySSA.Value> BlockValues { get; }

Property Value

Type	Description
ImmutableDictionary<BasicBlockTag, MemorySSA.Value>	An immutable dictionary.

| Edit this page View Source

InstructionValues

Gets the mapping of instructions to memory states.

Declaration

public ImmutableDictionary<ValueTag, MemorySSA.Value> InstructionValues { get; }

Property Value

Type	Description
ImmutableDictionary<ValueTag, MemorySSA.Value>	An immutable dictionary.

Methods

| Edit this page View Source

GetMemoryAfter(NamedInstruction)

Gets the memory state after a particular instruction has executed.

Declaration

public MemorySSA.Value GetMemoryAfter(NamedInstruction instruction)

Parameters

Type	Name	Description
NamedInstruction	instruction	An instruction.

Returns

Type	Description
MemorySSA.Value	A memory state.

| Edit this page View Source

GetMemoryAfter(NamedInstructionBuilder)

Gets the memory state after a particular instruction has executed.

Declaration

public MemorySSA.Value GetMemoryAfter(NamedInstructionBuilder instruction)

Parameters

Type	Name	Description
NamedInstructionBuilder	instruction	An instruction.

Returns

Type	Description
MemorySSA.Value	A memory state.

| Edit this page View Source

GetMemoryAtEntry(BasicBlockTag)

Gets the memory state at the start of a particular basic block.

Declaration

public MemorySSA.Value GetMemoryAtEntry(BasicBlockTag block)

Parameters

Type	Name	Description
BasicBlockTag	block	A basic block.

Returns

Type	Description
MemorySSA.Value	A memory state.

| Edit this page View Source

GetMemoryBefore(NamedInstruction)

Gets the memory state before a particular instruction has executed.

Declaration

public MemorySSA.Value GetMemoryBefore(NamedInstruction instruction)

Parameters

Type	Name	Description
NamedInstruction	instruction	An instruction.

Returns

Type	Description
MemorySSA.Value	A memory state.

| Edit this page View Source

GetMemoryBefore(NamedInstructionBuilder)

Gets the memory state before a particular instruction has executed.

Declaration

public MemorySSA.Value GetMemoryBefore(NamedInstructionBuilder instruction)

Parameters

Type	Name	Description
NamedInstructionBuilder	instruction	An instruction.

Returns

Type	Description
MemorySSA.Value	A memory state.