https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
It's load motion: compute_ld_motion_mems fails to invalidate the MEM in the
REG_EQUAL note of

(insn 7 6 8 3 (parallel [
            (set (reg:DI 88 [ _4 ])
                (rotatert:DI (reg:DI 117 [ v32u64_1+24 ])
                    (const_int 19 [0x13])))
            (clobber (reg:CC 17 flags))
        ]) pr70007.c:10 607 {*rotrdi3_1}
     (expr_list:REG_DEAD (reg:DI 117 [ v32u64_1+24 ])
        (expr_list:REG_UNUSED (reg:CC 17 flags)
            (expr_list:REG_EQUAL (rotatert:DI (mem/j/c:DI (plus:DI (reg/f:DI 16
argp)
                            (const_int 88 [0x58])) [1 v32u64_1+24 S8 A64])
                    (const_int 19 [0x13]))
                (nil)))))

because the PATTERN is not a SET.

Reply via email to