Improve log messages in equiv_make
authorClifford Wolf <clifford@clifford.at>
Fri, 19 Jan 2018 15:20:40 +0000 (16:20 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 19 Jan 2018 15:20:40 +0000 (16:20 +0100)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/equiv/equiv_make.cc

index 40ca42621ebc7d926330a1d7cdf2aea837738dca..b20463777410fb4a33bd323350b033e1559b5935 100644 (file)
@@ -260,11 +260,11 @@ struct EquivMakeWorker
 
                                for (int i = 0; i < wire->width; i++) {
                                        if (undriven_bits.count(assign_map(SigBit(gold_wire, i)))) {
-                                               log("  Skipping signal bit %d: undriven on gold side.\n", i);
+                                               log("  Skipping signal bit %s [%d]: undriven on gold side.\n", id2cstr(gold_wire->name), i);
                                                continue;
                                        }
                                        if (undriven_bits.count(assign_map(SigBit(gate_wire, i)))) {
-                                               log("  Skipping signal bit %d: undriven on gate side.\n", i);
+                                               log("  Skipping signal bit %s [%d]: undriven on gate side.\n", id2cstr(gate_wire->name), i);
                                                continue;
                                        }
                                        equiv_mod->addEquiv(NEW_ID, SigSpec(gold_wire, i), SigSpec(gate_wire, i), SigSpec(wire, i));