[Bug rtl-optimization/23567] [3.4/4.0/4.1 regression] if-conversion causes wrong code

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2005-11-07 08:02 -------
Subject: Bug 23567

Author: jakub
Date: Mon Nov  7 08:01:54 2005
New Revision: 106585

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106585
Log:
        PR rtl-optimization/23567
        * ifcvt.c (noce_mem_write_may_trap_or_fault_p): New function.
        (noce_process_if_block): Don't do any optimizations except
        if (cond) x = x; if !set_b and write into orig_x may trap
        or fault.  Remove the MEM_READONLY_P check.

        * gcc.c-torture/execute/20051104-1.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/20051104-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ifcvt.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23567