llvm/test/Transforms/InstSimplify/known-non-zero.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 define i64 @test0(i64 %x) {
   5 ; CHECK-LABEL: @test0(
   6 ; CHECK-NEXT:  start:
   7 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
   8 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
   9 ; CHECK:       non_zero:
  10 ; CHECK-NEXT:    br i1 false, label [[UNREACHABLE:%.*]], label [[EXIT]]
  11 ; CHECK:       unreachable:
  12 ; CHECK-NEXT:    br label [[EXIT]]
  13 ; CHECK:       exit:
  14 ; CHECK-NEXT:    [[C:%.*]] = phi i64 [ 0, [[START:%.*]] ], [ 1, [[NON_ZERO]] ], [ 2, [[UNREACHABLE]] ]
  15 ; CHECK-NEXT:    ret i64 [[C]]
  16 ;
  17 start:
  18   %a = icmp eq i64 %x, 0
  19   br i1 %a, label %exit, label %non_zero
  20
  21 non_zero:
  22   %b = icmp eq i64 %x, 0
  23   br i1 %b, label %unreachable, label %exit
  24
  25 unreachable:
  26   br label %exit
  27
  28 exit:
  29   %c = phi i64 [ 0, %start ], [ 1, %non_zero ], [ 2, %unreachable ]
  30   ret i64 %c
  31 }
  32
  33 define i64 @test1(i64 %x) {
  34 ; CHECK-LABEL: @test1(
  35 ; CHECK-NEXT:  start:
  36 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
  37 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
  38 ; CHECK:       non_zero:
  39 ; CHECK-NEXT:    br i1 true, label [[EXIT]], label [[UNREACHABLE:%.*]]
  40 ; CHECK:       unreachable:
  41 ; CHECK-NEXT:    br label [[EXIT]]
  42 ; CHECK:       exit:
  43 ; CHECK-NEXT:    [[C:%.*]] = phi i64 [ 0, [[START:%.*]] ], [ [[X]], [[NON_ZERO]] ], [ 0, [[UNREACHABLE]] ]
  44 ; CHECK-NEXT:    ret i64 [[C]]
  45 ;
  46 start:
  47   %a = icmp eq i64 %x, 0
  48   br i1 %a, label %exit, label %non_zero
  49
  50 non_zero:
  51   %b = icmp ugt i64 %x, 0
  52   br i1 %b, label %exit, label %unreachable
  53
  54 unreachable:
  55   br label %exit
  56
  57 exit:
  58   %c = phi i64 [ 0, %start ], [ %x, %non_zero ], [ 0, %unreachable ]
  59   ret i64 %c
  60 }
  61
  62 define i1 @test2(i64 %x, i1 %y) {
  63 ; CHECK-LABEL: @test2(
  64 ; CHECK-NEXT:  start:
  65 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
  66 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
  67 ; CHECK:       non_zero:
  68 ; CHECK-NEXT:    br i1 [[Y:%.*]], label [[ONE:%.*]], label [[TWO:%.*]]
  69 ; CHECK:       one:
  70 ; CHECK-NEXT:    br label [[MAINBLOCK:%.*]]
  71 ; CHECK:       two:
  72 ; CHECK-NEXT:    br label [[MAINBLOCK]]
  73 ; CHECK:       mainblock:
  74 ; CHECK-NEXT:    br label [[EXIT]]
  75 ; CHECK:       exit:
  76 ; CHECK-NEXT:    [[RES:%.*]] = phi i1 [ false, [[MAINBLOCK]] ], [ true, [[START:%.*]] ]
  77 ; CHECK-NEXT:    ret i1 [[RES]]
  78 ;
  79 start:
  80   %a = icmp eq i64 %x, 0
  81   br i1 %a, label %exit, label %non_zero
  82
  83 non_zero:
  84   br i1 %y, label %one, label %two
  85
  86 one:
  87   br label %mainblock
  88
  89 two:
  90   br label %mainblock
  91
  92 mainblock:
  93   %p = phi i64 [ %x, %one ], [ 42, %two ]
  94   %cmp = icmp eq i64 %p, 0
  95   br label %exit
  96
  97 exit:
  98   %res = phi i1 [ %cmp, %mainblock ], [ 1, %start ]
  99   ret i1 %res
 100 }
 101
 102
 103 ; The code below exposed a bug similar to the one exposed by D60846, see the commit 6ea477590085.
 104 ; In a nutshell, we should not replace %result.0 with 0 here.
 105
 106 define zeroext i8 @update_phi_query_loc_in_recursive_call(ptr nocapture readonly %p){
 107 ; CHECK-LABEL: @update_phi_query_loc_in_recursive_call(
 108 ; CHECK-NEXT:  entry:
 109 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
 110 ; CHECK:       for.cond:
 111 ; CHECK-NEXT:    [[RESULT_0:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[CONV2:%.*]], [[FOR_BODY:%.*]] ]
 112 ; CHECK-NEXT:    [[SHIFT_0:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ 1, [[FOR_BODY]] ]
 113 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[SHIFT_0]], 0
 114 ; CHECK-NEXT:    br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_COND_CLEANUP:%.*]]
 115 ; CHECK:       for.cond.cleanup:
 116 ; CHECK-NEXT:    ret i8 [[RESULT_0]]
 117 ; CHECK:       for.body:
 118 ; CHECK-NEXT:    [[TMP0:%.*]] = load i8, ptr [[P:%.*]], align 1
 119 ; CHECK-NEXT:    [[CONV:%.*]] = zext i8 [[TMP0]] to i32
 120 ; CHECK-NEXT:    [[MUL:%.*]] = shl nuw nsw i32 [[SHIFT_0]], 3
 121 ; CHECK-NEXT:    [[SHL:%.*]] = shl nuw nsw i32 [[CONV]], [[MUL]]
 122 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[SHL]] to i8
 123 ; CHECK-NEXT:    [[CONV2]] = or i8 [[RESULT_0]], [[TMP1]]
 124 ; CHECK-NEXT:    br label [[FOR_COND]]
 125 ;
 126 entry:
 127   br label %for.cond
 128
 129 for.cond:                                         ; preds = %for.body, %entry
 130   %result.0 = phi i8 [ 0, %entry ], [ %conv2, %for.body ]
 131   %shift.0 = phi i32 [ 0, %entry ], [ 1, %for.body ]
 132   %cmp = icmp eq i32 %shift.0, 0
 133   br i1 %cmp, label %for.body, label %for.cond.cleanup
 134
 135 for.cond.cleanup:                                 ; preds = %for.cond
 136   ret i8 %result.0
 137
 138 for.body:                                         ; preds = %for.cond
 139   %0 = load i8, ptr %p, align 1
 140   %conv = zext i8 %0 to i32
 141   %mul = shl nuw nsw i32 %shift.0, 3
 142   %shl = shl nuw nsw i32 %conv, %mul
 143   %1 = trunc i32 %shl to i8
 144   %conv2 = or i8 %result.0, %1
 145   %inc = add nuw nsw i32 %shift.0, 1
 146   br label %for.cond
 147 }
 148
 149 define i1 @freeze_nonzero(i8 %x, i8 %mask) {
 150 ; CHECK-LABEL: @freeze_nonzero(
 151 ; CHECK-NEXT:    [[Y:%.*]] = or i8 [[X:%.*]], [[MASK:%.*]]
 152 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[Y]], 0
 153 ; CHECK-NEXT:    br i1 [[C]], label [[A:%.*]], label [[B:%.*]]
 154 ; CHECK:       A:
 155 ; CHECK-NEXT:    ret i1 false
 156 ; CHECK:       B:
 157 ; CHECK-NEXT:    ret i1 false
 158 ;
 159   %y = or i8 %x, %mask
 160   %c = icmp ne i8 %y, 0
 161   br i1 %c, label %A, label %B
 162 A:
 163   %fr = freeze i8 %y
 164   %c2 = icmp eq i8 %fr, 0
 165   ret i1 %c2
 166 B:
 167   ret i1 0
 168 }
 169
 170 define i1 @smax_non_zero(i8 %xx, i8 %y) {
 171 ; CHECK-LABEL: @smax_non_zero(
 172 ; CHECK-NEXT:    ret i1 false
 173 ;
 174   %x0 = and i8 %xx, 63
 175   %x = add i8 %x0, 1
 176   %v = call i8 @llvm.smax.i8(i8 %x, i8 %y)
 177   %r = icmp eq i8 %v, 0
 178   ret i1 %r
 179 }
 180
 181 define <4 x i1> @shuf_nonzero_both(<4 x i8> %xx, <4 x i8> %yy) {
 182 ; CHECK-LABEL: @shuf_nonzero_both(
 183 ; CHECK-NEXT:    ret <4 x i1> zeroinitializer
 184 ;
 185   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 1>
 186   %y = add nuw <4 x i8> %yy, <i8 1, i8 1, i8 1, i8 1>
 187
 188   %shuf = shufflevector <4 x i8> %x, <4 x i8> %y, <4 x i32> <i32 0, i32 4, i32 7, i32 2>
 189   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 190   ret <4 x i1> %r
 191 }
 192
 193 define <4 x i1> @shuf_nonzero_both_fail(<4 x i8> %xx, <4 x i8> %yy) {
 194 ; CHECK-LABEL: @shuf_nonzero_both_fail(
 195 ; CHECK-NEXT:    [[X:%.*]] = add nuw <4 x i8> [[XX:%.*]], <i8 1, i8 1, i8 1, i8 1>
 196 ; CHECK-NEXT:    [[Y:%.*]] = add nuw <4 x i8> [[YY:%.*]], <i8 1, i8 1, i8 1, i8 0>
 197 ; CHECK-NEXT:    [[SHUF:%.*]] = shufflevector <4 x i8> [[X]], <4 x i8> [[Y]], <4 x i32> <i32 0, i32 4, i32 7, i32 2>
 198 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <4 x i8> [[SHUF]], zeroinitializer
 199 ; CHECK-NEXT:    ret <4 x i1> [[R]]
 200 ;
 201   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 1>
 202   %y = add nuw <4 x i8> %yy, <i8 1, i8 1, i8 1, i8 0>
 203
 204   %shuf = shufflevector <4 x i8> %x, <4 x i8> %y, <4 x i32> <i32 0, i32 4, i32 7, i32 2>
 205   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 206   ret <4 x i1> %r
 207 }
 208
 209 define <4 x i1> @shuf_nonzero_both_fail2(<4 x i8> %xx, <4 x i8> %yy) {
 210 ; CHECK-LABEL: @shuf_nonzero_both_fail2(
 211 ; CHECK-NEXT:    [[X:%.*]] = add nuw <4 x i8> [[XX:%.*]], <i8 1, i8 1, i8 1, i8 1>
 212 ; CHECK-NEXT:    [[Y:%.*]] = add <4 x i8> [[YY:%.*]], <i8 1, i8 1, i8 1, i8 1>
 213 ; CHECK-NEXT:    [[SHUF:%.*]] = shufflevector <4 x i8> [[X]], <4 x i8> [[Y]], <4 x i32> <i32 0, i32 4, i32 7, i32 2>
 214 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <4 x i8> [[SHUF]], zeroinitializer
 215 ; CHECK-NEXT:    ret <4 x i1> [[R]]
 216 ;
 217   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 1>
 218   %y = add <4 x i8> %yy, <i8 1, i8 1, i8 1, i8 1>
 219
 220   %shuf = shufflevector <4 x i8> %x, <4 x i8> %y, <4 x i32> <i32 0, i32 4, i32 7, i32 2>
 221   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 222   ret <4 x i1> %r
 223 }
 224
 225 define <4 x i1> @shuf_nonzero_lhs(<4 x i8> %xx) {
 226 ; CHECK-LABEL: @shuf_nonzero_lhs(
 227 ; CHECK-NEXT:    ret <4 x i1> zeroinitializer
 228 ;
 229   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 1>
 230
 231   %shuf = shufflevector <4 x i8> %x, <4 x i8> poison, <4 x i32> <i32 2, i32 2, i32 0, i32 1>
 232   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 233   ret <4 x i1> %r
 234 }
 235
 236 define <4 x i1> @shuf_nonzero_lhs2(<4 x i8> %xx) {
 237 ; CHECK-LABEL: @shuf_nonzero_lhs2(
 238 ; CHECK-NEXT:    ret <4 x i1> zeroinitializer
 239 ;
 240   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 0>
 241
 242   %shuf = shufflevector <4 x i8> %x, <4 x i8> poison, <4 x i32> <i32 2, i32 0, i32 1, i32 1>
 243   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 244   ret <4 x i1> %r
 245 }
 246
 247 define <4 x i1> @shuf_nonzero_lhs2_fail(<4 x i8> %xx) {
 248 ; CHECK-LABEL: @shuf_nonzero_lhs2_fail(
 249 ; CHECK-NEXT:    [[X:%.*]] = add nuw <4 x i8> [[XX:%.*]], <i8 1, i8 1, i8 1, i8 0>
 250 ; CHECK-NEXT:    [[SHUF:%.*]] = shufflevector <4 x i8> [[X]], <4 x i8> poison, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 251 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <4 x i8> [[SHUF]], zeroinitializer
 252 ; CHECK-NEXT:    ret <4 x i1> [[R]]
 253 ;
 254   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 0>
 255
 256   %shuf = shufflevector <4 x i8> %x, <4 x i8> poison, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 257   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 258   ret <4 x i1> %r
 259 }
 260
 261 define <4 x i1> @shuf_nonzero_rhs(<4 x i8> %xx) {
 262 ; CHECK-LABEL: @shuf_nonzero_rhs(
 263 ; CHECK-NEXT:    ret <4 x i1> zeroinitializer
 264 ;
 265   %x = add nuw <4 x i8> %xx, <i8 1, i8 1, i8 1, i8 1>
 266
 267   %shuf = shufflevector <4 x i8> poison, <4 x i8> %x, <4 x i32> <i32 6, i32 7, i32 5, i32 4>
 268   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 269   ret <4 x i1> %r
 270 }
 271
 272 define <4 x i1> @shuf_nonzero_rhs2(<4 x i8> %xx) {
 273 ; CHECK-LABEL: @shuf_nonzero_rhs2(
 274 ; CHECK-NEXT:    ret <4 x i1> zeroinitializer
 275 ;
 276   %x = add nuw <4 x i8> %xx, <i8 0, i8 0, i8 1, i8 1>
 277
 278   %shuf = shufflevector <4 x i8> poison, <4 x i8> %x, <4 x i32> <i32 6, i32 7, i32 7, i32 6>
 279   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 280   ret <4 x i1> %r
 281 }
 282
 283 define <4 x i1> @shuf_nonzero_rhs2_fail(<4 x i8> %xx) {
 284 ; CHECK-LABEL: @shuf_nonzero_rhs2_fail(
 285 ; CHECK-NEXT:    [[X:%.*]] = add nuw <4 x i8> [[XX:%.*]], <i8 0, i8 0, i8 1, i8 1>
 286 ; CHECK-NEXT:    [[SHUF:%.*]] = shufflevector <4 x i8> poison, <4 x i8> [[X]], <4 x i32> <i32 6, i32 7, i32 5, i32 6>
 287 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <4 x i8> [[SHUF]], zeroinitializer
 288 ; CHECK-NEXT:    ret <4 x i1> [[R]]
 289 ;
 290   %x = add nuw <4 x i8> %xx, <i8 0, i8 0, i8 1, i8 1>
 291
 292   %shuf = shufflevector <4 x i8> poison, <4 x i8> %x, <4 x i32> <i32 6, i32 7, i32 5, i32 6>
 293   %r = icmp eq <4 x i8> %shuf, zeroinitializer
 294   ret <4 x i1> %r
 295 }
 296
 297 define <2 x i1> @insert_nonzero0(<2 x i8> %xx, i8 %yy) {
 298 ; CHECK-LABEL: @insert_nonzero0(
 299 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 300 ;
 301   %x = add nuw <2 x i8> %xx, <i8 1, i8 0>
 302   %y = add nuw i8 %yy, 1
 303
 304   %ins = insertelement <2 x i8> %x, i8 %y, i32 1
 305   %r = icmp eq <2 x i8> %ins, zeroinitializer
 306   ret <2 x i1> %r
 307 }
 308
 309 define <2 x i1> @insert_nonzero1(<2 x i8> %xx, i8 %yy) {
 310 ; CHECK-LABEL: @insert_nonzero1(
 311 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 312 ;
 313   %x = add nuw <2 x i8> %xx, <i8 0, i8 1>
 314   %y = add nuw i8 %yy, 1
 315
 316   %ins = insertelement <2 x i8> %x, i8 %y, i32 0
 317   %r = icmp eq <2 x i8> %ins, zeroinitializer
 318   ret <2 x i1> %r
 319 }
 320
 321 define <2 x i1> @insert_nonzero_fail(<2 x i8> %xx, i8 %yy) {
 322 ; CHECK-LABEL: @insert_nonzero_fail(
 323 ; CHECK-NEXT:    [[X:%.*]] = add nuw <2 x i8> [[XX:%.*]], <i8 1, i8 0>
 324 ; CHECK-NEXT:    [[Y:%.*]] = add nuw i8 [[YY:%.*]], 1
 325 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i8> [[X]], i8 [[Y]], i32 0
 326 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <2 x i8> [[INS]], zeroinitializer
 327 ; CHECK-NEXT:    ret <2 x i1> [[R]]
 328 ;
 329   %x = add nuw <2 x i8> %xx, <i8 1, i8 0>
 330   %y = add nuw i8 %yy, 1
 331
 332   %ins = insertelement <2 x i8> %x, i8 %y, i32 0
 333   %r = icmp eq <2 x i8> %ins, zeroinitializer
 334   ret <2 x i1> %r
 335 }
 336
 337 define <2 x i1> @insert_nonzero_fail2(<2 x i8> %xx, i8 %yy) {
 338 ; CHECK-LABEL: @insert_nonzero_fail2(
 339 ; CHECK-NEXT:    [[X:%.*]] = add nuw <2 x i8> [[XX:%.*]], <i8 0, i8 1>
 340 ; CHECK-NEXT:    [[Y:%.*]] = add i8 [[YY:%.*]], 1
 341 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i8> [[X]], i8 [[Y]], i32 0
 342 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <2 x i8> [[INS]], zeroinitializer
 343 ; CHECK-NEXT:    ret <2 x i1> [[R]]
 344 ;
 345   %x = add nuw <2 x i8> %xx, <i8 0, i8 1>
 346   %y = add i8 %yy, 1
 347
 348   %ins = insertelement <2 x i8> %x, i8 %y, i32 0
 349   %r = icmp eq <2 x i8> %ins, zeroinitializer
 350   ret <2 x i1> %r
 351 }
 352
 353 define <2 x i1> @insert_nonzero_any_idx(<2 x i8> %xx, i8 %yy, i32 %idx) {
 354 ; CHECK-LABEL: @insert_nonzero_any_idx(
 355 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 356 ;
 357   %x = add nuw <2 x i8> %xx, <i8 1, i8 1>
 358   %y = add nuw i8 %yy, 1
 359
 360   %ins = insertelement <2 x i8> %x, i8 %y, i32 %idx
 361   %r = icmp eq <2 x i8> %ins, zeroinitializer
 362   ret <2 x i1> %r
 363 }
 364
 365 define <2 x i1> @insert_nonzero_any_idx_fail(<2 x i8> %xx, i8 %yy, i32 %idx) {
 366 ; CHECK-LABEL: @insert_nonzero_any_idx_fail(
 367 ; CHECK-NEXT:    [[X:%.*]] = add nuw <2 x i8> [[XX:%.*]], <i8 1, i8 0>
 368 ; CHECK-NEXT:    [[Y:%.*]] = add nuw i8 [[YY:%.*]], 1
 369 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i8> [[X]], i8 [[Y]], i32 [[IDX:%.*]]
 370 ; CHECK-NEXT:    [[R:%.*]] = icmp eq <2 x i8> [[INS]], zeroinitializer
 371 ; CHECK-NEXT:    ret <2 x i1> [[R]]
 372 ;
 373   %x = add nuw <2 x i8> %xx, <i8 1, i8 0>
 374   %y = add nuw i8 %yy, 1
 375
 376   %ins = insertelement <2 x i8> %x, i8 %y, i32 %idx
 377   %r = icmp eq <2 x i8> %ins, zeroinitializer
 378   ret <2 x i1> %r
 379 }
 380
 381 define i1 @nonzero_reduce_or(<2 x i8> %xx) {
 382 ; CHECK-LABEL: @nonzero_reduce_or(
 383 ; CHECK-NEXT:    ret i1 false
 384 ;
 385   %x = add nuw <2 x i8> %xx, <i8 1, i8 1>
 386   %v = call i8 @llvm.vector.reduce.or(<2 x i8> %x)
 387   %r = icmp eq i8 %v, 0
 388   ret i1 %r
 389 }
 390
 391 define i1 @nonzero_reduce_or_fail(<2 x i8> %xx) {
 392 ; CHECK-LABEL: @nonzero_reduce_or_fail(
 393 ; CHECK-NEXT:    [[X:%.*]] = add nsw <2 x i8> [[XX:%.*]], <i8 1, i8 1>
 394 ; CHECK-NEXT:    [[V:%.*]] = call i8 @llvm.vector.reduce.or.v2i8(<2 x i8> [[X]])
 395 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 396 ; CHECK-NEXT:    ret i1 [[R]]
 397 ;
 398   %x = add nsw <2 x i8> %xx, <i8 1, i8 1>
 399   %v = call i8 @llvm.vector.reduce.or(<2 x i8> %x)
 400   %r = icmp eq i8 %v, 0
 401   ret i1 %r
 402 }
 403
 404 define i1 @src_x_add_x_eq_0(i8 %x) {
 405 ; CHECK-LABEL: @src_x_add_x_eq_0(
 406 ; CHECK-NEXT:    ret i1 false
 407 ;
 408   %x_eq_0 = icmp eq i8 %x, 0
 409   %y = zext i1 %x_eq_0 to i8
 410   %v = add i8 %x, %y
 411   %r = icmp eq i8 %v, 0
 412   ret i1 %r
 413 }
 414
 415 define i1 @src_x_add_x_eq_1_fail(i8 %x) {
 416 ; CHECK-LABEL: @src_x_add_x_eq_1_fail(
 417 ; CHECK-NEXT:    [[X_EQ_1:%.*]] = icmp eq i8 [[X:%.*]], 1
 418 ; CHECK-NEXT:    [[Y:%.*]] = zext i1 [[X_EQ_1]] to i8
 419 ; CHECK-NEXT:    [[V:%.*]] = add i8 [[X]], [[Y]]
 420 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 421 ; CHECK-NEXT:    ret i1 [[R]]
 422 ;
 423   %x_eq_1 = icmp eq i8 %x, 1
 424   %y = zext i1 %x_eq_1 to i8
 425   %v = add i8 %x, %y
 426   %r = icmp eq i8 %v, 0
 427   ret i1 %r
 428 }
 429
 430 define i1 @src_x_or_x_eq_0(i8 %x) {
 431 ; CHECK-LABEL: @src_x_or_x_eq_0(
 432 ; CHECK-NEXT:    ret i1 false
 433 ;
 434   %x_eq_0 = icmp eq i8 %x, 0
 435   %y = sext i1 %x_eq_0 to i8
 436   %v = or i8 %x, %y
 437   %r = icmp eq i8 %v, 0
 438   ret i1 %r
 439 }
 440
 441 define i1 @src_x_or_x_sle_0_fail(i8 %x) {
 442 ; CHECK-LABEL: @src_x_or_x_sle_0_fail(
 443 ; CHECK-NEXT:    [[X_EQ_0:%.*]] = icmp sle i8 [[X:%.*]], 0
 444 ; CHECK-NEXT:    [[Y:%.*]] = sext i1 [[X_EQ_0]] to i8
 445 ; CHECK-NEXT:    [[V:%.*]] = or i8 [[X]], [[Y]]
 446 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 447 ; CHECK-NEXT:    ret i1 [[R]]
 448 ;
 449   %x_eq_0 = icmp sle i8 %x, 0
 450   %y = sext i1 %x_eq_0 to i8
 451   %v = or i8 %x, %y
 452   %r = icmp eq i8 %v, 0
 453   ret i1 %r
 454 }
 455
 456 define i1 @src_x_xor_x_eq_0(i8 %x) {
 457 ; CHECK-LABEL: @src_x_xor_x_eq_0(
 458 ; CHECK-NEXT:    ret i1 false
 459 ;
 460   %x_eq_0 = icmp eq i8 %x, 0
 461   %y = zext i1 %x_eq_0 to i8
 462   %v = xor i8 %x, %y
 463   %r = icmp eq i8 %v, 0
 464   ret i1 %r
 465 }
 466
 467 define i1 @src_x_xor_x_ne_0_fail(i8 %x) {
 468 ; CHECK-LABEL: @src_x_xor_x_ne_0_fail(
 469 ; CHECK-NEXT:    [[X_NE_0:%.*]] = icmp ne i8 [[X:%.*]], 0
 470 ; CHECK-NEXT:    [[Y:%.*]] = zext i1 [[X_NE_0]] to i8
 471 ; CHECK-NEXT:    [[V:%.*]] = xor i8 [[X]], [[Y]]
 472 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 473 ; CHECK-NEXT:    ret i1 [[R]]
 474 ;
 475   %x_ne_0 = icmp ne i8 %x, 0
 476   %y = zext i1 %x_ne_0 to i8
 477   %v = xor i8 %x, %y
 478   %r = icmp eq i8 %v, 0
 479   ret i1 %r
 480 }
 481
 482 define i1 @src_x_sub0_x_eq_0(i8 %x) {
 483 ; CHECK-LABEL: @src_x_sub0_x_eq_0(
 484 ; CHECK-NEXT:    ret i1 false
 485 ;
 486   %x_eq_0 = icmp eq i8 %x, 0
 487   %y = sext i1 %x_eq_0 to i8
 488   %v = sub i8 %x, %y
 489   %r = icmp eq i8 %v, 0
 490   ret i1 %r
 491 }
 492
 493 define i1 @src_x_sub0_z_eq_0_fail(i8 %x, i8 %z) {
 494 ; CHECK-LABEL: @src_x_sub0_z_eq_0_fail(
 495 ; CHECK-NEXT:    [[Z_EQ_0:%.*]] = icmp eq i8 [[Z:%.*]], 0
 496 ; CHECK-NEXT:    [[Y:%.*]] = sext i1 [[Z_EQ_0]] to i8
 497 ; CHECK-NEXT:    [[V:%.*]] = sub i8 [[X:%.*]], [[Y]]
 498 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 499 ; CHECK-NEXT:    ret i1 [[R]]
 500 ;
 501   %z_eq_0 = icmp eq i8 %z, 0
 502   %y = sext i1 %z_eq_0 to i8
 503   %v = sub i8 %x, %y
 504   %r = icmp eq i8 %v, 0
 505   ret i1 %r
 506 }
 507
 508 define i1 @src_x_sub1_x_eq_0(i8 %x) {
 509 ; CHECK-LABEL: @src_x_sub1_x_eq_0(
 510 ; CHECK-NEXT:    ret i1 false
 511 ;
 512   %x_eq_0 = icmp eq i8 %x, 0
 513   %y = zext i1 %x_eq_0 to i8
 514   %v = sub i8 %y, %x
 515   %r = icmp eq i8 %v, 0
 516   ret i1 %r
 517 }
 518
 519 define i1 @src_x_sub1_x_eq_0_or_fail(i8 %x, i1 %c1) {
 520 ; CHECK-LABEL: @src_x_sub1_x_eq_0_or_fail(
 521 ; CHECK-NEXT:    [[X_EQ_0:%.*]] = icmp eq i8 [[X:%.*]], 0
 522 ; CHECK-NEXT:    [[X_EQ_0_OR:%.*]] = or i1 [[X_EQ_0]], [[C1:%.*]]
 523 ; CHECK-NEXT:    [[Y:%.*]] = zext i1 [[X_EQ_0_OR]] to i8
 524 ; CHECK-NEXT:    [[V:%.*]] = sub i8 [[Y]], [[X]]
 525 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 526 ; CHECK-NEXT:    ret i1 [[R]]
 527 ;
 528   %x_eq_0 = icmp eq i8 %x, 0
 529   %x_eq_0_or = or i1 %x_eq_0, %c1
 530   %y = zext i1 %x_eq_0_or to i8
 531   %v = sub i8 %y, %x
 532   %r = icmp eq i8 %v, 0
 533   ret i1 %r
 534 }
 535
 536 define i1 @src_x_umax_x_eq_0(i8 %x) {
 537 ; CHECK-LABEL: @src_x_umax_x_eq_0(
 538 ; CHECK-NEXT:    ret i1 false
 539 ;
 540   %x_eq_0 = icmp eq i8 %x, 0
 541   %y = sext i1 %x_eq_0 to i8
 542   %v = call i8 @llvm.umax.i8(i8 %y, i8 %x)
 543   %r = icmp eq i8 %v, 0
 544   ret i1 %r
 545 }
 546
 547 define i1 @src_x_umax_x_ugt_10_fail(i8 %x) {
 548 ; CHECK-LABEL: @src_x_umax_x_ugt_10_fail(
 549 ; CHECK-NEXT:    [[X_UGT_10:%.*]] = icmp ugt i8 [[X:%.*]], 10
 550 ; CHECK-NEXT:    [[Y:%.*]] = sext i1 [[X_UGT_10]] to i8
 551 ; CHECK-NEXT:    [[V:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
 552 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 553 ; CHECK-NEXT:    ret i1 [[R]]
 554 ;
 555   %x_ugt_10 = icmp ugt i8 %x, 10
 556   %y = sext i1 %x_ugt_10 to i8
 557   %v = call i8 @llvm.umax.i8(i8 %y, i8 %x)
 558   %r = icmp eq i8 %v, 0
 559   ret i1 %r
 560 }
 561
 562 define i1 @src_x_uadd.sat_x_eq_0(i8 %x) {
 563 ; CHECK-LABEL: @src_x_uadd.sat_x_eq_0(
 564 ; CHECK-NEXT:    ret i1 false
 565 ;
 566   %x_eq_0 = icmp eq i8 %x, 0
 567   %y = zext i1 %x_eq_0 to i8
 568   %v = call i8 @llvm.uadd.sat.i8(i8 %y, i8 %x)
 569   %r = icmp eq i8 %v, 0
 570   ret i1 %r
 571 }
 572
 573 define i1 @src_x_uadd.sat_c1_fail(i8 %x, i1 %c1) {
 574 ; CHECK-LABEL: @src_x_uadd.sat_c1_fail(
 575 ; CHECK-NEXT:    [[Y:%.*]] = zext i1 [[C1:%.*]] to i8
 576 ; CHECK-NEXT:    [[V:%.*]] = call i8 @llvm.uadd.sat.i8(i8 [[Y]], i8 [[X:%.*]])
 577 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8 [[V]], 0
 578 ; CHECK-NEXT:    ret i1 [[R]]
 579 ;
 580   %y = zext i1 %c1 to i8
 581   %v = call i8 @llvm.uadd.sat.i8(i8 %y, i8 %x)
 582   %r = icmp eq i8 %v, 0
 583   ret i1 %r
 584 }
 585