test/Transforms/InstCombine/zext-or-icmp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; Remove an icmp by using its operand in the subsequent logic directly.
   4
   5 define i8 @zext_or_icmp_icmp(i8 %a, i8 %b) {
   6   %mask = and i8 %a, 1
   7   %toBool1 = icmp eq i8 %mask, 0
   8   %toBool2 = icmp eq i8 %b, 0
   9   %bothCond = or i1 %toBool1, %toBool2
  10   %zext = zext i1 %bothCond to i8
  11   ret i8 %zext
  12
  13 ; CHECK-LABEL: zext_or_icmp_icmp(
  14 ; CHECK-NEXT:    %mask = and i8 %a, 1
  15 ; CHECK-NEXT:    %toBool2 = icmp eq i8 %b, 0
  16 ; CHECK-NEXT:    %toBool22 = zext i1 %toBool2 to i8
  17 ; CHECK-NEXT:    %1 = xor i8 %mask, 1
  18 ; CHECK-NEXT:    %zext = or i8 %1, %toBool22
  19 ; CHECK-NEXT:    ret i8 %zext
  20 }
  21
  22 ; Here, widening the or from i1 to i32 and removing one of the icmps would
  23 ; widen an undef value (created by the out-of-range shift), increasing the
  24 ; range of valid values for the return, so we can't do it.
  25 define i32 @dont_widen_undef() {
  26 entry:
  27   br label %block2
  28
  29 block1:
  30   br label %block2
  31
  32 block2:
  33   %m.011 = phi i32 [ 33, %entry ], [ 0, %block1 ]
  34   %cmp.i = icmp ugt i32 %m.011, 1
  35   %m.1.op = lshr i32 1, %m.011
  36   %sext.mask = and i32 %m.1.op, 65535
  37   %cmp115 = icmp ne i32 %sext.mask, 0
  38   %cmp1 = or i1 %cmp.i, %cmp115
  39   %conv2 = zext i1 %cmp1 to i32
  40   ret i32 %conv2
  41
  42 ; CHECK-LABEL: dont_widen_undef(
  43 ; CHECK:         %m.011 = phi i32 [ 33, %entry ], [ 0, %block1 ]
  44 ; CHECK-NEXT:    %cmp.i = icmp ugt i32 %m.011, 1
  45 ; CHECK-NEXT:    %m.1.op = lshr i32 1, %m.011
  46 ; CHECK-NEXT:    %sext.mask = and i32 %m.1.op, 65535
  47 ; CHECK-NEXT:    %cmp115 = icmp ne i32 %sext.mask, 0
  48 ; CHECK-NEXT:    %cmp1 = or i1 %cmp.i, %cmp115
  49 ; CHECK-NEXT:    %conv2 = zext i1 %cmp1 to i32
  50 ; CHECK-NEXT:    ret i32 %conv2
  51 }