in reorg.c:3155 there is the following code: /* If we reach a CALL which is not calling a const function or the callee pops the arguments, then give up. */ if (CALL_P (our_prev) && (! CONST_OR_PURE_CALL_P (our_prev) || GET_CODE (pat) != SET || GET_CODE (SET_SRC (pat)) != CALL)) break;
The comment talks about const calls, but the code breaks if the call is either a pure or const call.
Which is correct? Kenny