llvm/test/Transforms/JumpThreading/invalidate-lvi.ll

   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
   4 declare void @set_value(ptr)
   5
   6 declare void @bar()
   7
   8 define 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 ;
  32 start:
  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
  38 bb0:                                              ; preds = %start
  39   %c1 = icmp eq i64 %l1, 0
  40   br i1 %c1, label %bb1, label %bb2
  41
  42 bb1:                                              ; preds = %bb0
  43   store i64 0, ptr %v, align 8
  44   br label %bb2
  45
  46 bb2:                                              ; 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
  51 bb3:                                              ; preds = %bb2
  52   call void @bar()
  53   ret void
  54
  55 bb4:                                              ; preds = %bb2
  56   ret void
  57 }
  58
  59 !0 = !{i64 0, i64 2}