Error on unreliable name generation in VIO blackbox

Fixes #2497
clash-lang · Jun 20, 2023 · 4a6a82a · 4a6a82a
1 parent 28f6649
commit 4a6a82a
Show file tree

Hide file tree

Showing 3 changed files with 44 additions and 0 deletions.
diff --git a/Xilinx/VIO/DuplicateInputNames.hs b/Xilinx/VIO/DuplicateInputNames.hs
@@ -0,0 +1,15 @@
+module DuplicateInputNames where
+
+import Clash.Prelude
+import Clash.Cores.Xilinx.VIO
+
+type Dom = XilinxSystem
+
+inNames = "a" :> "a" :> Nil
+outNames = "b" :> Nil
+
+topEntity ::
+  "clk" ::: Clock Dom ->
+  "in" ::: Signal Dom (Bit, Bit) ->
+  "out" ::: Signal Dom Bit
+topEntity = vioProbe @Dom inNames outNames 0
diff --git a/Xilinx/VIO/DuplicateInputOutputNames.hs b/Xilinx/VIO/DuplicateInputOutputNames.hs
@@ -0,0 +1,15 @@
+module DuplicateInputOutputNames where
+
+import Clash.Prelude
+import Clash.Cores.Xilinx.VIO
+
+type Dom = XilinxSystem
+
+inNames = "a" :> Nil
+outNames = "a" :> Nil
+
+topEntity ::
+  "clk" ::: Clock Dom ->
+  "in" ::: Signal Dom Bit ->
+  "out" ::: Signal Dom Bit
+topEntity = vioProbe @Dom inNames outNames 0
diff --git a/Xilinx/VIO/DuplicateOutputNames.hs b/Xilinx/VIO/DuplicateOutputNames.hs
@@ -0,0 +1,14 @@
+module DuplicateOutputNames where
+
+import Clash.Prelude
+import Clash.Cores.Xilinx.VIO
+
+type Dom = XilinxSystem
+
+inNames = Nil
+outNames = "a" :> "a" :> Nil
+
+topEntity ::
+  "clk" ::: Clock Dom ->
+  "out" ::: Signal Dom (Bit, Bit)
+topEntity = vioProbe @Dom inNames outNames (0, 0)