112 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s3 4@global = external global i64, align 85 6define void @f(i1 %arg) {7; CHECK-LABEL: @f(8; CHECK-NEXT: bb:9; CHECK-NEXT: br label [[BB1:%.*]]10; CHECK: bb1:11; CHECK-NEXT: [[TMP:%.*]] = load i64, ptr @global, align 812; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP]], 013; CHECK-NEXT: br i1 [[TMP2]], label [[BB27:%.*]], label [[BB3:%.*]]14; CHECK: bb3:15; CHECK-NEXT: [[TMP4:%.*]] = load i64, ptr @global, align 816; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 017; CHECK-NEXT: br i1 [[TMP5]], label [[BB23:%.*]], label [[BB23]]18; CHECK: bb10:19; CHECK-NEXT: [[TMP11:%.*]] = load i64, ptr @global, align 820; CHECK-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 521; CHECK-NEXT: br i1 [[TMP12]], label [[BB14:%.*]], label [[BB17:%.*]]22; CHECK: bb14:23; CHECK-NEXT: br i1 [[ARG:%.*]], label [[BB15:%.*]], label [[BB10:%.*]]24; CHECK: bb15:25; CHECK-NEXT: unreachable26; CHECK: bb17:27; CHECK-NEXT: br label [[BB26:%.*]]28; CHECK: bb18:29; CHECK-NEXT: br i1 [[ARG]], label [[BB23]], label [[BB14]]30; CHECK: bb21:31; CHECK-NEXT: br label [[BB26]]32; CHECK: bb23:33; CHECK-NEXT: br i1 [[ARG]], label [[BB24:%.*]], label [[BB14]]34; CHECK: bb24:35; CHECK-NEXT: br i1 [[ARG]], label [[BB28:%.*]], label [[BB21:%.*]]36; CHECK: bb26:37; CHECK-NEXT: br label [[BB1]]38; CHECK: bb27:39; CHECK-NEXT: br label [[BB24]]40;41bb:42 br label %bb143 44bb1:45 %tmp = load i64, ptr @global, align 846 %tmp2 = icmp eq i64 %tmp, 047 br i1 %tmp2, label %bb27, label %bb348 49bb3:50 %tmp4 = load i64, ptr @global, align 851 %tmp5 = icmp eq i64 %tmp4, 052 br i1 %tmp5, label %bb6, label %bb753 54bb6:55 br label %bb756 57bb7:58 %tmp8 = phi i1 [ true, %bb3 ], [ undef, %bb6 ]59 %tmp9 = select i1 %tmp8, i64 %tmp4, i64 060 br i1 false, label %bb10, label %bb2361 62bb10:63 %tmp11 = load i64, ptr @global, align 864 %tmp12 = icmp slt i64 %tmp11, 565 br i1 %tmp12, label %bb13, label %bb1766 67bb13:68 br label %bb1469 70bb14:71 br i1 %arg, label %bb15, label %bb1672 73bb15:74 unreachable75 76bb16:77 br label %bb1078 79bb17:80 br label %bb1881 82bb18:83 br i1 %arg, label %bb22, label %bb1384 85bb19:86 br i1 %arg, label %bb20, label %bb2187 88bb20:89 unreachable90 91bb21:92 br label %bb1893 94bb22:95 br label %bb2396 97bb23:98 br i1 %arg, label %bb24, label %bb1399 100bb24:101 br i1 %arg, label %bb26, label %bb25102 103bb25:104 br label %bb19105 106bb26:107 br label %bb1108 109bb27:110 br label %bb24111}112