On 2012-07-29 15:56, Oleg Endo wrote: > + "&& can_create_pseudo_p ()" > + [(set (match_dup 5) (ashift:SI (match_dup 1) (match_dup 2))) > + (set (match_dup 6) (plus:SI (match_dup 5) (match_dup 3))) > + (set (match_dup 0) (mem:SI (plus:SI (match_dup 6) (match_dup 4))))]
Don't create new mems like this -- you've lost alias info. You need to use replace_equiv_address or something on the original memory. Which means you have to actually capture the memory operand somehow. Better to use a custom predicate to match these memories with these complex addresses, rather than list them out each time: [(set (match_operand:SI 0 "arith_reg_dest" "=r") (match_operand:SI 1 "mem_index_disp_operand" "m"))] r~