llvm/test/Transforms/InstCombine/sink-not-into-another-hand-of-and.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 ; Transform
   5 ;   z = (~x) & y
   6 ; into:
   7 ;   z = ~(x | (~y))
   8 ; iff y is free to invert and all uses of z can be freely updated.
   9
  10 declare void @use1(i1)
  11 declare void @use8(i8)
  12
  13 ; Most basic positive test
  14 define i8 @t0(i1 %i0, i8 %v0, i8 %v1, i8 %v2, i8 %v3) {
  15 ; CHECK-LABEL: @t0(
  16 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i8 [[V0:%.*]], [[V1:%.*]]
  17 ; CHECK-NEXT:    [[I3_NOT:%.*]] = or i1 [[I1]], [[I0:%.*]]
  18 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[I3_NOT]], i8 [[V3:%.*]], i8 [[V2:%.*]]
  19 ; CHECK-NEXT:    ret i8 [[I4]]
  20 ;
  21   %i1 = icmp eq i8 %v0, %v1
  22   %i2 = xor i1 %i0, -1
  23   %i3 = and i1 %i2, %i1
  24   %i4 = select i1 %i3, i8 %v2, i8 %v3
  25   ret i8 %i4
  26 }
  27 define i8 @t1(i8 %v0, i8 %v1, i8 %v2, i8 %v3, i8 %v4, i8 %v5) {
  28 ; CHECK-LABEL: @t1(
  29 ; CHECK-NEXT:    [[I0:%.*]] = icmp eq i8 [[V0:%.*]], [[V1:%.*]]
  30 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i8 [[V2:%.*]], [[V3:%.*]]
  31 ; CHECK-NEXT:    call void @use1(i1 [[I0]])
  32 ; CHECK-NEXT:    [[I3_NOT:%.*]] = or i1 [[I1]], [[I0]]
  33 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[I3_NOT]], i8 [[V5:%.*]], i8 [[V4:%.*]]
  34 ; CHECK-NEXT:    ret i8 [[I4]]
  35 ;
  36   %i0 = icmp eq i8 %v0, %v1
  37   %i1 = icmp eq i8 %v2, %v3
  38   call void @use1(i1 %i0)
  39   %i2 = xor i1 %i0, -1
  40   %i3 = and i1 %i2, %i1
  41   %i4 = select i1 %i3, i8 %v4, i8 %v5
  42   ret i8 %i4
  43 }
  44
  45 ; All users of %i3 must be invertible
  46 define i1 @n2(i1 %i0, i8 %v0, i8 %v1, i8 %v2, i8 %v3) {
  47 ; CHECK-LABEL: @n2(
  48 ; CHECK-NEXT:    [[I1:%.*]] = icmp eq i8 [[V0:%.*]], [[V1:%.*]]
  49 ; CHECK-NEXT:    [[I2:%.*]] = xor i1 [[I0:%.*]], true
  50 ; CHECK-NEXT:    [[I3:%.*]] = and i1 [[I1]], [[I2]]
  51 ; CHECK-NEXT:    ret i1 [[I3]]
  52 ;
  53   %i1 = icmp eq i8 %v0, %v1
  54   %i2 = xor i1 %i0, -1
  55   %i3 = and i1 %i2, %i1
  56   ret i1 %i3 ; can not be inverted
  57 }
  58
  59 ; %i1 must be invertible
  60 define i8 @n3(i1 %i0, i8 %v0, i8 %v1, i8 %v2, i8 %v3) {
  61 ; CHECK-LABEL: @n3(
  62 ; CHECK-NEXT:    [[I1:%.*]] = icmp eq i8 [[V0:%.*]], [[V1:%.*]]
  63 ; CHECK-NEXT:    call void @use1(i1 [[I1]])
  64 ; CHECK-NEXT:    [[I2:%.*]] = xor i1 [[I0:%.*]], true
  65 ; CHECK-NEXT:    [[I3:%.*]] = and i1 [[I1]], [[I2]]
  66 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[I3]], i8 [[V2:%.*]], i8 [[V3:%.*]]
  67 ; CHECK-NEXT:    ret i8 [[I4]]
  68 ;
  69   %i1 = icmp eq i8 %v0, %v1 ; has extra uninvertible use
  70   call void @use1(i1 %i1) ; bad extra use
  71   %i2 = xor i1 %i0, -1
  72   %i3 = and i1 %i2, %i1
  73   %i4 = select i1 %i3, i8 %v2, i8 %v3
  74   ret i8 %i4
  75 }
  76
  77 ; Extra uses are invertible
  78 define i8 @t4(i1 %i0, i8 %v0, i8 %v1, i8 %v2, i8 %v3, i8 %v4, i8 %v5) {
  79 ; CHECK-LABEL: @t4(
  80 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i8 [[V0:%.*]], [[V1:%.*]]
  81 ; CHECK-NEXT:    [[I2:%.*]] = select i1 [[I1]], i8 [[V3:%.*]], i8 [[V2:%.*]]
  82 ; CHECK-NEXT:    call void @use8(i8 [[I2]])
  83 ; CHECK-NEXT:    [[I4_NOT:%.*]] = or i1 [[I1]], [[I0:%.*]]
  84 ; CHECK-NEXT:    [[I5:%.*]] = select i1 [[I4_NOT]], i8 [[V5:%.*]], i8 [[V4:%.*]]
  85 ; CHECK-NEXT:    ret i8 [[I5]]
  86 ;
  87   %i1 = icmp eq i8 %v0, %v1 ; has extra invertible use
  88   %i2 = select i1 %i1, i8 %v2, i8 %v3 ; invertible use
  89   call void @use8(i8 %i2)
  90   %i3 = xor i1 %i0, -1
  91   %i4 = and i1 %i3, %i1
  92   %i5 = select i1 %i4, i8 %v4, i8 %v5
  93   ret i8 %i5
  94 }
  95 define i8 @t4_commutative(i1 %i0, i8 %v0, i8 %v1, i8 %v2, i8 %v3, i8 %v4, i8 %v5) {
  96 ; CHECK-LABEL: @t4_commutative(
  97 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i8 [[V0:%.*]], [[V1:%.*]]
  98 ; CHECK-NEXT:    [[I2:%.*]] = select i1 [[I1]], i8 [[V3:%.*]], i8 [[V2:%.*]]
  99 ; CHECK-NEXT:    call void @use8(i8 [[I2]])
 100 ; CHECK-NEXT:    [[I4_NOT:%.*]] = or i1 [[I1]], [[I0:%.*]]
 101 ; CHECK-NEXT:    [[I5:%.*]] = select i1 [[I4_NOT]], i8 [[V5:%.*]], i8 [[V4:%.*]]
 102 ; CHECK-NEXT:    ret i8 [[I5]]
 103 ;
 104   %i1 = icmp eq i8 %v0, %v1 ; has extra invertible use
 105   %i2 = select i1 %i1, i8 %v2, i8 %v3 ; invertible use
 106   call void @use8(i8 %i2)
 107   %i3 = xor i1 %i0, -1
 108   %i4 = and i1 %i1, %i3
 109   %i5 = select i1 %i4, i8 %v4, i8 %v5
 110   ret i8 %i5
 111 }