Dominik Vogt wrote: > +; Note: Although CONST_INT and CONST_DOUBLE are not handled in this > predicate, > +; at least one of them needs to appear or otherwise safe_predicate_mode will > +; assume that a DImode LABEL_REF is not accepted either (see genrecog.c).
The problem is not DImode LABEL_REFs, but rather VOIDmode LABEL_REFs when matched against a match_operand:DI. Otherwise, this patch is OK. Thanks, Ulrich -- Dr. Ulrich Weigand GNU/Linux compilers and toolchain ulrich.weig...@de.ibm.com