This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/49721] convert_memory_address_addr_space may generate invalid new insns
- From: "ubizjak at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 2 Aug 2011 19:19:08 +0000
- Subject: [Bug middle-end/49721] convert_memory_address_addr_space may generate invalid new insns
- Auto-submitted: auto-generated
- References: <bug-49721-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49721
--- Comment #11 from Uros Bizjak <ubizjak at gmail dot com> 2011-08-02 19:19:06 UTC ---
So, we have:
(insn 129 128 131 2 (set (reg:DI 276)
(sign_extend:DI (reg:SI 277))) pr49721.f:10 123 {*extendsidi2_rex64}
(expr_list:REG_DEAD (reg:SI 277)
(nil)))
...
(insn 132 131 133 2 (set (reg:SF 279)
(mult:SF (reg:SF 146 [ D.1599 ])
(reg:SF 280))) pr49721.f:10 732 {*fop_sf_comm_sse}
(expr_list:REG_DEAD (reg:SF 146 [ D.1599 ])
(expr_list:REG_EQUAL (mult:SF (reg:SF 146 [ D.1599 ])
(const_double:SF +Inf [+Inf]))
(nil))))
(insn 133 132 134 2 (set (mem/s:SF (plus:DI (reg:DI 276)
(symbol_ref:DI ("xq.1569") [flags 0x2] <var_decl
0x7ffdb8bcaaa0 xq>)) [3 xq S4 A32])
(reg:SF 279)) pr49721.f:10 107 {*movsf_internal}
(expr_list:REG_DEAD (reg:SF 279)
(expr_list:REG_DEAD (reg:DI 276)
(nil))))
And combine creates:
Trying 132, 129 -> 133:
...
Successfully matched this instruction:
(set (reg:DI 279)
(sign_extend:DI (reg:SI 277)))
Failed to match this instruction:
(set (mem/s:SF (plus:DI (reg:DI 279)
(symbol_ref:DI ("xq.1569") [flags 0x2] <var_decl 0x7f9a07ef3aa0
xq>)) [3 xq S4 A32])
(mult:SF (reg:SF 146 [ D.1599 ])
(reg:SF 280)))
A ... WHAT?