test/Transforms/NewGVN/metadata-simplify.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2
   3 ; The tests in this file check that we do not simplify based on metadata that is
   4 ; not available on all code paths.
   5
   6 ; RUN: opt < %s -S -newgvn | FileCheck %s
   7
   8 define i1 @test1(i32** %arg, i1 %arg2) {
   9 ; CHECK-LABEL: @test1(
  10 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
  11 ; CHECK:       bb1:
  12 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32*, i32** [[ARG:%.*]], !nonnull !0
  13 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32* [[LOAD1]], null
  14 ; CHECK-NEXT:    ret i1 [[CMP1]]
  15 ; CHECK:       bb2:
  16 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32*, i32** [[ARG]]
  17 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32* [[LOAD2]], null
  18 ; CHECK-NEXT:    ret i1 [[CMP2]]
  19 ;
  20   br i1 %arg2, label %bb1, label %bb2
  21
  22 bb1:
  23   %load1 = load i32*, i32** %arg, !nonnull !0
  24   %cmp1 = icmp eq i32* %load1, null
  25   ret i1 %cmp1
  26
  27 bb2:
  28   %load2 = load i32*, i32** %arg
  29   %cmp2 = icmp eq i32* %load2, null
  30   ret i1 %cmp2
  31 }
  32
  33 define i1 @test2(i32** %arg, i1 %arg2) {
  34 ; CHECK-LABEL: @test2(
  35 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
  36 ; CHECK:       bb1:
  37 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32*, i32** [[ARG:%.*]]
  38 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32* [[LOAD1]], null
  39 ; CHECK-NEXT:    ret i1 [[CMP1]]
  40 ; CHECK:       bb2:
  41 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32*, i32** [[ARG]], !nonnull !0
  42 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32* [[LOAD2]], null
  43 ; CHECK-NEXT:    ret i1 [[CMP2]]
  44 ;
  45   br i1 %arg2, label %bb1, label %bb2
  46
  47 bb1:
  48   %load1 = load i32*, i32** %arg
  49   %cmp1 = icmp eq i32* %load1, null
  50   ret i1 %cmp1
  51
  52 bb2:
  53   %load2 = load i32*, i32** %arg, !nonnull !0
  54   %cmp2 = icmp eq i32* %load2, null
  55   ret i1 %cmp2
  56 }
  57
  58
  59 define i1 @test3(i32* %ptr, i1 %arg2) {
  60 ; CHECK-LABEL: @test3(
  61 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
  62 ; CHECK:       bb1:
  63 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32, i32* [[PTR:%.*]], !range !1
  64 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32 [[LOAD1]], 999
  65 ; CHECK-NEXT:    ret i1 [[CMP1]]
  66 ; CHECK:       bb2:
  67 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32, i32* [[PTR]]
  68 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[LOAD2]], 999
  69 ; CHECK-NEXT:    ret i1 [[CMP2]]
  70 ;
  71   br i1 %arg2, label %bb1, label %bb2
  72
  73 bb1:
  74   %load1 = load i32, i32* %ptr, !range !1
  75   %cmp1 = icmp ne i32 %load1, 999
  76   ret i1 %cmp1
  77
  78 bb2:
  79   %load2 = load i32, i32* %ptr
  80   %cmp2 = icmp ne i32 %load2, 999
  81   ret i1 %cmp2
  82 }
  83
  84 define i1 @test4(i32* %ptr, i1 %arg2) {
  85 ; CHECK-LABEL: @test4(
  86 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
  87 ; CHECK:       bb1:
  88 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32, i32* [[PTR:%.*]]
  89 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32 [[LOAD1]], 999
  90 ; CHECK-NEXT:    ret i1 [[CMP1]]
  91 ; CHECK:       bb2:
  92 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32, i32* [[PTR]], !range !1
  93 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[LOAD2]], 999
  94 ; CHECK-NEXT:    ret i1 [[CMP2]]
  95 ;
  96   br i1 %arg2, label %bb1, label %bb2
  97
  98 bb1:
  99   %load1 = load i32, i32* %ptr
 100   %cmp1 = icmp ne i32 %load1, 999
 101   ret i1 %cmp1
 102
 103 bb2:
 104   %load2 = load i32, i32* %ptr, !range !1
 105   %cmp2 = icmp ne i32 %load2, 999
 106   ret i1 %cmp2
 107 }
 108
 109 define i1 @test5(i32* %ptr, i1 %arg2) {
 110 ; CHECK-LABEL: @test5(
 111 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
 112 ; CHECK:       bb1:
 113 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32, i32* [[PTR:%.*]], !range !1
 114 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[LOAD1]], 999
 115 ; CHECK-NEXT:    ret i1 [[CMP1]]
 116 ; CHECK:       bb2:
 117 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32, i32* [[PTR]]
 118 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i32 [[LOAD2]], 999
 119 ; CHECK-NEXT:    ret i1 [[CMP2]]
 120 ;
 121   br i1 %arg2, label %bb1, label %bb2
 122
 123 bb1:
 124   %load1 = load i32, i32* %ptr, !range !1
 125   %cmp1 = icmp slt i32 %load1, 999
 126   ret i1 %cmp1
 127
 128 bb2:
 129   %load2 = load i32, i32* %ptr
 130   %cmp2 = icmp slt i32 %load2, 999
 131   ret i1 %cmp2
 132 }
 133
 134 define i1 @test6(i32* %ptr, i1 %arg2) {
 135 ; CHECK-LABEL: @test6(
 136 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
 137 ; CHECK:       bb1:
 138 ; CHECK-NEXT:    [[LOAD1:%.*]] = load i32, i32* [[PTR:%.*]]
 139 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[LOAD1]], 999
 140 ; CHECK-NEXT:    ret i1 [[CMP1]]
 141 ; CHECK:       bb2:
 142 ; CHECK-NEXT:    [[LOAD2:%.*]] = load i32, i32* [[PTR]], !range !1
 143 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i32 [[LOAD2]], 999
 144 ; CHECK-NEXT:    ret i1 [[CMP2]]
 145 ;
 146   br i1 %arg2, label %bb1, label %bb2
 147
 148 bb1:
 149   %load1 = load i32, i32* %ptr
 150   %cmp1 = icmp slt i32 %load1, 999
 151   ret i1 %cmp1
 152
 153 bb2:
 154   %load2 = load i32, i32* %ptr, !range !1
 155   %cmp2 = icmp slt i32 %load2, 999
 156   ret i1 %cmp2
 157 }
 158
 159 !0 = !{}
 160 !1 = !{ i32 10, i32 20 }