Commit [df2d63] Maximize Restore History

Insert explicit cut to width when needed

When modular arithmetic operations are replaced with specialised
modular variants, the result's bitwidth is determined by the variant,
and might be wider than expected. If necessary, insert an explicit
cut to the exact bitwidth before returning a value in a non-modular
context.

Spotted by pfdietz's random tester.

Fixes lp#1199428.

Paul Khuong Paul Khuong 2013-07-18

changed src/compiler/srctran.lisp
changed tests/compiler.pure.lisp
changed NEWS
src/compiler/srctran.lisp Diff Switch to side-by-side view
Loading...
tests/compiler.pure.lisp Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...