On Sat, Feb 09, 2019 at 04:11:43AM -0800, H.J. Lu wrote: > I believe all usages of > > (ior (match_operand 0 "ext_sse_reg_operand") > (match_operand 1 "ext_sse_reg_operand")) > > should be checked. I am not sure if they should be there at all.
E.g. in i386.md all the other spots look fine, because {DI,SI,DF,SF}mode is allowed in ext sse regs even with -mavx512f. And sse.md doesn't use this at all. What I'm wondering is if we need the sse.md (*mov<mode>_internal) code I've cited earlier, doing bootstrap/regtest now with gcc_unreachable in there (and in *mov{o,x}i_internal* for MODE_XI too) too see if it ever triggers. Jakub