'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: ¶
Attribute | MLIR Type | Description |
---|---|---|
value | ::mlir::Attribute | any attribute |
Results: ¶
Result | Description |
---|---|
result | any 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: ¶
Attribute | MLIR Type | Description |
---|---|---|
id | ::mlir::IntegerAttr | index attribute |
Results: ¶
Result | Description |
---|---|
cpu | handle 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
.