http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53823
--- Comment #2 from John David Anglin <danglin at gcc dot gnu.org> 2012-07-12
01:43:11 UTC ---
This hunk of RTL was generated in .expand for function f:
;; D.1356_3 = D.1355_2 * 2863311531;
(insn 9 8 10 (set (reg:SI 104)
(subreg:SI (reg:DI 96 [ D.1355 ]) 4))
/test/gnu/gcc/gcc/gcc/testsuite/gc
c.c-torture/execute/930921-1.c:4 -1
(nil))
(insn 10 9 11 (set (subreg:SI (reg:DI 97 [ D.1356 ]) 0)
(ashift:SI (reg:SI 104)
(const_int 31 [0x1f])))
/test/gnu/gcc/gcc/gcc/testsuite/gcc.c-torture/execute/930921-1.c:4 -1
(expr_list:REG_EQUAL (ashift:SI (subreg:SI (reg:DI 96 [ D.1355 ]) 4)
(const_int 31 [0x1f]))
(nil)))
(insn 11 10 0 (set (subreg:SI (reg:DI 97 [ D.1356 ]) 4)
(const_int 0 [0]))
/test/gnu/gcc/gcc/gcc/testsuite/gcc.c-torture/execute/930921-1.c:4 -1
(nil))
Looks wrong to me. Fails when x=1.