------- Comment #8 from ebotcazou at gcc dot gnu dot org 2005-10-11 13:51 ------- > Yes, I think the problem is in delay slot scheduling too. COND_EXPR means that > either branch must not be evaluated because it could be illegal; if you hoist > a > mem from a branch into the delay slot of the condition, you are effectively > partially evaluting the branch.
Yes, that makes sense. At the moment the predicate used in reorg.c is may_trap_p so we would need to detect faulting instructions too. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23585
