[LLVMbugs] [Bug 957] [simplifycfg] constantexpr divide evaluation made unconditional

[bugzilla-daemon at cs.uiuc.edu]

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

sabre at nondot.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
            Summary|[simplifycfg] miscompilation|[simplifycfg] constantexpr
                   |                            |divide evaluation made
                   |                            |unconditional
   Target Milestone|---                         |1.9



------- Additional Comments From sabre at nondot.org  2006-10-19 19:44 -------
select is closest to a conditional move.  Given two values (which are precomputed) it picks one.  Select 
itself doesn't have a notion of control flow, a constant expr is a value like any other, which needs to be 
evaluated.

Fixed.  Patch here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20061016/038778.html

testcase here: SimplifyCFG/2006-10-19-UncondDiv.ll

-Chris




------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.