Add FIXME about need for -mux4

diff --git a/Makefile b/Makefile
index fd4e90c1526e8c2fba622c744226dd7bbe269759..f363be208414c0282cdb0040d7187e458b07735f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 
-CONFIG := clang
-# CONFIG := gcc
+# CONFIG := clang
+CONFIG := gcc
 # CONFIG := gcc-4.8
 # CONFIG := afl-gcc
 # CONFIG := emcc

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index ede2bda1029c09deaff8bbe21823b3ea8139a8ba..db3f5b7e4ed9ee7cc9db8da703ee251f5f2fd34b 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -275,6 +275,8 @@ struct SynthXilinxPass : public ScriptPass
                        run("dff2dffe");
                        if (!nomux || help_mode) {
                                run("simplemap t:$mux", "                     (skip if -nomux)");
+                                             // FIXME: Must specify mux4, even if we don't need it,
+                                             //        otherwise it will use mux8 as mux4
                                run("muxcover -mux4=150 -mux8=200 -mux16=250 -dmux=0", "(skip if -nomux)");
                        }
                        run("opt -full");