llvm/test/Transforms/InstSimplify/sdiv.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 i32 @negated_operand(i32 %x) {
   5 ; CHECK-LABEL: @negated_operand(
   6 ; CHECK-NEXT:    ret i32 -1
   7 ;
   8   %negx = sub nsw i32 0, %x
   9   %div = sdiv i32 %negx, %x
  10   ret i32 %div
  11 }
  12
  13 define <2 x i32> @negated_operand_commute_vec(<2 x i32> %x) {
  14 ; CHECK-LABEL: @negated_operand_commute_vec(
  15 ; CHECK-NEXT:    ret <2 x i32> <i32 -1, i32 -1>
  16 ;
  17   %negx = sub nsw <2 x i32> zeroinitializer, %x
  18   %div = sdiv <2 x i32> %negx, %x
  19   ret <2 x i32> %div
  20 }
  21
  22 define i32 @knownnegation(i32 %x, i32 %y) {
  23 ; CHECK-LABEL: @knownnegation(
  24 ; CHECK-NEXT:    ret i32 -1
  25 ;
  26   %xy = sub nsw i32 %x, %y
  27   %yx = sub nsw i32 %y, %x
  28   %div = sdiv i32 %xy, %yx
  29   ret i32 %div
  30 }
  31
  32 define <2 x i32> @knownnegation_commute_vec(<2 x i32> %x, <2 x i32> %y) {
  33 ; CHECK-LABEL: @knownnegation_commute_vec(
  34 ; CHECK-NEXT:    ret <2 x i32> <i32 -1, i32 -1>
  35 ;
  36   %xy = sub nsw <2 x i32> %x, %y
  37   %yx = sub nsw <2 x i32> %y, %x
  38   %div = sdiv <2 x i32> %xy, %yx
  39   ret <2 x i32> %div
  40 }
  41
  42 define i32 @negated_operand_2(i32 %t) {
  43 ; CHECK-LABEL: @negated_operand_2(
  44 ; CHECK-NEXT:    ret i32 -1
  45 ;
  46   %x = sub i32 %t, 5
  47   %negx = sub nsw i32 0, %x
  48   %div = sdiv i32 %negx, %x
  49   ret i32 %div
  50 }
  51
  52 define i32 @negated_operand_commute(i32 %x) {
  53 ; CHECK-LABEL: @negated_operand_commute(
  54 ; CHECK-NEXT:    ret i32 -1
  55 ;
  56   %negx = sub nsw i32 0, %x
  57   %div = sdiv i32 %x, %negx
  58   ret i32 %div
  59 }
  60
  61 define i32 @negated_operand_bad(i32 %x) {
  62 ; CHECK-LABEL: @negated_operand_bad(
  63 ; CHECK-NEXT:    [[NEGX:%.*]] = sub i32 0, [[X:%.*]]
  64 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 [[NEGX]], [[X]]
  65 ; CHECK-NEXT:    ret i32 [[DIV]]
  66 ;
  67   %negx = sub i32 0, %x ; not nsw
  68   %div = sdiv i32 %negx, %x
  69   ret i32 %div
  70 }
  71
  72 define i32 @knownnegation_bad_1(i32 %x, i32 %y) {
  73 ; CHECK-LABEL: @knownnegation_bad_1(
  74 ; CHECK-NEXT:    [[XY:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]]
  75 ; CHECK-NEXT:    [[YX:%.*]] = sub i32 [[Y]], [[X]]
  76 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 [[XY]], [[YX]]
  77 ; CHECK-NEXT:    ret i32 [[DIV]]
  78 ;
  79   %xy = sub nsw i32 %x, %y
  80   %yx = sub i32 %y, %x ; not nsw
  81   %div = sdiv i32 %xy, %yx
  82   ret i32 %div
  83 }
  84
  85 define i32 @knownnegation_bad_2(i32 %x, i32 %y) {
  86 ; CHECK-LABEL: @knownnegation_bad_2(
  87 ; CHECK-NEXT:    [[XY:%.*]] = sub i32 [[X:%.*]], [[Y:%.*]]
  88 ; CHECK-NEXT:    [[YX:%.*]] = sub nsw i32 [[Y]], [[X]]
  89 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 [[XY]], [[YX]]
  90 ; CHECK-NEXT:    ret i32 [[DIV]]
  91 ;
  92   %xy = sub i32 %x, %y ; not nsw
  93   %yx = sub nsw i32 %y, %x
  94   %div = sdiv i32 %xy, %yx
  95   ret i32 %div
  96 }
  97
  98 define i32 @knownnegation_bad_3(i32 %x, i32 %y) {
  99 ; CHECK-LABEL: @knownnegation_bad_3(
 100 ; CHECK-NEXT:    [[XY:%.*]] = sub i32 [[X:%.*]], [[Y:%.*]]
 101 ; CHECK-NEXT:    [[YX:%.*]] = sub i32 [[Y]], [[X]]
 102 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 [[XY]], [[YX]]
 103 ; CHECK-NEXT:    ret i32 [[DIV]]
 104 ;
 105   %xy = sub i32 %x, %y ; not nsw
 106   %yx = sub i32 %y, %x ; not nsw
 107   %div = sdiv i32 %xy, %yx
 108   ret i32 %div
 109 }
 110
 111 define <2 x i32> @negated_operand_commute_vec_bad(<2 x i32> %x) {
 112 ; CHECK-LABEL: @negated_operand_commute_vec_bad(
 113 ; CHECK-NEXT:    [[NEGX:%.*]] = sub <2 x i32> zeroinitializer, [[X:%.*]]
 114 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv <2 x i32> [[NEGX]], [[X]]
 115 ; CHECK-NEXT:    ret <2 x i32> [[DIV]]
 116 ;
 117   %negx = sub <2 x i32> zeroinitializer, %x ; not nsw
 118   %div = sdiv <2 x i32> %negx, %x
 119   ret <2 x i32> %div
 120 }
 121
 122 define <2 x i32> @knownnegation_commute_vec_bad1(<2 x i32> %x, <2 x i32> %y) {
 123 ; CHECK-LABEL: @knownnegation_commute_vec_bad1(
 124 ; CHECK-NEXT:    [[XY:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]]
 125 ; CHECK-NEXT:    [[YX:%.*]] = sub <2 x i32> [[Y]], [[X]]
 126 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv <2 x i32> [[XY]], [[YX]]
 127 ; CHECK-NEXT:    ret <2 x i32> [[DIV]]
 128 ;
 129   %xy = sub nsw <2 x i32> %x, %y
 130   %yx = sub <2 x i32> %y, %x ; not nsw
 131   %div = sdiv <2 x i32> %xy, %yx
 132   ret <2 x i32> %div
 133 }
 134
 135 define <2 x i32> @knownnegation_commute_vec_bad2(<2 x i32> %x, <2 x i32> %y) {
 136 ; CHECK-LABEL: @knownnegation_commute_vec_bad2(
 137 ; CHECK-NEXT:    [[XY:%.*]] = sub <2 x i32> [[X:%.*]], [[Y:%.*]]
 138 ; CHECK-NEXT:    [[YX:%.*]] = sub nsw <2 x i32> [[Y]], [[X]]
 139 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv <2 x i32> [[XY]], [[YX]]
 140 ; CHECK-NEXT:    ret <2 x i32> [[DIV]]
 141 ;
 142   %xy = sub <2 x i32> %x, %y ; not nsw
 143   %yx = sub nsw <2 x i32> %y, %x
 144   %div = sdiv <2 x i32> %xy, %yx
 145   ret <2 x i32> %div
 146 }
 147
 148 define <2 x i32> @knownnegation_commute_vec_bad3(<2 x i32> %x, <2 x i32> %y) {
 149 ; CHECK-LABEL: @knownnegation_commute_vec_bad3(
 150 ; CHECK-NEXT:    [[XY:%.*]] = sub <2 x i32> [[X:%.*]], [[Y:%.*]]
 151 ; CHECK-NEXT:    [[YX:%.*]] = sub <2 x i32> [[Y]], [[X]]
 152 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv <2 x i32> [[XY]], [[YX]]
 153 ; CHECK-NEXT:    ret <2 x i32> [[DIV]]
 154 ;
 155   %xy = sub <2 x i32> %x, %y ; not nsw
 156   %yx = sub <2 x i32> %y, %x ; not nsw
 157   %div = sdiv <2 x i32> %xy, %yx
 158   ret <2 x i32> %div
 159 }
 160
 161 define <3 x i32> @negated_operand_vec_undef(<3 x i32> %x) {
 162 ; CHECK-LABEL: @negated_operand_vec_undef(
 163 ; CHECK-NEXT:    ret <3 x i32> <i32 -1, i32 -1, i32 -1>
 164 ;
 165   %negx = sub nsw <3 x i32> <i32 0, i32 undef, i32 0>, %x
 166   %div = sdiv <3 x i32> %negx, %x
 167   ret <3 x i32> %div
 168 }
 169
 170 define <2 x i32> @negated_operand_vec_nonsplat(<2 x i32> %x) {
 171 ; CHECK-LABEL: @negated_operand_vec_nonsplat(
 172 ; CHECK-NEXT:    [[NEGX:%.*]] = sub nsw <2 x i32> <i32 0, i32 1>, [[X:%.*]]
 173 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv <2 x i32> [[NEGX]], [[X]]
 174 ; CHECK-NEXT:    ret <2 x i32> [[DIV]]
 175 ;
 176   %negx = sub nsw <2 x i32> <i32 0, i32 1>, %x ; not 0, don't fold
 177   %div = sdiv <2 x i32> %negx, %x
 178   ret <2 x i32> %div
 179 }