Re: [-fcompare-debug] find jump before debug insns in expand

2017-01-04 Thread Richard Biener
On Tue, Jan 3, 2017 at 6:28 AM, Alexandre Oliva wrote: > A debug insn after the final jump of a basic block may cause the > expander to emit a dummy move where the non-debug compile won't > because it finds the jump insn at the end of the insn stream. > > Fix the condition so that, instead of requ

Re: [-fcompare-debug] find jump before debug insns in expand

2017-01-03 Thread Alexandre Oliva
On Jan 3, 2017, Richard Sandiford wrote: >>&& (last = get_last_insn ()) >> - && JUMP_P (last)) >> + && (JUMP_P (last) >> + || (DEBUG_INSN_P (last) >> + && JUMP_P (prev_nondebug_insn (last) > Would it be worth adding a get_last_nondebug_insn in case other patt

Re: [-fcompare-debug] find jump before debug insns in expand

2017-01-03 Thread Richard Sandiford
Alexandre Oliva writes: > A debug insn after the final jump of a basic block may cause the > expander to emit a dummy move where the non-debug compile won't > because it finds the jump insn at the end of the insn stream. > > Fix the condition so that, instead of requiring the jump as the last > in

[-fcompare-debug] find jump before debug insns in expand

2017-01-02 Thread Alexandre Oliva
A debug insn after the final jump of a basic block may cause the expander to emit a dummy move where the non-debug compile won't because it finds the jump insn at the end of the insn stream. Fix the condition so that, instead of requiring the jump as the last insn, it also matches a jump followed