Commit [be3993] Maximize Restore History

Avoid uselessly re-scanning modular arithmetic expressions

When modular arithmetic transforms have already fired for a
subexpression, and that subexpression's width is at most as wide
as the bitwidth we're cutting to, there is no need to re-traverse
the subexpression.

There was already some code to detect that case. Make it more general,
and, more importantly, sound.

Paul Khuong Paul Khuong 2013-07-18

changed src/compiler/srctran.lisp
src/compiler/srctran.lisp Diff Switch to side-by-side view