test/Transforms/InstCombine/max-of-nots.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2
   3 define i32 @compute_min_2(i32 %x, i32 %y) {
   4 ; CHECK-LABEL: compute_min_2
   5  entry:
   6   %not_x = sub i32 -1, %x
   7   %not_y = sub i32 -1, %y
   8   %cmp = icmp sgt i32 %not_x, %not_y
   9   %not_min = select i1 %cmp, i32 %not_x, i32 %not_y
  10   %min = sub i32 -1, %not_min
  11   ret i32 %min
  12
  13 ; CHECK: %0 = icmp slt i32 %x, %y
  14 ; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y
  15 ; CHECK-NEXT: ret i32 %1
  16 }
  17
  18 define i32 @compute_min_3(i32 %x, i32 %y, i32 %z) {
  19 ; CHECK-LABEL: compute_min_3
  20  entry:
  21   %not_x = sub i32 -1, %x
  22   %not_y = sub i32 -1, %y
  23   %not_z = sub i32 -1, %z
  24   %cmp_1 = icmp sgt i32 %not_x, %not_y
  25   %not_min_1 = select i1 %cmp_1, i32 %not_x, i32 %not_y
  26   %cmp_2 = icmp sgt i32 %not_min_1, %not_z
  27   %not_min_2 = select i1 %cmp_2, i32 %not_min_1, i32 %not_z
  28   %min = sub i32 -1, %not_min_2
  29   ret i32 %min
  30
  31 ; CHECK: %0 = icmp slt i32 %x, %y
  32 ; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y
  33 ; CHECK-NEXT: %2 = icmp slt i32 %1, %z
  34 ; CHECK-NEXT: %3 = select i1 %2, i32 %1, i32 %z
  35 ; CHECK-NEXT: ret i32 %3
  36 }
  37
  38 define i32 @compute_min_arithmetic(i32 %x, i32 %y) {
  39 ; CHECK-LABEL: compute_min_arithmetic
  40  entry:
  41   %not_value = sub i32 3, %x
  42   %not_y = sub i32 -1, %y
  43   %cmp = icmp sgt i32 %not_value, %not_y
  44   %not_min = select i1 %cmp, i32 %not_value, i32 %not_y
  45   ret i32 %not_min
  46
  47 ; CHECK: %0 = add i32 %x, -4
  48 ; CHECK-NEXT: %1 = icmp slt i32 %0, %y
  49 ; CHECK-NEXT: %2 = select i1 %1, i32 %0, i32 %y
  50 ; CHECK-NEXT: %3 = xor i32 %2, -1
  51 ; CHECK-NEXT: ret i32 %3
  52 }
  53
  54 declare void @fake_use(i32)
  55
  56 define i32 @compute_min_pessimization(i32 %x, i32 %y) {
  57 ; CHECK-LABEL: compute_min_pessimization
  58  entry:
  59   %not_value = sub i32 3, %x
  60   call void @fake_use(i32 %not_value)
  61   %not_y = sub i32 -1, %y
  62   %cmp = icmp sgt i32 %not_value, %not_y
  63 ; CHECK: %not_value = sub i32 3, %x
  64 ; CHECK: %cmp = icmp sgt i32 %not_value, %not_y
  65   %not_min = select i1 %cmp, i32 %not_value, i32 %not_y
  66   %min = sub i32 -1, %not_min
  67   ret i32 %min
  68 }
  69
  70 define i32 @max_of_nots(i32 %x, i32 %y) {
  71 ; CHECK-LABEL: @max_of_nots(
  72 ; CHECK-NEXT: icmp
  73 ; CHECK-NEXT: select
  74 ; CHECK-NEXT: icmp
  75 ; CHECK-NEXT: select
  76 ; CHECK-NEXT: xor
  77 ; CHECK-NEXT: ret
  78   %c0 = icmp sgt i32 %y, 0
  79   %xor_y = xor i32 %y, -1
  80   %s0 = select i1 %c0, i32 %xor_y, i32 -1
  81   %xor_x = xor i32 %x, -1
  82   %c1 = icmp slt i32 %s0, %xor_x
  83   %smax96 = select i1 %c1, i32 %xor_x, i32 %s0
  84   ret i32 %smax96
  85 }