Chris Fallin 953f83e6ac Cranelift: disallow marking entry block 'cold'. (#4659) ...

This is a nonsensical constraint: the entry block must come first in the
compiled code's layout, so it cannot also be sunk to the end of the
function.

This PR modifies the CLIF verifier to disallow this situation entirely.
It also adds an assert during final block-order computation to catch the
problem (and avoid a silent miscompile) even if the verifier is
disabled.

Fixes #4656.

2022-08-09 11:52:30 -07:00

..

flags.rs

Remove ancient register allocation (#3401)

2021-09-30 21:27:23 +02:00

mod.rs

Cranelift: disallow marking entry block 'cold'. (#4659)

2022-08-09 11:52:30 -07:00