| ; This tests that unreachable basic blocks are pruned from the CFG, so that |
| ; liveness analysis doesn't detect inconsistencies. |
| |
| ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 | FileCheck %s |
| ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 | FileCheck %s |
| |
| declare void @abort() |
| |
| define i32 @unreachable_block() { |
| entry: |
| ; ret_val has no reaching uses and so its assignment may be |
| ; dead-code eliminated. |
| %ret_val = add i32 undef, undef |
| call void @abort() |
| unreachable |
| label: |
| ; ret_val has no reaching definitions, causing an inconsistency in |
| ; liveness analysis. |
| ret i32 %ret_val |
| } |
| |
| ; CHECK-LABEL: unreachable_block |
