| ; RUN: opt -passes=jump-threading -S < %s | FileCheck %s |
| ; CHECK: @main |
| |
| %struct.wobble = type { i8 } |
| |
| define i32 @main() local_unnamed_addr personality i8* undef { |
| bb12: |
| br i1 false, label %bb13, label %bb28 |
| |
| bb13: ; preds = %bb12 |
| br label %bb14 |
| |
| bb14: ; preds = %bb26, %bb13 |
| %tmp15 = phi i8* [ %tmp27, %bb26 ], [ undef, %bb13 ] |
| %tmp16 = icmp slt i32 5, undef |
| %tmp17 = select i1 false, i1 true, i1 %tmp16 |
| br label %bb18 |
| |
| bb18: ; preds = %bb14 |
| br i1 %tmp17, label %bb19, label %bb21 |
| |
| bb19: ; preds = %bb18 |
| %tmp20 = or i32 undef, 4 |
| br label %bb21 |
| |
| bb21: ; preds = %bb19, %bb18 |
| %tmp22 = load i8, i8* %tmp15, align 1 |
| br label %bb23 |
| |
| bb23: ; preds = %bb21 |
| br i1 %tmp17, label %bb24, label %bb25 |
| |
| bb24: ; preds = %bb23 |
| br label %bb25 |
| |
| bb25: ; preds = %bb24, %bb23 |
| invoke void undef(%struct.wobble* undef, i32 0, i32 undef, i8 %tmp22) |
| to label %bb26 unwind label %bb33 |
| |
| bb26: ; preds = %bb25 |
| %tmp27 = getelementptr inbounds i8, i8* %tmp15, i64 1 |
| br label %bb14 |
| |
| bb28: ; preds = %bb12 |
| unreachable |
| |
| bb33: ; preds = %bb25 |
| %tmp34 = landingpad { i8*, i32 } |
| cleanup |
| unreachable |
| } |
