sole_chainable_consumer folded a cell into its consumer without ever
comparing widths. A link truncates its result at its own Y width, and that
truncation is invisible only when the consumer truncates at least as hard,
since (x % 2**link) % 2**parent == x % 2**parent holds only when
parent <= link. When the consumer is wider, the carry the link discards
becomes observable, and flattening the chain silently recovers it.
For
module top(input [7:0] a, b, c, output [8:0] o);
wire [7:0] t = a + b;
assign o = t + c;
endmodule
synth -arith_tree computes a + b + c where the design specifies
((a + b) % 256) + c. The two differ by 256 whenever a + b overflows,
for example at a=169 b=135 c=7.
alumacc already guards the structurally identical $macc merge using
macc_may_overflow(); arith_tree carried no equivalent check.
Add two cases to tests/arith_tree/arith_tree_equiv.ys: equiv_double_neg
widened to a 5 bit result, and a dedicated equiv_narrow_intermediate.
Daniel M Bouyou
Miodrag Milanovic
nella
Codexplorer