60 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -S -passes=jump-threading < %s | FileCheck %s3 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 813; CHECK-NEXT: call void @set_value(ptr [[V]])14; CHECK-NEXT: [[L1:%.*]] = load i64, ptr [[V]], align 815; CHECK-NEXT: br i1 [[TMP0]], label [[BB0:%.*]], label [[BB2:%.*]]16; CHECK: bb0:17; CHECK-NEXT: [[C1:%.*]] = icmp eq i64 [[L1]], 018; CHECK-NEXT: br i1 [[C1]], label [[BB2_THREAD:%.*]], label [[BB2]]19; CHECK: bb2.thread:20; CHECK-NEXT: store i64 0, ptr [[V]], align 821; 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]], 225; CHECK-NEXT: br i1 [[TMP1]], label [[BB3:%.*]], label [[BB4]]26; CHECK: bb3:27; CHECK-NEXT: call void @bar()28; CHECK-NEXT: ret void29; CHECK: bb4:30; CHECK-NEXT: ret void31;32start:33 %v = alloca i64, align 834 call void @set_value(ptr %v)35 %l1 = load i64, ptr %v, align 8, !range !036 br i1 %0, label %bb0, label %bb237 38bb0: ; preds = %start39 %c1 = icmp eq i64 %l1, 040 br i1 %c1, label %bb1, label %bb241 42bb1: ; preds = %bb043 store i64 0, ptr %v, align 844 br label %bb245 46bb2: ; preds = %bb1, %bb0, %start47 %l2 = load i64, ptr %v, align 848 %1 = icmp eq i64 %l2, 249 br i1 %1, label %bb3, label %bb450 51bb3: ; preds = %bb252 call void @bar()53 ret void54 55bb4: ; preds = %bb256 ret void57}58 59!0 = !{i64 0, i64 2}60