test/Transforms/InstSimplify/select.ll

   1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   2
   3 define i32 @test1(i32 %x) {
   4   %and = and i32 %x, 1
   5   %cmp = icmp eq i32 %and, 0
   6   %and1 = and i32 %x, -2
   7   %and1.x = select i1 %cmp, i32 %and1, i32 %x
   8   ret i32 %and1.x
   9 ; CHECK-LABEL: @test1(
  10 ; CHECK: ret i32 %x
  11 }
  12
  13 define i32 @test2(i32 %x) {
  14   %and = and i32 %x, 1
  15   %cmp = icmp ne i32 %and, 0
  16   %and1 = and i32 %x, -2
  17   %and1.x = select i1 %cmp, i32 %x, i32 %and1
  18   ret i32 %and1.x
  19 ; CHECK-LABEL: @test2(
  20 ; CHECK: ret i32 %x
  21 }
  22
  23 define i32 @test3(i32 %x) {
  24   %and = and i32 %x, 1
  25   %cmp = icmp ne i32 %and, 0
  26   %and1 = and i32 %x, -2
  27   %and1.x = select i1 %cmp, i32 %and1, i32 %x
  28   ret i32 %and1.x
  29 ; CHECK-LABEL: @test3(
  30 ; CHECK: %[[and:.*]] = and i32 %x, -2
  31 ; CHECK: ret i32 %[[and]]
  32 }
  33
  34 define i32 @test4(i32 %X) {
  35   %cmp = icmp slt i32 %X, 0
  36   %or = or i32 %X, -2147483648
  37   %cond = select i1 %cmp, i32 %X, i32 %or
  38   ret i32 %cond
  39 ; CHECK-LABEL: @test4
  40 ; CHECK: %[[or:.*]] = or i32 %X, -2147483648
  41 ; CHECK: ret i32 %[[or]]
  42 }
  43
  44 define i32 @test5(i32 %X) {
  45   %cmp = icmp slt i32 %X, 0
  46   %or = or i32 %X, -2147483648
  47   %cond = select i1 %cmp, i32 %or, i32 %X
  48   ret i32 %cond
  49 ; CHECK-LABEL: @test5
  50 ; CHECK: ret i32 %X
  51 }
  52
  53 define i32 @test6(i32 %X) {
  54   %cmp = icmp slt i32 %X, 0
  55   %and = and i32 %X, 2147483647
  56   %cond = select i1 %cmp, i32 %and, i32 %X
  57   ret i32 %cond
  58 ; CHECK-LABEL: @test6
  59 ; CHECK: %[[and:.*]] = and i32 %X, 2147483647
  60 ; CHECK: ret i32 %[[and]]
  61 }
  62
  63 define i32 @test7(i32 %X) {
  64   %cmp = icmp slt i32 %X, 0
  65   %and = and i32 %X, 2147483647
  66   %cond = select i1 %cmp, i32 %X, i32 %and
  67   ret i32 %cond
  68 ; CHECK-LABEL: @test7
  69 ; CHECK: ret i32 %X
  70 }
  71
  72 define i32 @test8(i32 %X) {
  73   %cmp = icmp sgt i32 %X, -1
  74   %or = or i32 %X, -2147483648
  75   %cond = select i1 %cmp, i32 %X, i32 %or
  76   ret i32 %cond
  77 ; CHECK-LABEL: @test8
  78 ; CHECK: ret i32 %X
  79 }
  80
  81 define i32 @test9(i32 %X) {
  82   %cmp = icmp sgt i32 %X, -1
  83   %or = or i32 %X, -2147483648
  84   %cond = select i1 %cmp, i32 %or, i32 %X
  85   ret i32 %cond
  86 ; CHECK-LABEL: @test9
  87 ; CHECK: %[[or:.*]] = or i32 %X, -2147483648
  88 ; CHECK: ret i32 %[[or]]
  89 }
  90
  91 define i32 @test10(i32 %X) {
  92   %cmp = icmp sgt i32 %X, -1
  93   %and = and i32 %X, 2147483647
  94   %cond = select i1 %cmp, i32 %and, i32 %X
  95   ret i32 %cond
  96 ; CHECK-LABEL: @test10
  97 ; CHECK: ret i32 %X
  98 }
  99
 100 define i32 @test11(i32 %X) {
 101   %cmp = icmp sgt i32 %X, -1
 102   %and = and i32 %X, 2147483647
 103   %cond = select i1 %cmp, i32 %X, i32 %and
 104   ret i32 %cond
 105 ; CHECK-LABEL: @test11
 106 ; CHECK: %[[and:.*]] = and i32 %X, 2147483647
 107 ; CHECK: ret i32 %[[and]]
 108 }
 109
 110 ; CHECK-LABEL: @select_icmp_and_8_eq_0_or_8(
 111 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 %x, 8
 112 ; CHECK-NEXT: ret i32 [[OR]]
 113 define i32 @select_icmp_and_8_eq_0_or_8(i32 %x) {
 114   %and = and i32 %x, 8
 115   %cmp = icmp eq i32 %and, 0
 116   %or = or i32 %x, 8
 117   %or.x = select i1 %cmp, i32 %or, i32 %x
 118   ret i32 %or.x
 119 }
 120
 121 ; CHECK-LABEL: @select_icmp_and_8_ne_0_and_not_8(
 122 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 %x, -9
 123 ; CHECK-NEXT: ret i32 [[AND]]
 124 define i32 @select_icmp_and_8_ne_0_and_not_8(i32 %x) {
 125   %and = and i32 %x, 8
 126   %cmp = icmp eq i32 %and, 0
 127   %and1 = and i32 %x, -9
 128   %x.and1 = select i1 %cmp, i32 %x, i32 %and1
 129   ret i32 %x.and1
 130 }
 131
 132 ; CHECK-LABEL: @select_icmp_and_8_eq_0_and_not_8(
 133 ; CHECK-NEXT: ret i32 %x
 134 define i32 @select_icmp_and_8_eq_0_and_not_8(i32 %x) {
 135   %and = and i32 %x, 8
 136   %cmp = icmp eq i32 %and, 0
 137   %and1 = and i32 %x, -9
 138   %and1.x = select i1 %cmp, i32 %and1, i32 %x
 139   ret i32 %and1.x
 140 }
 141
 142 ; CHECK-LABEL: @select_icmp_x_and_8_eq_0_y_and_not_8(
 143 ; CHECK: select i1 %cmp, i64 %y, i64 %and1
 144 define i64 @select_icmp_x_and_8_eq_0_y_and_not_8(i32 %x, i64 %y) {
 145   %and = and i32 %x, 8
 146   %cmp = icmp eq i32 %and, 0
 147   %and1 = and i64 %y, -9
 148   %y.and1 = select i1 %cmp, i64 %y, i64 %and1
 149   ret i64 %y.and1
 150 }
 151
 152 ; CHECK-LABEL: @select_icmp_x_and_8_ne_0_y_and_not_8(
 153 ; CHECK: select i1 %cmp, i64 %and1, i64 %y
 154 define i64 @select_icmp_x_and_8_ne_0_y_and_not_8(i32 %x, i64 %y) {
 155   %and = and i32 %x, 8
 156   %cmp = icmp eq i32 %and, 0
 157   %and1 = and i64 %y, -9
 158   %and1.y = select i1 %cmp, i64 %and1, i64 %y
 159   ret i64 %and1.y
 160 }
 161