| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt -passes=jump-threading -S < %s | FileCheck %s | |
| ; PR3138 | |
| ; Check that there's a ret 0 | |
| define i32 @jt() { | |
| ; CHECK-LABEL: @jt( | |
| ; CHECK-NEXT: bb3: | |
| ; CHECK-NEXT: ret i32 0 | |
| ; | |
| entry: | |
| br i1 true, label %bb3, label %bb | |
| bb: ; preds = %entry | |
| unreachable | |
| bb3: ; preds = %entry | |
| ret i32 0 | |
| } |