On 11/30/2016 05:52 AM, Richard Biener wrote:
On Wed, Nov 30, 2016 at 1:46 PM, Segher Boessenkool
<seg...@kernel.crashing.org> wrote:
In the testcase, IRA propagates a constant into a TRAP_IF insn, which
then becomes an unconditional trap. Unconditional traps are control
flow insns so doing this requires surgery on the cfg.
Huh, that's an odd choice ;) I'd say TRAP_IF should be a control-flow insn
as well, but well...
Perhaps.
The situation with TRAP_IF reminds me a lot of an indirect call, which
after some kind of propagation turns into a direct call to a
non-returning function. It transforms from something that is not
control flow in the traditional sense to something we do consider
control flow.
Jeff
