[−][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.

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 `inside` sets.
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.

A visitor of the HIR.

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.

NamedParam	A named parameter.
PosParam	A positional parameter.