[LLVMbugs] [Bug 10814] New: MachineSink creates zombie defines

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=10814

           Summary: MachineSink creates zombie defines
           Product: new-bugs
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: release blocker
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: jan_sjodin at yahoo.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=7182)
 --> (http://llvm.org/bugs/attachment.cgi?id=7182)
Fix for the bug

After a critical edge split the flags of the successor were not reflected in
the new block, which allowed later instructions to sink even though they write
the EFLAGS.
The example below shows the problem. Unfortunately there is a test that relies
on this bug, although the problem is that the EFLAGS are live-in when they
should not be. The patch disables this test for now.

I attached a fix for the bug, however it was not accepted yet since it makes
the test XFAIL, and I (still ) do not have time to fix it, but I don't want the
issue ot be fogotten, so I created the bug report instead.

See:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110725/125216.html

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.