CIRCT

Circuit IR Compilers and Tools

'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.constant_test (::circt::rtgtest::ConstantTestOp) 

Syntax:

operation ::= `rtgtest.constant_test` type($result) attr-dict

Traits: AlwaysSpeculatableImplTrait, ConstantLike

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes: 

AttributeMLIR TypeDescription
value::mlir::Attributeany attribute

Results: 

ResultDescription
resultany type

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, HasParent<::circt::rtg::TargetOp>

Interfaces: ConditionallySpeculatable, ContextResourceOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes: 

AttributeMLIR TypeDescription
id::mlir::IntegerAttrindex attribute

Results: 

ResultDescription
cpuhandle to a specific CPU

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.