[LLVMbugs] [Bug 1564] opt -adce produces incorrect code

[bugzilla-daemon at cs.uiuc.edu]

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

nicholas at mxc.ca changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |



------- Additional Comments From nicholas at mxc.ca  2007-07-20 21:43 -------
Indeed. Devang, I think your analysis was wrong on a few points:

 - unreachable doesn't mean that the block has no predecessors
 - further, the unreachable in this case is entirely correct; the default case
*is* unreachable (i32 0 can't != i32 0)
 - if the switch was malformed, why didn't the verifier complain?
 - the switch doesn't pass control to two blocks, it passes it to the %loop
block because that's the case that applies

I'm reopening this bug.



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