Show / Hide Table of Contents

    Class MemorySSA.Store

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

    Inheritance
    System.Object
    MemorySSA.Value
    MemorySSA.Store
    Inherited Members
    MemorySSA.Value.TryGetValueAt(ValueTag, FlowGraph, ValueTag)
    System.Object.ToString()
    System.Object.Equals(System.Object)
    System.Object.Equals(System.Object, System.Object)
    System.Object.ReferenceEquals(System.Object, System.Object)
    System.Object.GetHashCode()
    System.Object.GetType()
    System.Object.MemberwiseClone()
    Namespace: Flame.Compiler.Analysis
    Assembly: Flame.Compiler.dll
    Syntax
    public sealed class Store : MemorySSA.Value

    Constructors

    | Improve this Doc View Source

    Store(MemorySSA.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

    | Improve this Doc View Source

    Address

    Gets the address that is written to.

    Declaration
    public ValueTag Address { get; }
    Property Value
    Type Description
    ValueTag

    An address.

    | Improve this Doc View Source

    Operand

    Gets the memory SSA value that is updated.

    Declaration
    public MemorySSA.Value Operand { get; }
    Property Value
    Type Description
    MemorySSA.Value

    A memory state.

    | Improve this Doc View Source

    Value

    Gets the value that is stored at that address.

    Declaration
    public ValueTag Value { get; }
    Property Value
    Type Description
    ValueTag

    A value.

    Methods

    | Improve this Doc View Source

    WithStore(MemorySSA.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.

    • Improve this Doc
    • View Source
    Back to top Generated by DocFX