[−][src]Module moore_svlog::hir
The high-level intermediate representation for SystemVerilog.
After parsing the AST is lowered into this representation, eliminating a lot of syntactic sugar and resolving any syntactic ambiguities.
Structs
AccessTable | A table of accessed nodes. |
Arena | An arena to allocate HIR nodes into. |
Assign | A continuous assignment. |
EnumVariant | A single variant of an enum. |
Event | An individual event within an event expression. |
EventExpr | An event expression. |
Expr | An expression. |
Gen | A generate statement. |
GenvarDecl | A genvar declaration. |
Inst | An instantiation. |
InstTarget | An instantiation target. |
Module | A module. |
ModuleBlock | The contents of a module. |
Package | A package. |
Port | A module or interface port. |
Proc | A procedure. |
Stmt | A variable declaration. |
Type | A type. |
TypeParam | A type parameter. |
Typedef | A typedef. |
ValueParam | A value parameter. |
VarDecl | A variable declaration. |
Enums
AssignKind | The different forms an assignment can take. |
BinaryOp | The different binary operators. |
BuiltinCall | The different builtin function calls that are supported. |
BuiltinType | A builtin type. |
ExprKind | The different forms an expression can take. |
GenKind | The different forms a generate statement can take. |
Hint | A hint about how a node should be lowered to HIR. |
HirNode | A reference to an HIR node. |
IndexMode | The different forms an index expression can take. |
InsideRange | Single values or value ranges admissible in |
LoopKind | The different forms a loop can take. |
PatternMapping | A named pattern mapping. |
StmtKind | The different forms a statement can take. |
TimingControl | The different forms of timing control that can be applied to a statement. |
TypeKind | The different forms a type can take. |
UnaryOp | The different unary operators. |
Traits
Visitor | A visitor of the HIR. |
Functions
walk_assign | Walk the contents of an assignment. |
walk_event | Walk the contents of an event. |
walk_event_expr | Walk the contents of an event expression. |
walk_expr | Walk the contents of an expression. |
walk_module | Walk the contents of a module. |
walk_module_block | Walk the contents of a module block. |
walk_proc | Walk the contents of a procedure. |
walk_stmt | Walk the contents of a statement. |
walk_timing_control | Walk the contents of a timing control block. |
walk_typedef | Walk the contents of a typedef. |
walk_var_decl | Walk the contents of a variable declaration. |
Type Definitions
NamedParam | A named parameter. |
PosParam | A positional parameter. |