blob: e55f43c1f7ee388e825c22d8518423427e76d89b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
defpackage firrtl/compiler :
import core
import verse
import firrtl/passes
import firrtl/errors
import firrtl/flo
import firrtl/verilog
import firrtl/ir2
import firrtl/ir-utils
public defstruct StandardFlo <: Compiler :
with-output : (() -> False) -> False with: (as-method => true)
public defmethod passes (c:StandardFlo) -> List<Pass> :
to-list $ [
RemoveSpecialChars()
RemoveScopes()
CheckHighForm()
;; TempElimination()
ToWorkingIR()
ResolveKinds()
CheckKinds()
InferTypes()
CheckTypes()
ResolveGenders()
CheckGenders()
ExpandAccessors()
LowerToGround()
ExpandIndexedConnects()
ExpandWhens()
InferWidths()
Pad()
Inline()
SplitExp()
ToRealIR()
;RemoveSpecialChars()
CheckHighForm()
CheckLowForm()
Flo(with-output(c))
]
public defstruct StandardVerilog <: Compiler :
with-output : (() -> False) -> False with: (as-method => true)
public defmethod passes (c:StandardVerilog) -> List<Pass> :
to-list $ [
RemoveSpecialChars()
RemoveScopes()
CheckHighForm()
TempElimination()
ToWorkingIR()
;; MakeExplicitReset()
ResolveKinds()
CheckKinds()
InferTypes()
CheckTypes()
ResolveGenders()
CheckGenders()
ExpandAccessors()
LowerToGround()
ExpandIndexedConnects()
InferTypes()
CheckGenders()
ExpandWhens()
InferWidths()
Pad()
SplitExp()
ToRealIR()
;RemoveSpecialChars()
CheckHighForm()
CheckLowForm()
CheckInitialization()
Verilog(with-output(c))
]
;============= DRIVER ======================================
public defn run-passes (c:Circuit,comp:Compiler) :
run-passes(c,passes(comp))
public defn run-passes (c:Circuit,ls:List<Pass>) :
var c*:Circuit = c
println("Compiling!")
if PRINT-CIRCUITS : println("Original Circuit")
if PRINT-CIRCUITS : print(c)
;val start-time = current-time-us()
val start-time = to-int(to-string(current-time-us() / to-long(1000)))
var t = start-time
val time-table = Vector<[String,Int]>()
for p in ls do :
println-all(["Starting " name(p)])
if PRINT-CIRCUITS : println(name(p))
c* = pass(p)(c*)
if PRINT-CIRCUITS : print(c*)
val current-time = to-int(to-string(current-time-us() / to-long(1000)))
println-all(["Finished " name(p)])
println-all(["Milliseconds since start: " current-time - start-time])
println-all(["Milliseconds for this pass: " current-time - t])
println-all(["\n"])
add(time-table,[name(p), current-time - t])
t = current-time
println("===== Time Breakdown =====")
for x in time-table do :
println-all([x[0] " --- " to-float(x[1] as Int * 100) / to-float(t - start-time) "%"])
println("==========================")
println("Done!")
|
