Richard Sandiford wrote: > "Ulrich Weigand" <uweig...@de.ibm.com> writes: > > 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?
No, this seems to be a cross-platform issue. For one, RTX in .md files pretty much consistently uses (label_ref ...) without a mode. This means that any LABEL_REFs generated from .md file expanders or splitters will use VOIDmode. For LABEL_REFs generated via explicit gen_rtx_LABEL_REF, usage seems to be mixed between using VOIDmode and Pmode in target C++ files. Common code does seem to be using always Pmode, as far as I can see. Are LABEL_REFs in fact supposed to always have Pmode? Bye, Ulrich -- Dr. Ulrich Weigand GNU/Linux compilers and toolchain ulrich.weig...@de.ibm.com
