| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s |
| |
| @global = external global i64, align 8 |
| |
| define void @f(i1 %arg) { |
| ; CHECK-LABEL: @f( |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br label [[BB1:%.*]] |
| ; CHECK: bb1: |
| ; CHECK-NEXT: [[TMP:%.*]] = load i64, ptr @global, align 8 |
| ; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP]], 0 |
| ; CHECK-NEXT: br i1 [[TMP2]], label [[BB27:%.*]], label [[BB3:%.*]] |
| ; CHECK: bb3: |
| ; CHECK-NEXT: [[TMP4:%.*]] = load i64, ptr @global, align 8 |
| ; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 0 |
| ; CHECK-NEXT: br i1 [[TMP5]], label [[BB23:%.*]], label [[BB23]] |
| ; CHECK: bb10: |
| ; CHECK-NEXT: [[TMP11:%.*]] = load i64, ptr @global, align 8 |
| ; CHECK-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 5 |
| ; CHECK-NEXT: br i1 [[TMP12]], label [[BB14:%.*]], label [[BB17:%.*]] |
| ; CHECK: bb14: |
| ; CHECK-NEXT: br i1 [[ARG:%.*]], label [[BB15:%.*]], label [[BB10:%.*]] |
| ; CHECK: bb15: |
| ; CHECK-NEXT: unreachable |
| ; CHECK: bb17: |
| ; CHECK-NEXT: br label [[BB26:%.*]] |
| ; CHECK: bb18: |
| ; CHECK-NEXT: br i1 [[ARG]], label [[BB23]], label [[BB14]] |
| ; CHECK: bb21: |
| ; CHECK-NEXT: br label [[BB26]] |
| ; CHECK: bb23: |
| ; CHECK-NEXT: br i1 [[ARG]], label [[BB24:%.*]], label [[BB14]] |
| ; CHECK: bb24: |
| ; CHECK-NEXT: br i1 [[ARG]], label [[BB28:%.*]], label [[BB21:%.*]] |
| ; CHECK: bb26: |
| ; CHECK-NEXT: br label [[BB1]] |
| ; CHECK: bb27: |
| ; CHECK-NEXT: br label [[BB24]] |
| ; |
| bb: |
| br label %bb1 |
| |
| bb1: |
| %tmp = load i64, ptr @global, align 8 |
| %tmp2 = icmp eq i64 %tmp, 0 |
| br i1 %tmp2, label %bb27, label %bb3 |
| |
| bb3: |
| %tmp4 = load i64, ptr @global, align 8 |
| %tmp5 = icmp eq i64 %tmp4, 0 |
| br i1 %tmp5, label %bb6, label %bb7 |
| |
| bb6: |
| br label %bb7 |
| |
| bb7: |
| %tmp8 = phi i1 [ true, %bb3 ], [ undef, %bb6 ] |
| %tmp9 = select i1 %tmp8, i64 %tmp4, i64 0 |
| br i1 false, label %bb10, label %bb23 |
| |
| bb10: |
| %tmp11 = load i64, ptr @global, align 8 |
| %tmp12 = icmp slt i64 %tmp11, 5 |
| br i1 %tmp12, label %bb13, label %bb17 |
| |
| bb13: |
| br label %bb14 |
| |
| bb14: |
| br i1 %arg, label %bb15, label %bb16 |
| |
| bb15: |
| unreachable |
| |
| bb16: |
| br label %bb10 |
| |
| bb17: |
| br label %bb18 |
| |
| bb18: |
| br i1 %arg, label %bb22, label %bb13 |
| |
| bb19: |
| br i1 %arg, label %bb20, label %bb21 |
| |
| bb20: |
| unreachable |
| |
| bb21: |
| br label %bb18 |
| |
| bb22: |
| br label %bb23 |
| |
| bb23: |
| br i1 %arg, label %bb24, label %bb13 |
| |
| bb24: |
| br i1 %arg, label %bb26, label %bb25 |
| |
| bb25: |
| br label %bb19 |
| |
| bb26: |
| br label %bb1 |
| |
| bb27: |
| br label %bb24 |
| } |
