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 -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
  12 ; Most basic positive test
  13 define i32 @t0(i1 %i0, i32 %v0, i32 %v1, i32 %v2, i32 %v3) {
  14 ; CHECK-LABEL: @t0(
  15 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i32 [[V0:%.*]], [[V1:%.*]]
  16 ; CHECK-NEXT:    [[TMP1:%.*]] = or i1 [[I1]], [[I0:%.*]]
  17 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[TMP1]], i32 [[V3:%.*]], i32 [[V2:%.*]]
  18 ; CHECK-NEXT:    ret i32 [[I4]]
  19 ;
  20   %i1 = icmp eq i32 %v0, %v1
  21   %i2 = xor i1 %i0, -1
  22   %i3 = and i1 %i2, %i1
  23   %i4 = select i1 %i3, i32 %v2, i32 %v3
  24   ret i32 %i4
  25 }
  26 define i32 @t1(i32 %v0, i32 %v1, i32 %v2, i32 %v3, i32 %v4, i32 %v5) {
  27 ; CHECK-LABEL: @t1(
  28 ; CHECK-NEXT:    [[I0:%.*]] = icmp eq i32 [[V0:%.*]], [[V1:%.*]]
  29 ; CHECK-NEXT:    [[I1:%.*]] = icmp ne i32 [[V2:%.*]], [[V3:%.*]]
  30 ; CHECK-NEXT:    call void @use1(i1 [[I0]])
  31 ; CHECK-NEXT:    [[TMP1:%.*]] = or i1 [[I0]], [[I1]]
  32 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[TMP1]], i32 [[V5:%.*]], i32 [[V4:%.*]]
  33 ; CHECK-NEXT:    ret i32 [[I4]]
  34 ;
  35   %i0 = icmp eq i32 %v0, %v1
  36   %i1 = icmp eq i32 %v2, %v3
  37   call void @use1(i1 %i0)
  38   %i2 = xor i1 %i0, -1
  39   %i3 = and i1 %i2, %i1
  40   %i4 = select i1 %i3, i32 %v4, i32 %v5
  41   ret i32 %i4
  42 }
  43
  44 ; All users of %i3 must be invertible
  45 define i1 @n2(i1 %i0, i32 %v0, i32 %v1, i32 %v2, i32 %v3) {
  46 ; CHECK-LABEL: @n2(
  47 ; CHECK-NEXT:    [[I1:%.*]] = icmp eq i32 [[V0:%.*]], [[V1:%.*]]
  48 ; CHECK-NEXT:    [[I2:%.*]] = xor i1 [[I0:%.*]], true
  49 ; CHECK-NEXT:    [[I3:%.*]] = and i1 [[I1]], [[I2]]
  50 ; CHECK-NEXT:    ret i1 [[I3]]
  51 ;
  52   %i1 = icmp eq i32 %v0, %v1
  53   %i2 = xor i1 %i0, -1
  54   %i3 = and i1 %i2, %i1
  55   ret i1 %i3 ; can not be inverted
  56 }
  57
  58 ; %i1 must be invertible
  59 define i32 @n3(i1 %i0, i32 %v0, i32 %v1, i32 %v2, i32 %v3) {
  60 ; CHECK-LABEL: @n3(
  61 ; CHECK-NEXT:    [[I1:%.*]] = icmp eq i32 [[V0:%.*]], [[V1:%.*]]
  62 ; CHECK-NEXT:    call void @use1(i1 [[I1]])
  63 ; CHECK-NEXT:    [[I2:%.*]] = xor i1 [[I0:%.*]], true
  64 ; CHECK-NEXT:    [[I3:%.*]] = and i1 [[I1]], [[I2]]
  65 ; CHECK-NEXT:    [[I4:%.*]] = select i1 [[I3]], i32 [[V2:%.*]], i32 [[V3:%.*]]
  66 ; CHECK-NEXT:    ret i32 [[I4]]
  67 ;
  68   %i1 = icmp eq i32 %v0, %v1 ; has extra uninvertible use
  69   call void @use1(i1 %i1) ; bad extra use
  70   %i2 = xor i1 %i0, -1
  71   %i3 = and i1 %i2, %i1
  72   %i4 = select i1 %i3, i32 %v2, i32 %v3
  73   ret i32 %i4
  74 }
  75
  76 ; FIXME: we could invert all uses of %i1 here
  77 define i32 @n4(i1 %i0, i32 %v0, i32 %v1, i32 %v2, i32 %v3, i32 %v4, i32 %v5, i32* %dst) {
  78 ; CHECK-LABEL: @n4(
  79 ; CHECK-NEXT:    [[I1:%.*]] = icmp eq i32 [[V0:%.*]], [[V1:%.*]]
  80 ; CHECK-NEXT:    [[I2:%.*]] = select i1 [[I1]], i32 [[V2:%.*]], i32 [[V3:%.*]]
  81 ; CHECK-NEXT:    store i32 [[I2]], i32* [[DST:%.*]], align 4
  82 ; CHECK-NEXT:    [[I3:%.*]] = xor i1 [[I0:%.*]], true
  83 ; CHECK-NEXT:    [[I4:%.*]] = and i1 [[I1]], [[I3]]
  84 ; CHECK-NEXT:    [[I5:%.*]] = select i1 [[I4]], i32 [[V4:%.*]], i32 [[V5:%.*]]
  85 ; CHECK-NEXT:    ret i32 [[I5]]
  86 ;
  87   %i1 = icmp eq i32 %v0, %v1 ; has extra invertible use
  88   %i2 = select i1 %i1, i32 %v2, i32 %v3 ; invertible use
  89   store i32 %i2, i32* %dst
  90   %i3 = xor i1 %i0, -1
  91   %i4 = and i1 %i3, %i1
  92   %i5 = select i1 %i4, i32 %v4, i32 %v5
  93   ret i32 %i5
  94 }