"Ulrich Weigand" <uweig...@de.ibm.com> writes: > 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.
It'd be good to fix this in a more direct way though, rather than hack around it. It's possible that the trick will stop working if genrecog.c gets smarter. When do label_refs have VOIDmode? Is this an m31-ism? Thanks, Richard
