On 10/22/2013 12:18 PM, Jeff Law wrote: >> The only way I could think to positively ensure that normal operations >> didn't get implemented via mpx insns is to describe the new patterns >> with distinct modes. > Presumably once we have a distinct mode, we do the right magic in > HARD_REGNO_MODE_OK and that's how you get your guarantee. I'm assuming we're > exposing these to the register allocator (I haven't looked at the full series > yet).
Yeah, the register allocator was supposed to be involved. (And I need to review the series myself.) > Presumably you need a distinct mode coming out of the front-end/gimple to > ensure we get the new mode in RTL. Yes, which is where I believe the new types come from as well. r~