llvm/test/Transforms/InstSimplify/and-or-implied-cond.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 i1 @or_implied(i8 %x, i1 %c) {
   5 ; CHECK-LABEL: @or_implied(
   6 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
   7 ; CHECK-NEXT:    ret i1 [[CMP2]]
   8 ;
   9   %cmp = icmp eq i8 %x, 0
  10   %cmp2 = icmp ne i8 %x, 1
  11   %and = and i1 %cmp, %c
  12   %or = or i1 %and, %cmp2
  13   ret i1 %or
  14 }
  15
  16 define i1 @or_implied_comm1(i8 %x, i1 %c) {
  17 ; CHECK-LABEL: @or_implied_comm1(
  18 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
  19 ; CHECK-NEXT:    ret i1 [[CMP2]]
  20 ;
  21   %cmp = icmp eq i8 %x, 0
  22   %cmp2 = icmp ne i8 %x, 1
  23   %and = and i1 %cmp, %c
  24   %or = or i1 %cmp2, %and
  25   ret i1 %or
  26 }
  27
  28 define i1 @or_implied_comm2(i8 %x, i1 %c) {
  29 ; CHECK-LABEL: @or_implied_comm2(
  30 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
  31 ; CHECK-NEXT:    ret i1 [[CMP2]]
  32 ;
  33   %cmp = icmp eq i8 %x, 0
  34   %cmp2 = icmp ne i8 %x, 1
  35   %and = and i1 %c, %cmp
  36   %or = or i1 %and, %cmp2
  37   ret i1 %or
  38 }
  39
  40 define i1 @or_implied_comm3(i8 %x, i1 %c) {
  41 ; CHECK-LABEL: @or_implied_comm3(
  42 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
  43 ; CHECK-NEXT:    ret i1 [[CMP2]]
  44 ;
  45   %cmp = icmp eq i8 %x, 0
  46   %cmp2 = icmp ne i8 %x, 1
  47   %and = and i1 %c, %cmp
  48   %or = or i1 %cmp2, %and
  49   ret i1 %or
  50 }
  51
  52 define i1 @or_not_implied(i8 %x, i1 %c) {
  53 ; CHECK-LABEL: @or_not_implied(
  54 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
  55 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[X]], 0
  56 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP]], [[C:%.*]]
  57 ; CHECK-NEXT:    [[OR:%.*]] = or i1 [[AND]], [[CMP2]]
  58 ; CHECK-NEXT:    ret i1 [[OR]]
  59 ;
  60   %cmp = icmp eq i8 %x, 0
  61   %cmp2 = icmp ne i8 %x, 0
  62   %and = and i1 %cmp, %c
  63   %or = or i1 %and, %cmp2
  64   ret i1 %or
  65 }
  66
  67 define i1 @and_implied(i8 %x, i1 %c) {
  68 ; CHECK-LABEL: @and_implied(
  69 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
  70 ; CHECK-NEXT:    ret i1 [[CMP2]]
  71 ;
  72   %cmp = icmp ne i8 %x, 0
  73   %cmp2 = icmp eq i8 %x, 1
  74   %or = or i1 %cmp, %c
  75   %and = and i1 %or, %cmp2
  76   ret i1 %and
  77 }
  78
  79 define i1 @and_implied_comm1(i8 %x, i1 %c) {
  80 ; CHECK-LABEL: @and_implied_comm1(
  81 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
  82 ; CHECK-NEXT:    ret i1 [[CMP2]]
  83 ;
  84   %cmp = icmp ne i8 %x, 0
  85   %cmp2 = icmp eq i8 %x, 1
  86   %or = or i1 %cmp, %c
  87   %and = and i1 %cmp2, %or
  88   ret i1 %and
  89 }
  90
  91 define i1 @and_implied_comm2(i8 %x, i1 %c) {
  92 ; CHECK-LABEL: @and_implied_comm2(
  93 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
  94 ; CHECK-NEXT:    ret i1 [[CMP2]]
  95 ;
  96   %cmp = icmp ne i8 %x, 0
  97   %cmp2 = icmp eq i8 %x, 1
  98   %or = or i1 %c, %cmp
  99   %and = and i1 %or, %cmp2
 100   ret i1 %and
 101 }
 102
 103 define i1 @and_implied_comm3(i8 %x, i1 %c) {
 104 ; CHECK-LABEL: @and_implied_comm3(
 105 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
 106 ; CHECK-NEXT:    ret i1 [[CMP2]]
 107 ;
 108   %cmp = icmp ne i8 %x, 0
 109   %cmp2 = icmp eq i8 %x, 1
 110   %or = or i1 %c, %cmp
 111   %and = and i1 %cmp2, %or
 112   ret i1 %and
 113 }
 114
 115 define i1 @and_not_implied(i8 %x, i1 %c) {
 116 ; CHECK-LABEL: @and_not_implied(
 117 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
 118 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[X]], 0
 119 ; CHECK-NEXT:    [[OR:%.*]] = or i1 [[CMP]], [[C:%.*]]
 120 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[OR]], [[CMP2]]
 121 ; CHECK-NEXT:    ret i1 [[AND]]
 122 ;
 123   %cmp = icmp ne i8 %x, 0
 124   %cmp2 = icmp eq i8 %x, 0
 125   %or = or i1 %cmp, %c
 126   %and = and i1 %or, %cmp2
 127   ret i1 %and
 128 }
 129
 130 define i1 @uaddo_and(i64 %a, i64 %b){
 131 ; CHECK-LABEL: @uaddo_and(
 132 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 133 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp uge i64 [[S]], [[A]]
 134 ; CHECK-NEXT:    ret i1 [[COND_A]]
 135 ;
 136   %s = add i64 %a, %b
 137   %cond_a = icmp uge i64 %s, %a
 138   %cond_b = icmp uge i64 %s, %b
 139   %cond = and i1 %cond_a, %cond_b
 140   ret i1 %cond
 141 }
 142
 143 define i1 @uaddo_and_commuted1(i64 %a, i64 %b){
 144 ; CHECK-LABEL: @uaddo_and_commuted1(
 145 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 146 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ule i64 [[A]], [[S]]
 147 ; CHECK-NEXT:    ret i1 [[COND_A]]
 148 ;
 149   %s = add i64 %a, %b
 150   %cond_a = icmp ule i64 %a, %s
 151   %cond_b = icmp uge i64 %s, %b
 152   %cond = and i1 %cond_a, %cond_b
 153   ret i1 %cond
 154 }
 155
 156 define i1 @uaddo_and_commuted2(i64 %a, i64 %b){
 157 ; CHECK-LABEL: @uaddo_and_commuted2(
 158 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 159 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp uge i64 [[S]], [[A]]
 160 ; CHECK-NEXT:    ret i1 [[COND_A]]
 161 ;
 162   %s = add i64 %a, %b
 163   %cond_a = icmp uge i64 %s, %a
 164   %cond_b = icmp ule i64 %b, %s
 165   %cond = and i1 %cond_a, %cond_b
 166   ret i1 %cond
 167 }
 168
 169 define i1 @uaddo_and_commuted3(i64 %a, i64 %b){
 170 ; CHECK-LABEL: @uaddo_and_commuted3(
 171 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 172 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ule i64 [[A]], [[S]]
 173 ; CHECK-NEXT:    ret i1 [[COND_A]]
 174 ;
 175   %s = add i64 %a, %b
 176   %cond_a = icmp ule i64 %a, %s
 177   %cond_b = icmp ule i64 %b, %s
 178   %cond = and i1 %cond_a, %cond_b
 179   ret i1 %cond
 180 }
 181
 182 define i1 @uaddo_or(i64 %a, i64 %b){
 183 ; CHECK-LABEL: @uaddo_or(
 184 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 185 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ult i64 [[S]], [[A]]
 186 ; CHECK-NEXT:    ret i1 [[COND_A]]
 187 ;
 188   %s = add i64 %a, %b
 189   %cond_a = icmp ult i64 %s, %a
 190   %cond_b = icmp ult i64 %s, %b
 191   %cond = or i1 %cond_a, %cond_b
 192   ret i1 %cond
 193 }
 194
 195 define i1 @uaddo_or_commuted1(i64 %a, i64 %b){
 196 ; CHECK-LABEL: @uaddo_or_commuted1(
 197 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 198 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ugt i64 [[A]], [[S]]
 199 ; CHECK-NEXT:    ret i1 [[COND_A]]
 200 ;
 201   %s = add i64 %a, %b
 202   %cond_a = icmp ugt i64 %a, %s
 203   %cond_b = icmp ult i64 %s, %b
 204   %cond = or i1 %cond_a, %cond_b
 205   ret i1 %cond
 206 }
 207
 208 define i1 @uaddo_or_commuted2(i64 %a, i64 %b){
 209 ; CHECK-LABEL: @uaddo_or_commuted2(
 210 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 211 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ult i64 [[S]], [[A]]
 212 ; CHECK-NEXT:    ret i1 [[COND_A]]
 213 ;
 214   %s = add i64 %a, %b
 215   %cond_a = icmp ult i64 %s, %a
 216   %cond_b = icmp ugt i64 %b, %s
 217   %cond = or i1 %cond_a, %cond_b
 218   ret i1 %cond
 219 }
 220
 221 define i1 @uaddo_or_commuted3(i64 %a, i64 %b){
 222 ; CHECK-LABEL: @uaddo_or_commuted3(
 223 ; CHECK-NEXT:    [[S:%.*]] = add i64 [[A:%.*]], [[B:%.*]]
 224 ; CHECK-NEXT:    [[COND_A:%.*]] = icmp ugt i64 [[A]], [[S]]
 225 ; CHECK-NEXT:    ret i1 [[COND_A]]
 226 ;
 227   %s = add i64 %a, %b
 228   %cond_a = icmp ugt i64 %a, %s
 229   %cond_b = icmp ugt i64 %b, %s
 230   %cond = or i1 %cond_a, %cond_b
 231   ret i1 %cond
 232 }
 233
 234 define i1 @pr69050(i32 %arg, i32 %arg1) {
 235 ; CHECK-LABEL: @pr69050(
 236 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[ARG:%.*]], -1
 237 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[XOR]], [[ARG1:%.*]]
 238 ; CHECK-NEXT:    [[ICMP:%.*]] = icmp ne i32 [[AND]], 0
 239 ; CHECK-NEXT:    ret i1 [[ICMP]]
 240 ;
 241   %xor = xor i32 %arg, -1
 242   %and = and i32 %xor, %arg1
 243   %icmp = icmp ne i32 %and, 0
 244   %icmp2 = icmp ne i32 %arg, -1
 245   %and3 = and i1 %icmp2, %icmp
 246   ret i1 %and3
 247 }
 248
 249 define i1 @pr69091(i32 %arg, i32 %arg1) {
 250 ; CHECK-LABEL: @pr69091(
 251 ; CHECK-NEXT:    [[ICMP:%.*]] = icmp ne i32 [[ARG:%.*]], -1
 252 ; CHECK-NEXT:    ret i1 [[ICMP]]
 253 ;
 254   %icmp = icmp ne i32 %arg, -1
 255   %add = add i32 %arg, 1
 256   %mul = mul i32 %add, %arg1
 257   %icmp2 = icmp ne i32 %mul, 0
 258   %or = or i1 %icmp, %icmp2
 259   ret i1 %or
 260 }
 261
 262 declare void @barrier()
 263
 264 define i1 @or_icmp_implies_ub(i32 %x) {
 265 ; CHECK-LABEL: @or_icmp_implies_ub(
 266 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32 [[X:%.*]], 0
 267 ; CHECK-NEXT:    call void @barrier()
 268 ; CHECK-NEXT:    ret i1 [[CMP1]]
 269 ;
 270   %cmp1 = icmp ne i32 %x, 0
 271   call void @barrier()
 272   %div = udiv i32 2147483647, %x
 273   %cmp2 = icmp ugt i32 %x, %div
 274   %or = or i1 %cmp1, %cmp2
 275   ret i1 %or
 276 }
 277
 278 define i1 @and_icmp_implies_ub(i32 %x) {
 279 ; CHECK-LABEL: @and_icmp_implies_ub(
 280 ; CHECK-NEXT:    call void @barrier()
 281 ; CHECK-NEXT:    ret i1 false
 282 ;
 283   %cmp1 = icmp eq i32 %x, 0
 284   call void @barrier()
 285   %div = udiv i32 2147483647, %x
 286   %cmp2 = icmp ugt i32 %x, %div
 287   %and = and i1 %cmp1, %cmp2
 288   ret i1 %and
 289 }
 290
 291 define i1 @or_icmp_implies_poison(i32 %x) {
 292 ; CHECK-LABEL: @or_icmp_implies_poison(
 293 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32 [[X:%.*]], 32
 294 ; CHECK-NEXT:    [[SHL:%.*]] = shl i32 1, [[X]]
 295 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i32 [[X]], [[SHL]]
 296 ; CHECK-NEXT:    [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
 297 ; CHECK-NEXT:    ret i1 [[OR]]
 298 ;
 299   %cmp1 = icmp ne i32 %x, 32
 300   %shl = shl i32 1, %x
 301   %cmp2 = icmp ugt i32 %x, %shl
 302   %or = or i1 %cmp1, %cmp2
 303   ret i1 %or
 304 }
 305
 306 define i1 @and_icmp_implies_poison(i32 %x) {
 307 ; CHECK-LABEL: @and_icmp_implies_poison(
 308 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[X:%.*]], 32
 309 ; CHECK-NEXT:    [[SHL:%.*]] = shl i32 1, [[X]]
 310 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i32 [[X]], [[SHL]]
 311 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 312 ; CHECK-NEXT:    ret i1 [[AND]]
 313 ;
 314   %cmp1 = icmp eq i32 %x, 32
 315   %shl = shl i32 1, %x
 316   %cmp2 = icmp ugt i32 %x, %shl
 317   %and = and i1 %cmp1, %cmp2
 318   ret i1 %and
 319 }
 320
 321 define i1 @and_is_constant(ptr %arg, ptr %arg2) {
 322 ; CHECK-LABEL: @and_is_constant(
 323 ; CHECK-NEXT:    [[ICMP:%.*]] = icmp eq ptr [[ARG:%.*]], [[ARG2:%.*]]
 324 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @llvm.is.constant.i1(i1 [[ICMP]])
 325 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CALL]], [[ICMP]]
 326 ; CHECK-NEXT:    ret i1 [[AND]]
 327 ;
 328   %icmp = icmp eq ptr %arg, %arg2
 329   %call = call i1 @llvm.is.constant.i1(i1 %icmp)
 330   %and = and i1 %call, %icmp
 331   ret i1 %and
 332 }
 333
 334 declare i1 @llvm.is.constant.i1(i1)