On Thu, Jan 26, 2017 at 05:43:13PM +0100, Dominik Vogt wrote: > > If the predicates are supposed to ensure it, then I think the assert is > > fine. > > Is it guaranteed that the predicate conditions are evaluated > before executing the conditions? Yes. You can see it in insn-recog.c... Jakub