On 01/26/2017 09:42 PM, Dominik Vogt wrote: > On Thu, Jan 26, 2017 at 05:45:18PM +0100, Jakub Jelinek wrote: >> 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... > > Updated patch attached. > > changes: > > * Don't remove assertion. > * Use simplified test case. > > Bootstrapped and regression tested on a zEC12 with s390x biarch > and s390.
Applied. Thanks! -Andreas-
