Add TODO to parse_xaiger

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 9c60966551e60214dff8e0977bf518f34c16ec26..c41772c92f9a2453bfa0265e16f9651c8fd8f6d0 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -398,6 +398,7 @@ void AigerReader::parse_xaiger()
                                                log_assert(wire);
                                                input_sig.append(wire);
                                        }
+                                       // TODO: Compute LUT mask from AIG in less than O(2 ** input_sig.size())
                                        ce.clear();
                                        ce.compute_deps(output_sig, input_sig.to_sigbit_pool());
                                        RTLIL::Const lut_mask(RTLIL::State::Sx, 1 << input_sig.size());