diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-16 22:22:29 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-16 22:22:29 -0800 |
| commit | 82459c16c482ad9115c742d726fd1f46527a3bab (patch) | |
| tree | ca8b0117630589579271fefdb08cba7cd9e4e2e2 | |
| parent | 30f1204721ed592256ddde04f22dd40888b9e27c (diff) | |
| download | yosys-82459c16c482ad9115c742d726fd1f46527a3bab.tar.gz yosys-82459c16c482ad9115c742d726fd1f46527a3bab.tar.bz2 yosys-82459c16c482ad9115c742d726fd1f46527a3bab.zip | |
In read_xaiger, do not construct ConstEval for every LUT
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index dffbd3590..8014dd303 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -290,6 +290,7 @@ void AigerReader::parse_xaiger() uint32_t lutNum = parse_xaiger_literal(f); uint32_t lutSize = parse_xaiger_literal(f); log_debug("m: dataSize=%u lutNum=%u lutSize=%u\n", dataSize, lutNum, lutSize); + ConstEval ce(module); for (unsigned i = 0; i < lutNum; ++i) { uint32_t rootNodeID = parse_xaiger_literal(f); uint32_t cutLeavesM = parse_xaiger_literal(f); @@ -305,7 +306,6 @@ void AigerReader::parse_xaiger() input_sig.append(wire); } RTLIL::Const lut_mask(RTLIL::State::Sx, 1 << input_sig.size()); - ConstEval ce(module); for (int j = 0; j < (1 << cutLeavesM); ++j) { ce.push(); ce.set(input_sig, RTLIL::Const{j, static_cast<int>(cutLeavesM)}); |