| ; RUN: opt -jump-threading -S < %s | FileCheck %s |
| @global = external global i8*, align 8 |
| |
| define i32 @foo(i32 %arg) { |
| ; CHECK-LABEL: @foo |
| ; CHECK-LABEL: bb: |
| ; CHECK: icmp eq |
| ; CHECK-NEXT: br i1 %tmp1, label %bb7, label %bb7 |
| bb: |
| %tmp = load i8*, i8** @global, align 8 |
| %tmp1 = icmp eq i8* %tmp, null |
| br i1 %tmp1, label %bb3, label %bb2 |
| |
| ; CHECK-NOT: bb2: |
| bb2: |
| br label %bb3 |
| |
| ; CHECK-NOT: bb3: |
| bb3: |
| %tmp4 = phi i8 [ 1, %bb2 ], [ 0, %bb ] |
| %tmp5 = icmp eq i8 %tmp4, 0 |
| br i1 %tmp5, label %bb7, label %bb6 |
| |
| ; CHECK-NOT: bb6: |
| bb6: |
| br label %bb7 |
| |
| ; CHECK-LABEL: bb7: |
| bb7: |
| %tmp8 = icmp eq i32 %arg, -1 |
| br i1 %tmp8, label %bb9, label %bb10 |
| |
| ; CHECK-LABEL: bb9: |
| bb9: |
| ret i32 0 |
| |
| ; CHECK-LABEL: bb10: |
| bb10: |
| %tmp11 = icmp sgt i32 %arg, -1 |
| call void @llvm.assume(i1 %tmp11) |
| ret i32 1 |
| } |
| |
| declare void @llvm.assume(i1) |
