Class MemorySpecification

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

Inheritance

System.Object

MemorySpecification

MemorySpecification.ArgumentRead

MemorySpecification.ArgumentWrite

MemorySpecification.Union

Inherited Members

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 abstract class MemorySpecification

Fields

| Improve this Doc View Source

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.

| Improve this Doc View Source

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.

| Improve this Doc View Source

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.

| Improve this Doc View Source

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

| Improve this Doc View Source

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
System.Boolean	`true` if the instruction might read; otherwise, `false`.

| Improve this Doc View Source

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
System.Boolean	`true` if the instruction might write; otherwise, `false`.