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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Fri Jul 20 19:43:22 PDT 2007


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.

More information about the llvm-bugs mailing list