1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; RUN: opt -S -passes=jump-threading < %s | FileCheck %s 3 4declare void @set_value(ptr) 5 6declare void @bar() 7 8define void @foo(i1 %0) { 9; CHECK-LABEL: define void @foo( 10; CHECK-SAME: i1 [[TMP0:%.*]]) { 11; CHECK-NEXT: start: 12; CHECK-NEXT: [[V:%.*]] = alloca i64, align 8 13; CHECK-NEXT: call void @set_value(ptr [[V]]) 14; CHECK-NEXT: [[L1:%.*]] = load i64, ptr [[V]], align 8 15; CHECK-NEXT: br i1 [[TMP0]], label [[BB0:%.*]], label [[BB2:%.*]] 16; CHECK: bb0: 17; CHECK-NEXT: [[C1:%.*]] = icmp eq i64 [[L1]], 0 18; CHECK-NEXT: br i1 [[C1]], label [[BB2_THREAD:%.*]], label [[BB2]] 19; CHECK: bb2.thread: 20; CHECK-NEXT: store i64 0, ptr [[V]], align 8 21; CHECK-NEXT: br label [[BB4:%.*]] 22; CHECK: bb2: 23; CHECK-NEXT: [[L2:%.*]] = phi i64 [ [[L1]], [[BB0]] ], [ [[L1]], [[START:%.*]] ] 24; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 [[L2]], 2 25; CHECK-NEXT: br i1 [[TMP1]], label [[BB3:%.*]], label [[BB4]] 26; CHECK: bb3: 27; CHECK-NEXT: call void @bar() 28; CHECK-NEXT: ret void 29; CHECK: bb4: 30; CHECK-NEXT: ret void 31; 32start: 33 %v = alloca i64, align 8 34 call void @set_value(ptr %v) 35 %l1 = load i64, ptr %v, align 8, !range !0 36 br i1 %0, label %bb0, label %bb2 37 38bb0: ; preds = %start 39 %c1 = icmp eq i64 %l1, 0 40 br i1 %c1, label %bb1, label %bb2 41 42bb1: ; preds = %bb0 43 store i64 0, ptr %v, align 8 44 br label %bb2 45 46bb2: ; preds = %bb1, %bb0, %start 47 %l2 = load i64, ptr %v, align 8 48 %1 = icmp eq i64 %l2, 2 49 br i1 %1, label %bb3, label %bb4 50 51bb3: ; preds = %bb2 52 call void @bar() 53 ret void 54 55bb4: ; preds = %bb2 56 ret void 57} 58 59!0 = !{i64 0, i64 2} 60