'rtgtest' Dialect

types and operations for random test generation testing

This dialect defines the rtgtest dialect, which provides a set of operation definitions to test the RTG dialect.

Operations ¶

rtgtest.cpu_decl (::circt::rtgtest::CPUDeclOp) ¶

Declare a CPU

Syntax:

operation ::= `rtgtest.cpu_decl` $id attr-dict

This operation is used to test the ContextResourceOpInterface and passes taking advantage of it.

Traits: AlwaysSpeculatableImplTrait, ConstantLike

Interfaces: ConditionallySpeculatable, ContextResourceOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes: ¶

Results: ¶

Types ¶

cpuType ¶

handle to a specific CPU

Syntax: !rtgtest.cpu

This type implements a specific context resource to test RTG operations taking context resources as operands (such as on_context) and other things requiring a concrete instance of a ContextResourceTypeInterface.