> So if the OImode pun above fails "gracefully" that very same path could do > this element extraction? So I wonder if some refactoring of cases in > bitfield extraction/subreg simplification could mitigate that, esp. when those > pesky large integer modes are otherwise involved?
The pun is only the fallback when vec-vec and vec-el have failed, so arguably it's already in the right spot. IMHO, the new hunk would fit right before we try vec-vec in extract_bit_field_1, but without gimple, we'd need to ask the target whether a particular mode is a tuple mode or not. Or is there some generic way to know that? I could pass the gimple exp to extract_bit_field_1 but this looks a bit "against the grain", seeing all the other extract functions only operate on rtl. -- Regards Robin
