test/Transforms/CorrelatedValuePropagation/basic.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -correlated-propagation -S | FileCheck %s
   3 ; PR2581
   4
   5 define i32 @test1(i1 %C) {
   6 ; CHECK-LABEL: @test1(
   7 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[EXIT:%.*]], label [[BODY:%.*]]
   8 ; CHECK:       body:
   9 ; CHECK-NEXT:    ret i32 11
  10 ; CHECK:       exit:
  11 ; CHECK-NEXT:    ret i32 10
  12 ;
  13   br i1 %C, label %exit, label %body
  14
  15 body:           ; preds = %0
  16   %A = select i1 %C, i32 10, i32 11
  17   ret i32 %A
  18
  19 exit:           ; preds = %0
  20   ret i32 10
  21 }
  22
  23 ; PR4420
  24 declare i1 @ext()
  25 define i1 @test2() {
  26 ; CHECK-LABEL: @test2(
  27 ; CHECK-NEXT:  entry:
  28 ; CHECK-NEXT:    [[COND:%.*]] = tail call i1 @ext()
  29 ; CHECK-NEXT:    br i1 [[COND]], label [[BB1:%.*]], label [[BB2:%.*]]
  30 ; CHECK:       bb1:
  31 ; CHECK-NEXT:    [[COND2:%.*]] = tail call i1 @ext()
  32 ; CHECK-NEXT:    br i1 [[COND2]], label [[BB3:%.*]], label [[BB2]]
  33 ; CHECK:       bb2:
  34 ; CHECK-NEXT:    ret i1 false
  35 ; CHECK:       bb3:
  36 ; CHECK-NEXT:    [[RES:%.*]] = tail call i1 @ext()
  37 ; CHECK-NEXT:    ret i1 [[RES]]
  38 ;
  39 entry:
  40   %cond = tail call i1 @ext()
  41   br i1 %cond, label %bb1, label %bb2
  42
  43 bb1:
  44   %cond2 = tail call i1 @ext()
  45   br i1 %cond2, label %bb3, label %bb2
  46
  47 bb2:
  48   %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ]
  49   ret i1 %cond_merge
  50
  51 bb3:
  52   %res = tail call i1 @ext()
  53   ret i1 %res
  54 }
  55
  56 ; PR4855
  57 @gv = internal constant i8 7
  58 define i8 @test3(i8* %a) nounwind {
  59 ; CHECK-LABEL: @test3(
  60 ; CHECK-NEXT:  entry:
  61 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i8* [[A:%.*]], @gv
  62 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB:%.*]]
  63 ; CHECK:       bb:
  64 ; CHECK-NEXT:    ret i8 0
  65 ; CHECK:       bb2:
  66 ; CHECK-NEXT:    [[SHOULD_BE_CONST:%.*]] = load i8, i8* @gv
  67 ; CHECK-NEXT:    ret i8 [[SHOULD_BE_CONST]]
  68 ;
  69 entry:
  70   %cond = icmp eq i8* %a, @gv
  71   br i1 %cond, label %bb2, label %bb
  72
  73 bb:
  74   ret i8 0
  75
  76 bb2:
  77   %should_be_const = load i8, i8* %a
  78   ret i8 %should_be_const
  79 }
  80
  81 ; PR1757
  82 define i32 @test4(i32) {
  83 ; CHECK-LABEL: @test4(
  84 ; CHECK-NEXT:  EntryBlock:
  85 ; CHECK-NEXT:    [[DOTDEMORGAN:%.*]] = icmp sgt i32 [[TMP0:%.*]], 2
  86 ; CHECK-NEXT:    br i1 [[DOTDEMORGAN]], label [[GREATERTHANTWO:%.*]], label [[LESSTHANOREQUALTOTWO:%.*]]
  87 ; CHECK:       GreaterThanTwo:
  88 ; CHECK-NEXT:    br i1 false, label [[IMPOSSIBLE:%.*]], label [[NOTTWOANDGREATERTHANTWO:%.*]]
  89 ; CHECK:       NotTwoAndGreaterThanTwo:
  90 ; CHECK-NEXT:    ret i32 2
  91 ; CHECK:       Impossible:
  92 ; CHECK-NEXT:    ret i32 1
  93 ; CHECK:       LessThanOrEqualToTwo:
  94 ; CHECK-NEXT:    ret i32 0
  95 ;
  96 EntryBlock:
  97   %.demorgan = icmp sgt i32 %0, 2
  98   br i1 %.demorgan, label %GreaterThanTwo, label %LessThanOrEqualToTwo
  99
 100 GreaterThanTwo:
 101   icmp eq i32 %0, 2
 102   br i1 %1, label %Impossible, label %NotTwoAndGreaterThanTwo
 103
 104 NotTwoAndGreaterThanTwo:
 105   ret i32 2
 106
 107 Impossible:
 108   ret i32 1
 109
 110 LessThanOrEqualToTwo:
 111   ret i32 0
 112 }
 113
 114 declare i32* @f(i32*)
 115 define void @test5(i32* %x, i32* %y) {
 116 ; CHECK-LABEL: @test5(
 117 ; CHECK-NEXT:  entry:
 118 ; CHECK-NEXT:    [[PRE:%.*]] = icmp eq i32* [[X:%.*]], null
 119 ; CHECK-NEXT:    br i1 [[PRE]], label [[RETURN:%.*]], label [[LOOP:%.*]]
 120 ; CHECK:       loop:
 121 ; CHECK-NEXT:    [[PHI:%.*]] = phi i32* [ [[F:%.*]], [[LOOP]] ], [ [[X]], [[ENTRY:%.*]] ]
 122 ; CHECK-NEXT:    [[F]] = tail call i32* @f(i32* [[PHI]])
 123 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32* [[F]], [[Y:%.*]]
 124 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP1]], i32* [[F]], i32* null
 125 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32* [[SEL]], null
 126 ; CHECK-NEXT:    br i1 [[CMP2]], label [[RETURN]], label [[LOOP]]
 127 ; CHECK:       return:
 128 ; CHECK-NEXT:    ret void
 129 ;
 130 entry:
 131   %pre = icmp eq i32* %x, null
 132   br i1 %pre, label %return, label %loop
 133
 134 loop:
 135   %phi = phi i32* [ %sel, %loop ], [ %x, %entry ]
 136   %f = tail call i32* @f(i32* %phi)
 137   %cmp1 = icmp ne i32* %f, %y
 138   %sel = select i1 %cmp1, i32* %f, i32* null
 139   %cmp2 = icmp eq i32* %sel, null
 140   br i1 %cmp2, label %return, label %loop
 141
 142 return:
 143   ret void
 144 }
 145
 146 define i32 @switch1(i32 %s) {
 147 ; CHECK-LABEL: @switch1(
 148 ; CHECK-NEXT:  entry:
 149 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[S:%.*]], 0
 150 ; CHECK-NEXT:    br i1 [[CMP]], label [[NEGATIVE:%.*]], label [[OUT:%.*]]
 151 ; CHECK:       negative:
 152 ; CHECK-NEXT:    switch i32 [[S]], label [[OUT]] [
 153 ; CHECK-NEXT:    i32 -2, label [[NEXT:%.*]]
 154 ; CHECK-NEXT:    i32 -1, label [[NEXT]]
 155 ; CHECK-NEXT:    ]
 156 ; CHECK:       out:
 157 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ -1, [[NEGATIVE]] ]
 158 ; CHECK-NEXT:    ret i32 [[P]]
 159 ; CHECK:       next:
 160 ; CHECK-NEXT:    ret i32 0
 161 ;
 162 entry:
 163   %cmp = icmp slt i32 %s, 0
 164   br i1 %cmp, label %negative, label %out
 165
 166 negative:
 167   switch i32 %s, label %out [
 168   i32 0, label %out
 169   i32 1, label %out
 170   i32 -1, label %next
 171   i32 -2, label %next
 172   i32 2, label %out
 173   i32 3, label %out
 174   ]
 175
 176 out:
 177   %p = phi i32 [ 1, %entry ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ]
 178   ret i32 %p
 179
 180 next:
 181   %q = phi i32 [ 0, %negative ], [ 0, %negative ]
 182   ret i32 %q
 183 }
 184
 185 define i32 @switch2(i32 %s) {
 186 ; CHECK-LABEL: @switch2(
 187 ; CHECK-NEXT:  entry:
 188 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[S:%.*]], 0
 189 ; CHECK-NEXT:    br i1 [[CMP]], label [[POSITIVE:%.*]], label [[OUT:%.*]]
 190 ; CHECK:       positive:
 191 ; CHECK-NEXT:    br label [[OUT]]
 192 ; CHECK:       out:
 193 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ -1, [[ENTRY:%.*]] ], [ 1, [[POSITIVE]] ]
 194 ; CHECK-NEXT:    ret i32 [[P]]
 195 ; CHECK:       next:
 196 ; CHECK-NEXT:    ret i32 0
 197 ;
 198 entry:
 199   %cmp = icmp sgt i32 %s, 0
 200   br i1 %cmp, label %positive, label %out
 201
 202 positive:
 203   switch i32 %s, label %out [
 204   i32 0, label %out
 205   i32 -1, label %next
 206   i32 -2, label %next
 207   ]
 208
 209 out:
 210   %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ]
 211   ret i32 %p
 212
 213 next:
 214   %q = phi i32 [ 0, %positive ], [ 0, %positive ]
 215   ret i32 %q
 216 }
 217
 218 define i32 @switch3(i32 %s) {
 219 ; CHECK-LABEL: @switch3(
 220 ; CHECK-NEXT:  entry:
 221 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[S:%.*]], 0
 222 ; CHECK-NEXT:    br i1 [[CMP]], label [[POSITIVE:%.*]], label [[OUT:%.*]]
 223 ; CHECK:       positive:
 224 ; CHECK-NEXT:    br label [[OUT]]
 225 ; CHECK:       out:
 226 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ -1, [[ENTRY:%.*]] ], [ 1, [[POSITIVE]] ]
 227 ; CHECK-NEXT:    ret i32 [[P]]
 228 ; CHECK:       next:
 229 ; CHECK-NEXT:    ret i32 0
 230 ;
 231 entry:
 232   %cmp = icmp sgt i32 %s, 0
 233   br i1 %cmp, label %positive, label %out
 234
 235 positive:
 236   switch i32 %s, label %out [
 237   i32 -1, label %out
 238   i32 -2, label %next
 239   i32 -3, label %next
 240   ]
 241
 242 out:
 243   %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ]
 244   ret i32 %p
 245
 246 next:
 247   %q = phi i32 [ 0, %positive ], [ 0, %positive ]
 248   ret i32 %q
 249 }
 250
 251 define void @switch4(i32 %s) {
 252 ; CHECK-LABEL: @switch4(
 253 ; CHECK-NEXT:  entry:
 254 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[S:%.*]], 0
 255 ; CHECK-NEXT:    br i1 [[CMP]], label [[ZERO:%.*]], label [[OUT:%.*]]
 256 ; CHECK:       zero:
 257 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 258 ; CHECK:       out:
 259 ; CHECK-NEXT:    ret void
 260 ; CHECK:       next:
 261 ; CHECK-NEXT:    ret void
 262 ;
 263 entry:
 264   %cmp = icmp eq i32 %s, 0
 265   br i1 %cmp, label %zero, label %out
 266
 267 zero:
 268   switch i32 %s, label %out [
 269   i32 0, label %next
 270   i32 1, label %out
 271   i32 -1, label %out
 272   ]
 273
 274 out:
 275   ret void
 276
 277 next:
 278   ret void
 279 }
 280
 281 define i1 @arg_attribute(i8* nonnull %a) {
 282 ; CHECK-LABEL: @arg_attribute(
 283 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 284 ; CHECK:       exit:
 285 ; CHECK-NEXT:    ret i1 false
 286 ;
 287   %cmp = icmp eq i8* %a, null
 288   br label %exit
 289
 290 exit:
 291   ret i1 %cmp
 292 }
 293
 294 declare nonnull i8* @return_nonnull()
 295 define i1 @call_attribute() {
 296 ; CHECK-LABEL: @call_attribute(
 297 ; CHECK-NEXT:    [[A:%.*]] = call i8* @return_nonnull()
 298 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8* [[A]], null
 299 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 300 ; CHECK:       exit:
 301 ; CHECK-NEXT:    ret i1 false
 302 ;
 303   %a = call i8* @return_nonnull()
 304   %cmp = icmp eq i8* %a, null
 305   br label %exit
 306
 307 exit:
 308   ret i1 %cmp
 309 }
 310
 311 define i1 @umin(i32 %a, i32 %b) {
 312 ; CHECK-LABEL: @umin(
 313 ; CHECK-NEXT:  entry:
 314 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[A:%.*]], 5
 315 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 316 ; CHECK:       a_guard:
 317 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i32 [[B:%.*]], 20
 318 ; CHECK-NEXT:    br i1 [[CMP2]], label [[B_GUARD:%.*]], label [[OUT]]
 319 ; CHECK:       b_guard:
 320 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp ult i32 [[A]], [[B]]
 321 ; CHECK-NEXT:    [[MIN:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 [[B]]
 322 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[MIN]], 7
 323 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 324 ; CHECK:       next:
 325 ; CHECK-NEXT:    ret i1 false
 326 ; CHECK:       out:
 327 ; CHECK-NEXT:    ret i1 false
 328 ;
 329 entry:
 330   %cmp = icmp ult i32 %a, 5
 331   br i1 %cmp, label %a_guard, label %out
 332
 333 a_guard:
 334   %cmp2 = icmp ult i32 %b, 20
 335   br i1 %cmp2, label %b_guard, label %out
 336
 337 b_guard:
 338   %sel_cmp = icmp ult i32 %a, %b
 339   %min = select i1 %sel_cmp, i32 %a, i32 %b
 340   %res = icmp eq i32 %min, 7
 341   br label %next
 342 next:
 343   ret i1 %res
 344 out:
 345   ret i1 false
 346 }
 347
 348 define i1 @smin(i32 %a, i32 %b) {
 349 ; CHECK-LABEL: @smin(
 350 ; CHECK-NEXT:  entry:
 351 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[A:%.*]], 5
 352 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 353 ; CHECK:       a_guard:
 354 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i32 [[B:%.*]], 20
 355 ; CHECK-NEXT:    br i1 [[CMP2]], label [[B_GUARD:%.*]], label [[OUT]]
 356 ; CHECK:       b_guard:
 357 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp sle i32 [[A]], [[B]]
 358 ; CHECK-NEXT:    [[MIN:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 [[B]]
 359 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[MIN]], 7
 360 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 361 ; CHECK:       next:
 362 ; CHECK-NEXT:    ret i1 false
 363 ; CHECK:       out:
 364 ; CHECK-NEXT:    ret i1 false
 365 ;
 366 entry:
 367   %cmp = icmp ult i32 %a, 5
 368   br i1 %cmp, label %a_guard, label %out
 369
 370 a_guard:
 371   %cmp2 = icmp ult i32 %b, 20
 372   br i1 %cmp2, label %b_guard, label %out
 373
 374 b_guard:
 375   %sel_cmp = icmp sle i32 %a, %b
 376   %min = select i1 %sel_cmp, i32 %a, i32 %b
 377   %res = icmp eq i32 %min, 7
 378   br label %next
 379 next:
 380   ret i1 %res
 381 out:
 382   ret i1 false
 383 }
 384
 385 define i1 @smax(i32 %a, i32 %b) {
 386 ; CHECK-LABEL: @smax(
 387 ; CHECK-NEXT:  entry:
 388 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], 5
 389 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 390 ; CHECK:       a_guard:
 391 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[B:%.*]], 20
 392 ; CHECK-NEXT:    br i1 [[CMP2]], label [[B_GUARD:%.*]], label [[OUT]]
 393 ; CHECK:       b_guard:
 394 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp sge i32 [[A]], [[B]]
 395 ; CHECK-NEXT:    [[MAX:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 [[B]]
 396 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[MAX]], 7
 397 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 398 ; CHECK:       next:
 399 ; CHECK-NEXT:    ret i1 false
 400 ; CHECK:       out:
 401 ; CHECK-NEXT:    ret i1 false
 402 ;
 403 entry:
 404   %cmp = icmp sgt i32 %a, 5
 405   br i1 %cmp, label %a_guard, label %out
 406
 407 a_guard:
 408   %cmp2 = icmp sgt i32 %b, 20
 409   br i1 %cmp2, label %b_guard, label %out
 410
 411 b_guard:
 412   %sel_cmp = icmp sge i32 %a, %b
 413   %max = select i1 %sel_cmp, i32 %a, i32 %b
 414   %res = icmp eq i32 %max, 7
 415   br label %next
 416 next:
 417   ret i1 %res
 418 out:
 419   ret i1 false
 420 }
 421
 422 define i1 @umax(i32 %a, i32 %b) {
 423 ; CHECK-LABEL: @umax(
 424 ; CHECK-NEXT:  entry:
 425 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], 5
 426 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 427 ; CHECK:       a_guard:
 428 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[B:%.*]], 20
 429 ; CHECK-NEXT:    br i1 [[CMP2]], label [[B_GUARD:%.*]], label [[OUT]]
 430 ; CHECK:       b_guard:
 431 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp uge i32 [[A]], [[B]]
 432 ; CHECK-NEXT:    [[MAX:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 [[B]]
 433 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[MAX]], 7
 434 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 435 ; CHECK:       next:
 436 ; CHECK-NEXT:    ret i1 false
 437 ; CHECK:       out:
 438 ; CHECK-NEXT:    ret i1 false
 439 ;
 440 entry:
 441   %cmp = icmp sgt i32 %a, 5
 442   br i1 %cmp, label %a_guard, label %out
 443
 444 a_guard:
 445   %cmp2 = icmp sgt i32 %b, 20
 446   br i1 %cmp2, label %b_guard, label %out
 447
 448 b_guard:
 449   %sel_cmp = icmp uge i32 %a, %b
 450   %max = select i1 %sel_cmp, i32 %a, i32 %b
 451   %res = icmp eq i32 %max, 7
 452   br label %next
 453 next:
 454   ret i1 %res
 455 out:
 456   ret i1 false
 457 }
 458
 459 define i1 @clamp_low1(i32 %a) {
 460 ; CHECK-LABEL: @clamp_low1(
 461 ; CHECK-NEXT:  entry:
 462 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[A:%.*]], 5
 463 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 464 ; CHECK:       a_guard:
 465 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp eq i32 [[A]], 5
 466 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[A]], -1
 467 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[SEL_CMP]], i32 5, i32 [[A]]
 468 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[SEL]], 4
 469 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 470 ; CHECK:       next:
 471 ; CHECK-NEXT:    ret i1 false
 472 ; CHECK:       out:
 473 ; CHECK-NEXT:    ret i1 false
 474 ;
 475 entry:
 476   %cmp = icmp sge i32 %a, 5
 477   br i1 %cmp, label %a_guard, label %out
 478
 479 a_guard:
 480   %sel_cmp = icmp eq i32 %a, 5
 481   %add = add i32 %a, -1
 482   %sel = select i1 %sel_cmp, i32 5, i32 %a
 483   %res = icmp eq i32 %sel, 4
 484   br label %next
 485 next:
 486   ret i1 %res
 487 out:
 488   ret i1 false
 489 }
 490
 491 define i1 @clamp_low2(i32 %a) {
 492 ; CHECK-LABEL: @clamp_low2(
 493 ; CHECK-NEXT:  entry:
 494 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[A:%.*]], 5
 495 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 496 ; CHECK:       a_guard:
 497 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp ne i32 [[A]], 5
 498 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[A]], -1
 499 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 5
 500 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[SEL]], 4
 501 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 502 ; CHECK:       next:
 503 ; CHECK-NEXT:    ret i1 false
 504 ; CHECK:       out:
 505 ; CHECK-NEXT:    ret i1 false
 506 ;
 507 entry:
 508   %cmp = icmp sge i32 %a, 5
 509   br i1 %cmp, label %a_guard, label %out
 510
 511 a_guard:
 512   %sel_cmp = icmp ne i32 %a, 5
 513   %add = add i32 %a, -1
 514   %sel = select i1 %sel_cmp, i32 %a, i32 5
 515   %res = icmp eq i32 %sel, 4
 516   br label %next
 517 next:
 518   ret i1 %res
 519 out:
 520   ret i1 false
 521 }
 522
 523 define i1 @clamp_high1(i32 %a) {
 524 ; CHECK-LABEL: @clamp_high1(
 525 ; CHECK-NEXT:  entry:
 526 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A:%.*]], 5
 527 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 528 ; CHECK:       a_guard:
 529 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp eq i32 [[A]], 5
 530 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[A]], 1
 531 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[SEL_CMP]], i32 5, i32 [[A]]
 532 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[SEL]], 6
 533 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 534 ; CHECK:       next:
 535 ; CHECK-NEXT:    ret i1 false
 536 ; CHECK:       out:
 537 ; CHECK-NEXT:    ret i1 false
 538 ;
 539 entry:
 540   %cmp = icmp sle i32 %a, 5
 541   br i1 %cmp, label %a_guard, label %out
 542
 543 a_guard:
 544   %sel_cmp = icmp eq i32 %a, 5
 545   %add = add i32 %a, 1
 546   %sel = select i1 %sel_cmp, i32 5, i32 %a
 547   %res = icmp eq i32 %sel, 6
 548   br label %next
 549 next:
 550   ret i1 %res
 551 out:
 552   ret i1 false
 553 }
 554
 555 define i1 @clamp_high2(i32 %a) {
 556 ; CHECK-LABEL: @clamp_high2(
 557 ; CHECK-NEXT:  entry:
 558 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A:%.*]], 5
 559 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 560 ; CHECK:       a_guard:
 561 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp ne i32 [[A]], 5
 562 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[A]], 1
 563 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 5
 564 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[SEL]], 6
 565 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 566 ; CHECK:       next:
 567 ; CHECK-NEXT:    ret i1 false
 568 ; CHECK:       out:
 569 ; CHECK-NEXT:    ret i1 false
 570 ;
 571 entry:
 572   %cmp = icmp sle i32 %a, 5
 573   br i1 %cmp, label %a_guard, label %out
 574
 575 a_guard:
 576   %sel_cmp = icmp ne i32 %a, 5
 577   %add = add i32 %a, 1
 578   %sel = select i1 %sel_cmp, i32 %a, i32 5
 579   %res = icmp eq i32 %sel, 6
 580   br label %next
 581 next:
 582   ret i1 %res
 583 out:
 584   ret i1 false
 585 }
 586
 587 ; Just showing arbitrary constants work, not really a clamp
 588 define i1 @clamp_high3(i32 %a) {
 589 ; CHECK-LABEL: @clamp_high3(
 590 ; CHECK-NEXT:  entry:
 591 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A:%.*]], 5
 592 ; CHECK-NEXT:    br i1 [[CMP]], label [[A_GUARD:%.*]], label [[OUT:%.*]]
 593 ; CHECK:       a_guard:
 594 ; CHECK-NEXT:    [[SEL_CMP:%.*]] = icmp ne i32 [[A]], 5
 595 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[A]], 100
 596 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[SEL_CMP]], i32 [[A]], i32 5
 597 ; CHECK-NEXT:    [[RES:%.*]] = icmp eq i32 [[SEL]], 105
 598 ; CHECK-NEXT:    br label [[NEXT:%.*]]
 599 ; CHECK:       next:
 600 ; CHECK-NEXT:    ret i1 false
 601 ; CHECK:       out:
 602 ; CHECK-NEXT:    ret i1 false
 603 ;
 604 entry:
 605   %cmp = icmp sle i32 %a, 5
 606   br i1 %cmp, label %a_guard, label %out
 607
 608 a_guard:
 609   %sel_cmp = icmp ne i32 %a, 5
 610   %add = add i32 %a, 100
 611   %sel = select i1 %sel_cmp, i32 %a, i32 5
 612   %res = icmp eq i32 %sel, 105
 613   br label %next
 614 next:
 615   ret i1 %res
 616 out:
 617   ret i1 false
 618 }
 619
 620 define void @abs1(i32 %a, i1* %p) {
 621 ; CHECK-LABEL: @abs1(
 622 ; CHECK-NEXT:  entry:
 623 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[A:%.*]], 10
 624 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[A]], -20
 625 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 626 ; CHECK-NEXT:    br i1 [[AND]], label [[GUARD:%.*]], label [[EXIT:%.*]]
 627 ; CHECK:       guard:
 628 ; CHECK-NEXT:    [[SUB:%.*]] = sub nsw i32 0, [[A]]
 629 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[A]], 0
 630 ; CHECK-NEXT:    [[ABS:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[A]]
 631 ; CHECK-NEXT:    br label [[SPLIT:%.*]]
 632 ; CHECK:       split:
 633 ; CHECK-NEXT:    store i1 true, i1* [[P:%.*]]
 634 ; CHECK-NEXT:    [[C2:%.*]] = icmp slt i32 [[ABS]], 19
 635 ; CHECK-NEXT:    store i1 [[C2]], i1* [[P]]
 636 ; CHECK-NEXT:    store i1 true, i1* [[P]]
 637 ; CHECK-NEXT:    [[C4:%.*]] = icmp sge i32 [[ABS]], 1
 638 ; CHECK-NEXT:    store i1 [[C4]], i1* [[P]]
 639 ; CHECK-NEXT:    br label [[EXIT]]
 640 ; CHECK:       exit:
 641 ; CHECK-NEXT:    ret void
 642 ;
 643 entry:
 644   %cmp1 = icmp slt i32 %a, 10
 645   %cmp2 = icmp sgt i32 %a, -20
 646   %and = and i1 %cmp1, %cmp2
 647   br i1 %and, label %guard, label %exit
 648
 649 guard:
 650   %sub = sub i32 0, %a
 651   %cmp = icmp slt i32 %a, 0
 652   %abs = select i1 %cmp, i32 %sub, i32 %a
 653   br label %split
 654
 655 split:
 656   %c1 = icmp slt i32 %abs, 20
 657   store i1 %c1, i1* %p
 658   %c2 = icmp slt i32 %abs, 19
 659   store i1 %c2, i1* %p
 660   %c3 = icmp sge i32 %abs, 0
 661   store i1 %c3, i1* %p
 662   %c4 = icmp sge i32 %abs, 1
 663   store i1 %c4, i1* %p
 664   br label %exit
 665
 666 exit:
 667   ret void
 668 }
 669
 670 define void @abs2(i32 %a, i1* %p) {
 671 ; CHECK-LABEL: @abs2(
 672 ; CHECK-NEXT:  entry:
 673 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[A:%.*]], 10
 674 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[A]], -20
 675 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 676 ; CHECK-NEXT:    br i1 [[AND]], label [[GUARD:%.*]], label [[EXIT:%.*]]
 677 ; CHECK:       guard:
 678 ; CHECK-NEXT:    [[SUB:%.*]] = sub nsw i32 0, [[A]]
 679 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[A]], 0
 680 ; CHECK-NEXT:    [[ABS:%.*]] = select i1 [[CMP]], i32 [[A]], i32 [[SUB]]
 681 ; CHECK-NEXT:    br label [[SPLIT:%.*]]
 682 ; CHECK:       split:
 683 ; CHECK-NEXT:    store i1 true, i1* [[P:%.*]]
 684 ; CHECK-NEXT:    [[C2:%.*]] = icmp slt i32 [[ABS]], 19
 685 ; CHECK-NEXT:    store i1 [[C2]], i1* [[P]]
 686 ; CHECK-NEXT:    store i1 true, i1* [[P]]
 687 ; CHECK-NEXT:    [[C4:%.*]] = icmp sge i32 [[ABS]], 1
 688 ; CHECK-NEXT:    store i1 [[C4]], i1* [[P]]
 689 ; CHECK-NEXT:    br label [[EXIT]]
 690 ; CHECK:       exit:
 691 ; CHECK-NEXT:    ret void
 692 ;
 693 entry:
 694   %cmp1 = icmp slt i32 %a, 10
 695   %cmp2 = icmp sgt i32 %a, -20
 696   %and = and i1 %cmp1, %cmp2
 697   br i1 %and, label %guard, label %exit
 698
 699 guard:
 700   %sub = sub i32 0, %a
 701   %cmp = icmp sge i32 %a, 0
 702   %abs = select i1 %cmp, i32 %a, i32 %sub
 703   br label %split
 704
 705 split:
 706   %c1 = icmp slt i32 %abs, 20
 707   store i1 %c1, i1* %p
 708   %c2 = icmp slt i32 %abs, 19
 709   store i1 %c2, i1* %p
 710   %c3 = icmp sge i32 %abs, 0
 711   store i1 %c3, i1* %p
 712   %c4 = icmp sge i32 %abs, 1
 713   store i1 %c4, i1* %p
 714   br label %exit
 715
 716 exit:
 717   ret void
 718 }
 719
 720 define void @nabs1(i32 %a, i1* %p) {
 721 ; CHECK-LABEL: @nabs1(
 722 ; CHECK-NEXT:  entry:
 723 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[A:%.*]], 10
 724 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[A]], -20
 725 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 726 ; CHECK-NEXT:    br i1 [[AND]], label [[GUARD:%.*]], label [[EXIT:%.*]]
 727 ; CHECK:       guard:
 728 ; CHECK-NEXT:    [[SUB:%.*]] = sub nsw i32 0, [[A]]
 729 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[A]], 0
 730 ; CHECK-NEXT:    [[NABS:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[A]]
 731 ; CHECK-NEXT:    br label [[SPLIT:%.*]]
 732 ; CHECK:       split:
 733 ; CHECK-NEXT:    store i1 true, i1* [[P:%.*]]
 734 ; CHECK-NEXT:    [[C2:%.*]] = icmp sgt i32 [[NABS]], -19
 735 ; CHECK-NEXT:    store i1 [[C2]], i1* [[P]]
 736 ; CHECK-NEXT:    store i1 true, i1* [[P]]
 737 ; CHECK-NEXT:    [[C4:%.*]] = icmp sle i32 [[NABS]], -1
 738 ; CHECK-NEXT:    store i1 [[C4]], i1* [[P]]
 739 ; CHECK-NEXT:    br label [[EXIT]]
 740 ; CHECK:       exit:
 741 ; CHECK-NEXT:    ret void
 742 ;
 743 entry:
 744   %cmp1 = icmp slt i32 %a, 10
 745   %cmp2 = icmp sgt i32 %a, -20
 746   %and = and i1 %cmp1, %cmp2
 747   br i1 %and, label %guard, label %exit
 748
 749 guard:
 750   %sub = sub i32 0, %a
 751   %cmp = icmp sgt i32 %a, 0
 752   %nabs = select i1 %cmp, i32 %sub, i32 %a
 753   br label %split
 754
 755 split:
 756   %c1 = icmp sgt i32 %nabs, -20
 757   store i1 %c1, i1* %p
 758   %c2 = icmp sgt i32 %nabs, -19
 759   store i1 %c2, i1* %p
 760   %c3 = icmp sle i32 %nabs, 0
 761   store i1 %c3, i1* %p
 762   %c4 = icmp sle i32 %nabs, -1
 763   store i1 %c4, i1* %p
 764   br label %exit
 765
 766 exit:
 767   ret void
 768 }
 769
 770 define void @nabs2(i32 %a, i1* %p) {
 771 ; CHECK-LABEL: @nabs2(
 772 ; CHECK-NEXT:  entry:
 773 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[A:%.*]], 10
 774 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[A]], -20
 775 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 776 ; CHECK-NEXT:    br i1 [[AND]], label [[GUARD:%.*]], label [[EXIT:%.*]]
 777 ; CHECK:       guard:
 778 ; CHECK-NEXT:    [[SUB:%.*]] = sub nsw i32 0, [[A]]
 779 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[A]], 0
 780 ; CHECK-NEXT:    [[NABS:%.*]] = select i1 [[CMP]], i32 [[A]], i32 [[SUB]]
 781 ; CHECK-NEXT:    br label [[SPLIT:%.*]]
 782 ; CHECK:       split:
 783 ; CHECK-NEXT:    store i1 true, i1* [[P:%.*]]
 784 ; CHECK-NEXT:    [[C2:%.*]] = icmp sgt i32 [[NABS]], -19
 785 ; CHECK-NEXT:    store i1 [[C2]], i1* [[P]]
 786 ; CHECK-NEXT:    store i1 true, i1* [[P]]
 787 ; CHECK-NEXT:    [[C4:%.*]] = icmp sle i32 [[NABS]], -1
 788 ; CHECK-NEXT:    store i1 [[C4]], i1* [[P]]
 789 ; CHECK-NEXT:    br label [[EXIT]]
 790 ; CHECK:       exit:
 791 ; CHECK-NEXT:    ret void
 792 ;
 793 entry:
 794   %cmp1 = icmp slt i32 %a, 10
 795   %cmp2 = icmp sgt i32 %a, -20
 796   %and = and i1 %cmp1, %cmp2
 797   br i1 %and, label %guard, label %exit
 798
 799 guard:
 800   %sub = sub i32 0, %a
 801   %cmp = icmp slt i32 %a, 0
 802   %nabs = select i1 %cmp, i32 %a, i32 %sub
 803   br label %split
 804
 805 split:
 806   %c1 = icmp sgt i32 %nabs, -20
 807   store i1 %c1, i1* %p
 808   %c2 = icmp sgt i32 %nabs, -19
 809   store i1 %c2, i1* %p
 810   %c3 = icmp sle i32 %nabs, 0
 811   store i1 %c3, i1* %p
 812   %c4 = icmp sle i32 %nabs, -1
 813   store i1 %c4, i1* %p
 814   br label %exit
 815
 816 exit:
 817   ret void
 818 }
 819
 820 define i1 @zext_unknown(i8 %a) {
 821 ; CHECK-LABEL: @zext_unknown(
 822 ; CHECK-NEXT:  entry:
 823 ; CHECK-NEXT:    [[A32:%.*]] = zext i8 [[A:%.*]] to i32
 824 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A32]], 256
 825 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 826 ; CHECK:       exit:
 827 ; CHECK-NEXT:    ret i1 true
 828 ;
 829 entry:
 830   %a32 = zext i8 %a to i32
 831   %cmp = icmp sle i32 %a32, 256
 832   br label %exit
 833 exit:
 834   ret i1 %cmp
 835 }
 836
 837 define i1 @trunc_unknown(i32 %a) {
 838 ; CHECK-LABEL: @trunc_unknown(
 839 ; CHECK-NEXT:  entry:
 840 ; CHECK-NEXT:    [[A8:%.*]] = trunc i32 [[A:%.*]] to i8
 841 ; CHECK-NEXT:    [[A32:%.*]] = sext i8 [[A8]] to i32
 842 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A32]], 128
 843 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 844 ; CHECK:       exit:
 845 ; CHECK-NEXT:    ret i1 true
 846 ;
 847 entry:
 848   %a8 = trunc i32 %a to i8
 849   %a32 = sext i8 %a8 to i32
 850   %cmp = icmp sle i32 %a32, 128
 851   br label %exit
 852 exit:
 853   ret i1 %cmp
 854 }
 855
 856 ; TODO: missed optimization
 857 ; Make sure we exercise non-integer inputs to unary operators (i.e. crash check).
 858 define i1 @bitcast_unknown(float %a) {
 859 ; CHECK-LABEL: @bitcast_unknown(
 860 ; CHECK-NEXT:  entry:
 861 ; CHECK-NEXT:    [[A32:%.*]] = bitcast float [[A:%.*]] to i32
 862 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[A32]], 128
 863 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 864 ; CHECK:       exit:
 865 ; CHECK-NEXT:    ret i1 [[CMP]]
 866 ;
 867 entry:
 868   %a32 = bitcast float %a to i32
 869   %cmp = icmp sle i32 %a32, 128
 870   br label %exit
 871 exit:
 872   ret i1 %cmp
 873 }
 874
 875 define i1 @bitcast_unknown2(i8* %p) {
 876 ; CHECK-LABEL: @bitcast_unknown2(
 877 ; CHECK-NEXT:  entry:
 878 ; CHECK-NEXT:    [[P64:%.*]] = ptrtoint i8* [[P:%.*]] to i64
 879 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i64 [[P64]], 128
 880 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 881 ; CHECK:       exit:
 882 ; CHECK-NEXT:    ret i1 [[CMP]]
 883 ;
 884 entry:
 885   %p64 = ptrtoint i8* %p to i64
 886   %cmp = icmp sle i64 %p64, 128
 887   br label %exit
 888 exit:
 889   ret i1 %cmp
 890 }
 891
 892
 893 define i1 @and_unknown(i32 %a) {
 894 ; CHECK-LABEL: @and_unknown(
 895 ; CHECK-NEXT:  entry:
 896 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[A:%.*]], 128
 897 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[AND]], 128
 898 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 899 ; CHECK:       exit:
 900 ; CHECK-NEXT:    ret i1 true
 901 ;
 902 entry:
 903   %and = and i32 %a, 128
 904   %cmp = icmp sle i32 %and, 128
 905   br label %exit
 906 exit:
 907   ret i1 %cmp
 908 }
 909
 910 define i1 @lshr_unknown(i32 %a) {
 911 ; CHECK-LABEL: @lshr_unknown(
 912 ; CHECK-NEXT:  entry:
 913 ; CHECK-NEXT:    [[AND:%.*]] = lshr i32 [[A:%.*]], 30
 914 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sle i32 [[AND]], 128
 915 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 916 ; CHECK:       exit:
 917 ; CHECK-NEXT:    ret i1 true
 918 ;
 919 entry:
 920   %and = lshr i32 %a, 30
 921   %cmp = icmp sle i32 %and, 128
 922   br label %exit
 923 exit:
 924   ret i1 %cmp
 925 }
 926
 927 define i1 @urem_unknown(i32 %a) {
 928 ; CHECK-LABEL: @urem_unknown(
 929 ; CHECK-NEXT:  entry:
 930 ; CHECK-NEXT:    [[UREM:%.*]] = urem i32 [[A:%.*]], 30
 931 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[UREM]], 30
 932 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 933 ; CHECK:       exit:
 934 ; CHECK-NEXT:    ret i1 true
 935 ;
 936 entry:
 937   %urem = urem i32 %a, 30
 938   %cmp = icmp ult i32 %urem, 30
 939   br label %exit
 940 exit:
 941   ret i1 %cmp
 942 }
 943
 944 define i1 @srem_unknown(i32 %a) {
 945 ; CHECK-LABEL: @srem_unknown(
 946 ; CHECK-NEXT:  entry:
 947 ; CHECK-NEXT:    [[SREM:%.*]] = srem i32 [[A:%.*]], 30
 948 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[SREM]], 30
 949 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[SREM]], -30
 950 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
 951 ; CHECK:       exit1:
 952 ; CHECK-NEXT:    ret i1 true
 953 ; CHECK:       exit2:
 954 ; CHECK-NEXT:    ret i1 true
 955 ;
 956 entry:
 957   %srem = srem i32 %a, 30
 958   %cmp1 = icmp slt i32 %srem, 30
 959   %cmp2 = icmp sgt i32 %srem, -30
 960   br i1 undef, label %exit1, label %exit2
 961 exit1:
 962   ret i1 %cmp1
 963 exit2:
 964   ret i1 %cmp2
 965 }
 966
 967 define i1 @sdiv_unknown(i32 %a) {
 968 ; CHECK-LABEL: @sdiv_unknown(
 969 ; CHECK-NEXT:  entry:
 970 ; CHECK-NEXT:    [[SREM:%.*]] = sdiv i32 [[A:%.*]], 123
 971 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[SREM]], 17459217
 972 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[SREM]], -17459217
 973 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
 974 ; CHECK:       exit1:
 975 ; CHECK-NEXT:    ret i1 true
 976 ; CHECK:       exit2:
 977 ; CHECK-NEXT:    ret i1 true
 978 ;
 979 entry:
 980   %srem = sdiv i32 %a, 123
 981   %cmp1 = icmp slt i32 %srem, 17459217
 982   %cmp2 = icmp sgt i32 %srem, -17459217
 983   br i1 undef, label %exit1, label %exit2
 984 exit1:
 985   ret i1 %cmp1
 986 exit2:
 987   ret i1 %cmp2
 988 }
 989
 990 define i1 @uadd_sat_unknown(i32 %a) {
 991 ; CHECK-LABEL: @uadd_sat_unknown(
 992 ; CHECK-NEXT:  entry:
 993 ; CHECK-NEXT:    [[VAL:%.*]] = call i32 @llvm.uadd.sat.i32(i32 [[A:%.*]], i32 100)
 994 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i32 [[VAL]], 100
 995 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i32 [[VAL]], 100
 996 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
 997 ; CHECK:       exit1:
 998 ; CHECK-NEXT:    ret i1 true
 999 ; CHECK:       exit2:
1000 ; CHECK-NEXT:    ret i1 [[CMP2]]
1001 ;
1002 entry:
1003   %val = call i32 @llvm.uadd.sat.i32(i32 %a, i32 100)
1004   %cmp1 = icmp uge i32 %val, 100
1005   %cmp2 = icmp ugt i32 %val, 100
1006   br i1 undef, label %exit1, label %exit2
1007 exit1:
1008   ret i1 %cmp1
1009 exit2:
1010   ret i1 %cmp2
1011 }
1012
1013 define i1 @usub_sat_unknown(i32 %a) {
1014 ; CHECK-LABEL: @usub_sat_unknown(
1015 ; CHECK-NEXT:  entry:
1016 ; CHECK-NEXT:    [[VAL:%.*]] = call i32 @llvm.usub.sat.i32(i32 [[A:%.*]], i32 100)
1017 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i32 [[VAL]], -101
1018 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i32 [[VAL]], -101
1019 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
1020 ; CHECK:       exit1:
1021 ; CHECK-NEXT:    ret i1 true
1022 ; CHECK:       exit2:
1023 ; CHECK-NEXT:    ret i1 [[CMP2]]
1024 ;
1025 entry:
1026   %val = call i32 @llvm.usub.sat.i32(i32 %a, i32 100)
1027   %cmp1 = icmp ule i32 %val, 4294967195
1028   %cmp2 = icmp ult i32 %val, 4294967195
1029   br i1 undef, label %exit1, label %exit2
1030 exit1:
1031   ret i1 %cmp1
1032 exit2:
1033   ret i1 %cmp2
1034 }
1035
1036 define i1 @sadd_sat_unknown(i32 %a) {
1037 ; CHECK-LABEL: @sadd_sat_unknown(
1038 ; CHECK-NEXT:  entry:
1039 ; CHECK-NEXT:    [[VAL:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[A:%.*]], i32 100)
1040 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i32 [[VAL]], -2147483548
1041 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[VAL]], -2147483548
1042 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
1043 ; CHECK:       exit1:
1044 ; CHECK-NEXT:    ret i1 true
1045 ; CHECK:       exit2:
1046 ; CHECK-NEXT:    ret i1 [[CMP2]]
1047 ;
1048 entry:
1049   %val = call i32 @llvm.sadd.sat.i32(i32 %a, i32 100)
1050   %cmp1 = icmp sge i32 %val, -2147483548
1051   %cmp2 = icmp sgt i32 %val, -2147483548
1052   br i1 undef, label %exit1, label %exit2
1053 exit1:
1054   ret i1 %cmp1
1055 exit2:
1056   ret i1 %cmp2
1057 }
1058
1059 define i1 @ssub_sat_unknown(i32 %a) {
1060 ; CHECK-LABEL: @ssub_sat_unknown(
1061 ; CHECK-NEXT:  entry:
1062 ; CHECK-NEXT:    [[VAL:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[A:%.*]], i32 100)
1063 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i32 [[VAL]], 2147483547
1064 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i32 [[VAL]], 2147483547
1065 ; CHECK-NEXT:    br i1 undef, label [[EXIT1:%.*]], label [[EXIT2:%.*]]
1066 ; CHECK:       exit1:
1067 ; CHECK-NEXT:    ret i1 true
1068 ; CHECK:       exit2:
1069 ; CHECK-NEXT:    ret i1 [[CMP2]]
1070 ;
1071 entry:
1072   %val = call i32 @llvm.ssub.sat.i32(i32 %a, i32 100)
1073   %cmp1 = icmp sle i32 %val, 2147483547
1074   %cmp2 = icmp slt i32 %val, 2147483547
1075   br i1 undef, label %exit1, label %exit2
1076 exit1:
1077   ret i1 %cmp1
1078 exit2:
1079   ret i1 %cmp2
1080 }
1081
1082 declare i32 @llvm.uadd.sat.i32(i32, i32)
1083 declare i32 @llvm.usub.sat.i32(i32, i32)
1084 declare i32 @llvm.sadd.sat.i32(i32, i32)
1085 declare i32 @llvm.ssub.sat.i32(i32, i32)