functional.cc: Explicit unsorted-pool-as-LIFO

KrystalDelusion · KrystalDelusion · commit 6e3922e1c76a · 2025-05-31T09:57:43.000+12:00
diff --git a/kernel/functional.cc b/kernel/functional.cc
@@ -518,6 +518,7 @@ class FunctionalIRConstruction {
 			if (cell->type.in(ID($assert), ID($assume), ID($live), ID($fair), ID($cover), ID($check)))
 				queue.emplace_back(cell);
 		}
+		// we are relying here on unsorted pools iterating last-in-first-out
 		for (auto riter = module->ports.rbegin(); riter != module->ports.rend(); ++riter) {
 			auto *wire = module->wire(*riter);
 			if (wire && wire->port_input) {

Original file line number	Diff line number	Diff line change
`@@ -518,6 +518,7 @@ class FunctionalIRConstruction {`
`518`	`518`	`if (cell->type.in(ID($assert), ID($assume), ID($live), ID($fair), ID($cover), ID($check)))`
`519`	`519`	`queue.emplace_back(cell);`
`520`	`520`	`}`
	`521`	`+ // we are relying here on unsorted pools iterating last-in-first-out`
`521`	`522`	`for (auto riter = module->ports.rbegin(); riter != module->ports.rend(); ++riter) {`
`522`	`523`	`auto wire = module->wire(riter);`
`523`	`524`	`if (wire && wire->port_input) {`