llvm/test/Transforms/InstCombine/add_or_sub.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 declare void @use19(i19)
   5 declare void @use12(i12)
   6 declare void @use2(i2)
   7
   8 define i32 @add_or_sub_comb_i32_commuted1_nuw(i32 %x) {
   9 ; CHECK-LABEL: @add_or_sub_comb_i32_commuted1_nuw(
  10 ; CHECK-NEXT:    ret i32 [[X:%.*]]
  11 ;
  12   %sub = sub i32 0, %x
  13   %or = or i32 %sub, %x
  14   %add = add nuw i32 %or, %x
  15   ret i32 %add
  16 }
  17
  18 define i8 @add_or_sub_comb_i8_commuted2_nsw(i8 %p) {
  19 ; CHECK-LABEL: @add_or_sub_comb_i8_commuted2_nsw(
  20 ; CHECK-NEXT:    [[X:%.*]] = mul i8 [[P:%.*]], [[P]]
  21 ; CHECK-NEXT:    [[TMP1:%.*]] = add nsw i8 [[X]], -1
  22 ; CHECK-NEXT:    [[ADD:%.*]] = and i8 [[TMP1]], [[X]]
  23 ; CHECK-NEXT:    ret i8 [[ADD]]
  24 ;
  25   %x = mul i8 %p, %p ; thwart complexity-based canonicalization
  26   %sub = sub i8 0, %x
  27   %or = or i8 %sub, %x
  28   %add = add nsw i8 %x, %or
  29   ret i8 %add
  30 }
  31
  32 define i128 @add_or_sub_comb_i128_commuted3_nuw_nsw(i128 %p) {
  33 ; CHECK-LABEL: @add_or_sub_comb_i128_commuted3_nuw_nsw(
  34 ; CHECK-NEXT:    [[X:%.*]] = mul i128 [[P:%.*]], [[P]]
  35 ; CHECK-NEXT:    ret i128 [[X]]
  36 ;
  37   %x = mul i128 %p, %p ; thwart complexity-based canonicalization
  38   %sub = sub i128 0, %x
  39   %or = or i128 %x, %sub
  40   %add = add nuw nsw i128 %or, %x
  41   ret i128 %add
  42 }
  43
  44 define i64 @add_or_sub_comb_i64_commuted4(i64 %p) {
  45 ; CHECK-LABEL: @add_or_sub_comb_i64_commuted4(
  46 ; CHECK-NEXT:    [[X:%.*]] = mul i64 [[P:%.*]], [[P]]
  47 ; CHECK-NEXT:    [[TMP1:%.*]] = add i64 [[X]], -1
  48 ; CHECK-NEXT:    [[ADD:%.*]] = and i64 [[TMP1]], [[X]]
  49 ; CHECK-NEXT:    ret i64 [[ADD]]
  50 ;
  51   %x = mul i64 %p, %p ; thwart complexity-based canonicalization
  52   %sub = sub i64 0, %x
  53   %or = or i64 %x, %sub
  54   %add = add i64 %x, %or
  55   ret i64 %add
  56 }
  57
  58 define <3 x i32> @add_or_sub_comb_i32vec(<3 x i32> %p) {
  59 ; CHECK-LABEL: @add_or_sub_comb_i32vec(
  60 ; CHECK-NEXT:    [[X:%.*]] = mul <3 x i32> [[P:%.*]], [[P]]
  61 ; CHECK-NEXT:    [[TMP1:%.*]] = add <3 x i32> [[X]], splat (i32 -1)
  62 ; CHECK-NEXT:    [[ADD:%.*]] = and <3 x i32> [[TMP1]], [[X]]
  63 ; CHECK-NEXT:    ret <3 x i32> [[ADD]]
  64 ;
  65   %x = mul <3 x i32> %p, %p ; thwart complexity-based canonicalization
  66   %sub = sub <3 x i32> <i32 0, i32 0, i32 0>, %x
  67   %or = or <3 x i32> %sub, %x
  68   %add = add <3 x i32> %or, %x
  69   ret <3 x i32> %add
  70 }
  71
  72 define <4 x i16> @add_or_sub_comb_i32vec_poison(<4 x i16> %p) {
  73 ; CHECK-LABEL: @add_or_sub_comb_i32vec_poison(
  74 ; CHECK-NEXT:    [[X:%.*]] = mul <4 x i16> [[P:%.*]], [[P]]
  75 ; CHECK-NEXT:    [[TMP1:%.*]] = add <4 x i16> [[X]], splat (i16 -1)
  76 ; CHECK-NEXT:    [[ADD:%.*]] = and <4 x i16> [[TMP1]], [[X]]
  77 ; CHECK-NEXT:    ret <4 x i16> [[ADD]]
  78 ;
  79   %x = mul <4 x i16> %p, %p ; thwart complexity-based canonicalization
  80   %sub = sub <4 x i16> <i16 0, i16 poison, i16 poison, i16 0>, %x
  81   %or = or <4 x i16> %sub, %x
  82   %add = add <4 x i16> %or, %x
  83   ret <4 x i16> %add
  84 }
  85
  86 define i12 @add_or_sub_comb_i12_multiuse_only_sub(i12 %p) {
  87 ; CHECK-LABEL: @add_or_sub_comb_i12_multiuse_only_sub(
  88 ; CHECK-NEXT:    [[X:%.*]] = mul i12 [[P:%.*]], [[P]]
  89 ; CHECK-NEXT:    [[SUB:%.*]] = sub i12 0, [[X]]
  90 ; CHECK-NEXT:    call void @use12(i12 [[SUB]])
  91 ; CHECK-NEXT:    [[TMP1:%.*]] = add i12 [[X]], -1
  92 ; CHECK-NEXT:    [[ADD:%.*]] = and i12 [[TMP1]], [[X]]
  93 ; CHECK-NEXT:    ret i12 [[ADD]]
  94 ;
  95   %x = mul i12 %p, %p ; thwart complexity-based canonicalization
  96   %sub = sub i12 0, %x
  97   call void @use12(i12 %sub) ; extra use of sub
  98   %or = or i12 %sub, %x
  99   %add = add i12 %or, %x
 100   ret i12 %add
 101 }
 102
 103 define i8 @add_or_sub_comb_i8_negative_y_sub(i8 %x, i8 %y) {
 104 ; CHECK-LABEL: @add_or_sub_comb_i8_negative_y_sub(
 105 ; CHECK-NEXT:    [[SUB:%.*]] = sub i8 0, [[Y:%.*]]
 106 ; CHECK-NEXT:    [[OR:%.*]] = or i8 [[X:%.*]], [[SUB]]
 107 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[OR]], [[X]]
 108 ; CHECK-NEXT:    ret i8 [[ADD]]
 109 ;
 110   %sub = sub i8 0, %y ; mismatch: y instead of x
 111   %or = or i8 %sub, %x
 112   %add = add i8 %or, %x
 113   ret i8 %add
 114 }
 115
 116 define i8 @add_or_sub_comb_i8_negative_y_or(i8 %x, i8 %y) {
 117 ; CHECK-LABEL: @add_or_sub_comb_i8_negative_y_or(
 118 ; CHECK-NEXT:    [[SUB:%.*]] = sub i8 0, [[X:%.*]]
 119 ; CHECK-NEXT:    [[OR:%.*]] = or i8 [[Y:%.*]], [[SUB]]
 120 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[OR]], [[X]]
 121 ; CHECK-NEXT:    ret i8 [[ADD]]
 122 ;
 123   %sub = sub i8 0, %x
 124   %or = or i8 %sub, %y ; mismatch: y instead of x
 125   %add = add i8 %or, %x
 126   ret i8 %add
 127 }
 128
 129 define i8 @add_or_sub_comb_i8_negative_y_add(i8 %x, i8 %y) {
 130 ; CHECK-LABEL: @add_or_sub_comb_i8_negative_y_add(
 131 ; CHECK-NEXT:    [[SUB:%.*]] = sub i8 0, [[X:%.*]]
 132 ; CHECK-NEXT:    [[OR:%.*]] = or i8 [[X]], [[SUB]]
 133 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[OR]], [[Y:%.*]]
 134 ; CHECK-NEXT:    ret i8 [[ADD]]
 135 ;
 136   %sub = sub i8 0, %x
 137   %or = or i8 %sub, %x
 138   %add = add i8 %or, %y ; mismatch: y instead of x
 139   ret i8 %add
 140 }
 141
 142 define i8 @add_or_sub_comb_i8_negative_xor_instead_or(i8 %x) {
 143 ; CHECK-LABEL: @add_or_sub_comb_i8_negative_xor_instead_or(
 144 ; CHECK-NEXT:    [[SUB:%.*]] = sub i8 0, [[X:%.*]]
 145 ; CHECK-NEXT:    [[XOR:%.*]] = xor i8 [[X]], [[SUB]]
 146 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[XOR]], [[X]]
 147 ; CHECK-NEXT:    ret i8 [[ADD]]
 148 ;
 149   %sub = sub i8 0, %x
 150   %xor = xor i8 %sub, %x ; mismatch: xor instead of or
 151   %add = add i8 %xor, %x
 152   ret i8 %add
 153 }
 154
 155
 156 define i16 @add_or_sub_comb_i16_negative_sub_no_negate(i16 %x) {
 157 ; CHECK-LABEL: @add_or_sub_comb_i16_negative_sub_no_negate(
 158 ; CHECK-NEXT:    [[SUB:%.*]] = sub i16 1, [[X:%.*]]
 159 ; CHECK-NEXT:    [[OR:%.*]] = or i16 [[SUB]], [[X]]
 160 ; CHECK-NEXT:    [[ADD:%.*]] = add i16 [[OR]], [[X]]
 161 ; CHECK-NEXT:    ret i16 [[ADD]]
 162 ;
 163   %sub = sub i16 1, %x ; mismatch: sub isn't a negate
 164   %or = or i16 %sub, %x
 165   %add = add i16 %or, %x
 166   ret i16 %add
 167 }
 168
 169 define i2 @add_or_sub_comb_i2_negative_multiuse_only_or(i2 %p) {
 170 ; CHECK-LABEL: @add_or_sub_comb_i2_negative_multiuse_only_or(
 171 ; CHECK-NEXT:    [[X:%.*]] = mul i2 [[P:%.*]], [[P]]
 172 ; CHECK-NEXT:    [[SUB:%.*]] = sub i2 0, [[X]]
 173 ; CHECK-NEXT:    [[OR:%.*]] = or i2 [[X]], [[SUB]]
 174 ; CHECK-NEXT:    call void @use2(i2 [[OR]])
 175 ; CHECK-NEXT:    [[ADD:%.*]] = add i2 [[OR]], [[X]]
 176 ; CHECK-NEXT:    ret i2 [[ADD]]
 177 ;
 178   %x = mul i2 %p, %p ; thwart complexity-based canonicalization
 179   %sub = sub i2 0, %x
 180   %or = or i2 %sub, %x
 181   call void @use2(i2 %or) ; extra use of or
 182   %add = add i2 %or, %x
 183   ret i2 %add
 184 }
 185
 186 define i19 @add_or_sub_comb_i19_negative_multiuse_both(i19 %p) {
 187 ; CHECK-LABEL: @add_or_sub_comb_i19_negative_multiuse_both(
 188 ; CHECK-NEXT:    [[X:%.*]] = mul i19 [[P:%.*]], [[P]]
 189 ; CHECK-NEXT:    [[SUB:%.*]] = sub i19 0, [[X]]
 190 ; CHECK-NEXT:    call void @use19(i19 [[SUB]])
 191 ; CHECK-NEXT:    [[OR:%.*]] = or i19 [[X]], [[SUB]]
 192 ; CHECK-NEXT:    call void @use19(i19 [[OR]])
 193 ; CHECK-NEXT:    [[ADD:%.*]] = add i19 [[OR]], [[X]]
 194 ; CHECK-NEXT:    ret i19 [[ADD]]
 195 ;
 196   %x = mul i19 %p, %p ; thwart complexity-based canonicalization
 197   %sub = sub i19 0, %x
 198   call void @use19(i19 %sub) ; extra use of sub
 199   %or = or i19 %sub, %x
 200   call void @use19(i19 %or) ; extra use of or
 201   %add = add i19 %or, %x
 202   ret i19 %add
 203 }