Register allocation trouble

[Jeff Law]

On 07/21/2017 12:40 PM, Nathan Sidwell wrote:
> On 07/21/2017 07:50 AM, Andrew Stubbs wrote:
> 
>> (set (match_operand:SI "register_operand" "=a,b")
>>       (match_operand:SI "memory_operand"   "Ra,Rb"))
> 
> 
> How horrible would it be to split expose the entire mem:
> 
> (set (match_operand:SI "register" "=a,b")
>      (mem:SI (match_operand:SI "register" "a,b")))
> + variants for reg+const if you have them?
Doesn't that run afoul of the various restrictions on the movXX patterns?

jeff