Skip to content

Instantly share code, notes, and snippets.

@martijnbastiaan

martijnbastiaan/gist:e5dbfc0b11f0deb7fd3e065b056d5c40

Created May 18, 2018 15:56
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save martijnbastiaan/e5dbfc0b11f0deb7fd3e065b056d5c40 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save martijnbastiaan/e5dbfc0b11f0deb7fd3e065b056d5c40 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Up to date
Loading dependencies took 0.742528095s
Parsing and compiling primitives took 0.067847811s
Compiling: MAC.topEntity
Ignoring .manifest files
MAC.topEntity8214565720323808422 before normalization:
λ(clk :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom A 5000)
Clash.Signal.Internal.Source) ->
λ(rst :: Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom A 5000)
Clash.Signal.Internal.Asynchronous) ->
letrec
ds :: GHC.Tuple.(,,)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool)
= Clash.Intel.ClockGen.alteraPll
@(GHC.Tuple.(,,)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool))
@altpll50to100
@(Clash.Signal.Internal.Dom A 5000)
(ΛpllIn ->
Clash.Clocks.clocks2 @pllIn
@(Clash.Signal.Internal.Dom B 10000)
@(Clash.Signal.Internal.Dom C 15000)
@(Clash.Signal.Internal.Dom B 10000))
(Clash.Promoted.Symbol.SSymbol @altpll50to100
MAC.topEntity18214565720323825949)
clk
rst
in letrec
pllOut :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool
= case ds of
GHC.Tuple.(,,)
(clk1 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(clk2 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(pllOut1 :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
pllOut1
in letrec
clk1 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source
= case ds of
GHC.Tuple.(,,)
(clk2 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(clk3 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(pllOut1 :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
clk2
in GHC.Tuple.(,)
@(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Int)
@(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom C 15000)
GHC.Types.Int)
(MAC.mac8214565720323808421
@(Clash.Signal.Internal.Dom B 10000)
@Clash.Signal.Internal.Source
@Clash.Signal.Internal.Asynchronous
@(GHC.Types.Any
(GHC.Prim.TYPE GHC.Types.LiftedRep))
(GHC.Classes.C:(%,%)
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous))
clk1
(Clash.Signal.Internal.unsafeToAsyncReset
@(Clash.Signal.Internal.Dom B 10000)
pllOut))
(GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(GHC.Types.I#
3)
(GHC.Types.I#
3)))
(letrec
clk2 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source
= case ds of
GHC.Tuple.(,,)
(clk4 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(clk5 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(pllOut1 :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
clk5
in MAC.mac8214565720323808421
@(Clash.Signal.Internal.Dom C 15000)
@Clash.Signal.Internal.Source
@Clash.Signal.Internal.Asynchronous
@(GHC.Types.Any
(GHC.Prim.TYPE GHC.Types.LiftedRep))
(GHC.Classes.C:(%,%)
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous))
clk2
(Clash.Signal.Internal.unsafeToAsyncReset
@(Clash.Signal.Internal.Dom C 15000)
(Clash.Explicit.Signal.unsafeSynchronizer
@(Clash.Signal.Internal.Dom B 10000)
@Clash.Signal.Internal.Source
@(Clash.Signal.Internal.Dom C 15000)
@Clash.Signal.Internal.Source
@GHC.Types.Bool
clk1
clk2
pllOut)))
(GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(GHC.Types.I#
8)
(GHC.Types.I#
8)))
MAC.topEntity8214565720323808422 after normalization:
λ(clk :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom A 5000)
Clash.Signal.Internal.Source) ->
λ(rst :: Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom A 5000)
Clash.Signal.Internal.Asynchronous) ->
letrec
result1 :: GHC.Tuple.(,)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Int)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom C 15000)
GHC.Types.Int)
= GHC.Tuple.(,)
@(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Int)
@(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom C 15000)
GHC.Types.Int)
#app_arg2
result
#app_arg2 :: GHC.Types.Int
= MAC.mac10
(GHC.Classes.C:(%,%)
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous))
clk2
#app_arg1)
result :: GHC.Types.Int
= MAC.mac12
(GHC.Classes.C:(%,%)
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous))
clk5
#app_arg)
#app_arg1 :: Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous
= Clash.Signal.Internal.unsafeToAsyncReset
@(Clash.Signal.Internal.Dom B 10000)
pllOut1
#app_arg :: Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous
= Clash.Signal.Internal.unsafeToAsyncReset
@(Clash.Signal.Internal.Dom C 15000)
(Clash.Explicit.Signal.unsafeSynchronizer
@(Clash.Signal.Internal.Dom B 10000)
@Clash.Signal.Internal.Source
@(Clash.Signal.Internal.Dom C 15000)
@Clash.Signal.Internal.Source
@GHC.Types.Bool
(Clash.Transformations.removedArg
@(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
(Clash.Transformations.removedArg
@(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
pllOut1)
clk5 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source
= case ds of
GHC.Tuple.(,,)
(#wild1 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(#sel :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(#wild :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
#sel
clk2 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source
= case ds of
GHC.Tuple.(,,)
(#sel :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(#wild1 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(#wild :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
#sel
pllOut1 :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool
= case ds of
GHC.Tuple.(,,)
(#wild1 :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(#wild :: Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(#sel :: Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool) ->
#sel
ds :: GHC.Tuple.(,,)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool)
= Clash.Intel.ClockGen.alteraPll
@(GHC.Tuple.(,,)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source)
(Clash.Signal.Internal.Signal
(Clash.Signal.Internal.Dom B 10000)
GHC.Types.Bool))
@altpll50to100
@(Clash.Signal.Internal.Dom A 5000)
#MAC.topEntity_specF13
(Clash.Transformations.removedArg
@(Clash.Promoted.Symbol.SSymbol altpll50to100))
clk
rst
in result1
MAC.mac10 before normalization:
λ($d(%,%) :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous))) ->
(Λdomain ->
Λgated ->
Λsynchronous ->
Λn ->
λ($d(%,%)1 :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))) ->
λ(eta :: Clash.Signal.Internal.Signal
domain
(GHC.Tuple.(,) GHC.Types.Int GHC.Types.Int)) ->
Clash.Explicit.Mealy.mealy8214565720323789035
@domain
@gated
@synchronous
@GHC.Types.Int
@(GHC.Tuple.(,) GHC.Types.Int GHC.Types.Int)
@GHC.Types.Int
(GHC.Classes.$p1(%,%)8214565720323787326
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))
$d(%,%)1)
(GHC.Classes.$p2(%,%)8214565720323787324
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))
$d(%,%)1)
(λ(acc :: GHC.Types.Int) ->
λ(ds :: GHC.Tuple.(,)
GHC.Types.Int
GHC.Types.Int) ->
case ds of
GHC.Tuple.(,) (x :: GHC.Types.Int)
(y :: GHC.Types.Int) ->
GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(case acc of
GHC.Types.I# (x1 :: GHC.Prim.Int#) ->
case x of
GHC.Types.I# (x2 :: GHC.Prim.Int#) ->
case y of
GHC.Types.I# (y1 :: GHC.Prim.Int#) ->
GHC.Types.I#
(GHC.Prim.+#
x1
(GHC.Prim.*#
x2
y1)))
acc)
(GHC.Types.I#
0)
eta)
@(Clash.Signal.Internal.Dom B 10000)
@Clash.Signal.Internal.Source
@Clash.Signal.Internal.Asynchronous
@(GHC.Types.Any
(GHC.Prim.TYPE GHC.Types.LiftedRep))
$d(%,%)
(GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(GHC.Types.I#
3)
(GHC.Types.I#
3))
MAC.mac10 after normalization:
λ($d(%,%) :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous))) ->
letrec
result :: GHC.Types.Int
= Clash.Explicit.Mealy.mealy77
(case $d(%,%) of
GHC.Classes.C:(%,%) (#sel :: GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
(#wild :: GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous)) ->
#sel)
(case $d(%,%) of
GHC.Classes.C:(%,%) (#wild :: GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Source))
(#sel :: GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom B 10000)
Clash.Signal.Internal.Asynchronous)) ->
#sel)
in result
MAC.mac12 before normalization:
λ($d(%,%) :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous))) ->
(Λdomain ->
Λgated ->
Λsynchronous ->
Λn ->
λ($d(%,%)1 :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))) ->
λ(eta :: Clash.Signal.Internal.Signal
domain
(GHC.Tuple.(,) GHC.Types.Int GHC.Types.Int)) ->
Clash.Explicit.Mealy.mealy8214565720323789035
@domain
@gated
@synchronous
@GHC.Types.Int
@(GHC.Tuple.(,) GHC.Types.Int GHC.Types.Int)
@GHC.Types.Int
(GHC.Classes.$p1(%,%)8214565720323787326
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))
$d(%,%)1)
(GHC.Classes.$p2(%,%)8214565720323787324
@(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock domain gated))
@(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
domain
synchronous))
$d(%,%)1)
(λ(acc :: GHC.Types.Int) ->
λ(ds :: GHC.Tuple.(,)
GHC.Types.Int
GHC.Types.Int) ->
case ds of
GHC.Tuple.(,) (x :: GHC.Types.Int)
(y :: GHC.Types.Int) ->
GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(case acc of
GHC.Types.I# (x1 :: GHC.Prim.Int#) ->
case x of
GHC.Types.I# (x2 :: GHC.Prim.Int#) ->
case y of
GHC.Types.I# (y1 :: GHC.Prim.Int#) ->
GHC.Types.I#
(GHC.Prim.+#
x1
(GHC.Prim.*#
x2
y1)))
acc)
(GHC.Types.I#
0)
eta)
@(Clash.Signal.Internal.Dom C 15000)
@Clash.Signal.Internal.Source
@Clash.Signal.Internal.Asynchronous
@(GHC.Types.Any
(GHC.Prim.TYPE GHC.Types.LiftedRep))
$d(%,%)
(GHC.Tuple.(,) @GHC.Types.Int @GHC.Types.Int
(GHC.Types.I#
8)
(GHC.Types.I#
8))
MAC.mac12 after normalization:
λ($d(%,%) :: GHC.Classes.(%,%)
(GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
(GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous))) ->
letrec
result :: GHC.Types.Int
= Clash.Explicit.Mealy.mealy108
(case $d(%,%) of
GHC.Classes.C:(%,%) (#sel :: GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
(#wild :: GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous)) ->
#sel)
(case $d(%,%) of
GHC.Classes.C:(%,%) (#wild :: GHC.Classes.IP
clk
(Clash.Signal.Internal.Clock
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Source))
(#sel :: GHC.Classes.IP
rst
(Clash.Signal.Internal.Reset
(Clash.Signal.Internal.Dom C 15000)
Clash.Signal.Internal.Asynchronous)) ->
#sel)
in result
#MAC.topEntity_specF13 before normalization:
ΛpllIn ->
Clash.Clocks.clocks2 @pllIn
@(Clash.Signal.Internal.Dom B 10000)
@(Clash.Signal.Internal.Dom C 15000)
@(Clash.Signal.Internal.Dom B 10000)
#MAC.topEntity_specF13 after normalization:
ΛpllIn ->
Clash.Clocks.clocks2 @pllIn
@(Clash.Signal.Internal.Dom B 10000)
@(Clash.Signal.Internal.Dom C 15000)
@(Clash.Signal.Internal.Dom B 10000)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment