Class MemorySpecification

A base class for descriptions of how an instruction interacts with memory.

Inheritance

object

MemorySpecification

MemorySpecification.ArgumentRead

MemorySpecification.ArgumentWrite

MemorySpecification.Union

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public abstract class MemorySpecification

Fields

Nothing

A memory access spec that indicates that an instruction neither reads from or writes to memory.

Declaration

public static readonly MemorySpecification Nothing

Field Value

Type	Description
MemorySpecification	A memory access spec that represents a memory-unrelated operation.

Unknown

A memory access spec that indicates that the memory access behavior of an instruction is unknown.

Declaration

public static readonly MemorySpecification Unknown

Field Value

Type	Description
MemorySpecification	A memory access spec that represents an unknown operation.

UnknownRead

A memory access spec that identifies a read from an unknown location.

Declaration

public static readonly MemorySpecification UnknownRead

Field Value

Type	Description
MemorySpecification	A memory access spec that represents an unknown read.

UnknownWrite

A memory access spec that identifies a write to an unknown location.

Declaration

public static readonly MemorySpecification UnknownWrite

Field Value

Type	Description
MemorySpecification	A memory access spec that represents an unknown write.

Properties

MayRead

Tells if this memory access spec implies that the instruction it is attached to might read from some address.

Declaration

public abstract bool MayRead { get; }

Property Value

Type	Description
bool	true if the instruction might read; otherwise, false.

MayWrite

Tells if this memory access spec implies that the instruction it is attached to might write to some address.

Declaration

public abstract bool MayWrite { get; }

Property Value

Type	Description
bool	true if the instruction might write; otherwise, false.