aboutsummaryrefslogtreecommitdiff
path: root/src/main/stanza/compilers.stanza
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/stanza/compilers.stanza')
-rw-r--r--src/main/stanza/compilers.stanza40
1 files changed, 19 insertions, 21 deletions
diff --git a/src/main/stanza/compilers.stanza b/src/main/stanza/compilers.stanza
index 9e517f10..5cda6325 100644
--- a/src/main/stanza/compilers.stanza
+++ b/src/main/stanza/compilers.stanza
@@ -46,40 +46,38 @@ public defmethod backend (c:StandardVerilog) -> List<Pass> :
public defmethod passes (c:StandardVerilog) -> List<Pass> :
to-list $ [
;RemoveSpecialChars() ;R
- ;RemoveScopes() ;R
;CheckHighForm() ;R
;TempElimination() ;R ; Needs to check number of uses
ToWorkingIR() ;R -> W
ResolveKinds() ;W
InferTypes() ;R
ResolveGenders() ;W
+ InferWidths() ;R
+ Resolve()
;CheckGenders() ;W
;CheckKinds() ;W
;CheckTypes() ;R
- ;ExpandAccesses() ;W
- ExpandConnects() ;W
- RemoveAccesses()
- ResolveKinds() ;W
- InferTypes() ;R
- ResolveGenders() ;W
- ;LowerToGround() ;W
- ;ExpandIndexedConnects() ;W
- ;InferTypes() ;R
;CheckGenders() ;W
- ExpandWhens() ;W
- ResolveKinds() ;W
- InferTypes() ;R
- ResolveGenders() ;W
- InferWidths() ;R
+ ExpandConnects()
+ RemoveAccesses()
+ ExpandWhens()
+ ConstProp()
+ SplitExp()
+
+ ResolveKinds()
+ InferTypes()
+ ResolveGenders()
+ InferWidths()
+
+ LowerTypes()
+
+ ResolveKinds()
+ InferTypes()
+ ResolveGenders()
+ InferWidths()
;ToRealIR() ;W -> R
;CheckWidths() ;R
;Pad() ;R
- ConstProp() ;R
- SplitExp() ;R
- LowerTypes() ;R
- ResolveKinds() ;W
- InferTypes() ;R
- ResolveGenders() ;W
;CheckWidths() ;R
;CheckHighForm() ;R
;CheckLowForm() ;R