llvm/test/CodeGen/VE/Scalar/rem.ll

   1 ; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
   2
   3 ; Function Attrs: norecurse nounwind readnone
   4 define i128 @remi128(i128 %a, i128 %b) {
   5 ; CHECK-LABEL: remi128:
   6 ; CHECK:       .LBB{{[0-9]+}}_2:
   7 ; CHECK-NEXT:    lea %s4, __modti3@lo
   8 ; CHECK-NEXT:    and %s4, %s4, (32)0
   9 ; CHECK-NEXT:    lea.sl %s12, __modti3@hi(, %s4)
  10 ; CHECK-NEXT:    bsic %s10, (, %s12)
  11 ; CHECK-NEXT:    or %s11, 0, %s9
  12   %r = srem i128 %a, %b
  13   ret i128 %r
  14 }
  15
  16 ; Function Attrs: norecurse nounwind readnone
  17 define i64 @remi64(i64 %a, i64 %b) {
  18 ; CHECK-LABEL: remi64:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    divs.l %s2, %s0, %s1
  21 ; CHECK-NEXT:    muls.l %s1, %s2, %s1
  22 ; CHECK-NEXT:    subs.l %s0, %s0, %s1
  23 ; CHECK-NEXT:    b.l.t (, %s10)
  24   %r = srem i64 %a, %b
  25   ret i64 %r
  26 }
  27
  28 ; Function Attrs: norecurse nounwind readnone
  29 define signext i32 @remi32(i32 signext %a, i32 signext %b) {
  30 ; CHECK-LABEL: remi32:
  31 ; CHECK:       # %bb.0:
  32 ; CHECK-NEXT:    divs.w.sx %s2, %s0, %s1
  33 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
  34 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
  35 ; CHECK-NEXT:    adds.w.sx %s0, %s0, (0)1
  36 ; CHECK-NEXT:    b.l.t (, %s10)
  37   %r = srem i32 %a, %b
  38   ret i32 %r
  39 }
  40
  41 ; Function Attrs: norecurse nounwind readnone
  42 define i128 @remu128(i128 %a, i128 %b) {
  43 ; CHECK-LABEL: remu128:
  44 ; CHECK:       .LBB{{[0-9]+}}_2:
  45 ; CHECK-NEXT:    lea %s4, __umodti3@lo
  46 ; CHECK-NEXT:    and %s4, %s4, (32)0
  47 ; CHECK-NEXT:    lea.sl %s12, __umodti3@hi(, %s4)
  48 ; CHECK-NEXT:    bsic %s10, (, %s12)
  49 ; CHECK-NEXT:    or %s11, 0, %s9
  50   %r = urem i128 %a, %b
  51   ret i128 %r
  52 }
  53
  54 ; Function Attrs: norecurse nounwind readnone
  55 define i64 @remu64(i64 %a, i64 %b) {
  56 ; CHECK-LABEL: remu64:
  57 ; CHECK:       # %bb.0:
  58 ; CHECK-NEXT:    divu.l %s2, %s0, %s1
  59 ; CHECK-NEXT:    muls.l %s1, %s2, %s1
  60 ; CHECK-NEXT:    subs.l %s0, %s0, %s1
  61 ; CHECK-NEXT:    b.l.t (, %s10)
  62   %r = urem i64 %a, %b
  63   ret i64 %r
  64 }
  65
  66 ; Function Attrs: norecurse nounwind readnone
  67 define zeroext i32 @remu32(i32 zeroext %a, i32 zeroext %b) {
  68 ; CHECK-LABEL: remu32:
  69 ; CHECK:       # %bb.0:
  70 ; CHECK-NEXT:    divu.w %s2, %s0, %s1
  71 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
  72 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
  73 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
  74 ; CHECK-NEXT:    b.l.t (, %s10)
  75   %r = urem i32 %a, %b
  76   ret i32 %r
  77 }
  78
  79 ; Function Attrs: norecurse nounwind readnone
  80 define signext i16 @remi16(i16 signext %a, i16 signext %b) {
  81 ; CHECK-LABEL: remi16:
  82 ; CHECK:       # %bb.0:
  83 ; CHECK-NEXT:    divs.w.sx %s2, %s0, %s1
  84 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
  85 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
  86 ; CHECK-NEXT:    adds.w.sx %s0, %s0, (0)1
  87 ; CHECK-NEXT:    b.l.t (, %s10)
  88   %a32 = sext i16 %a to i32
  89   %b32 = sext i16 %b to i32
  90   %r32 = srem i32 %a32, %b32
  91   %r = trunc i32 %r32 to i16
  92   ret i16 %r
  93 }
  94
  95 ; Function Attrs: norecurse nounwind readnone
  96 define zeroext i16 @remu16(i16 zeroext %a, i16 zeroext %b) {
  97 ; CHECK-LABEL: remu16:
  98 ; CHECK:       # %bb.0:
  99 ; CHECK-NEXT:    divu.w %s2, %s0, %s1
 100 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
 101 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
 102 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
 103 ; CHECK-NEXT:    b.l.t (, %s10)
 104   %r = urem i16 %a, %b
 105   ret i16 %r
 106 }
 107
 108 ; Function Attrs: norecurse nounwind readnone
 109 define signext i8 @remi8(i8 signext %a, i8 signext %b) {
 110 ; CHECK-LABEL: remi8:
 111 ; CHECK:       # %bb.0:
 112 ; CHECK-NEXT:    divs.w.sx %s2, %s0, %s1
 113 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
 114 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
 115 ; CHECK-NEXT:    adds.w.sx %s0, %s0, (0)1
 116 ; CHECK-NEXT:    b.l.t (, %s10)
 117   %a32 = sext i8 %a to i32
 118   %b32 = sext i8 %b to i32
 119   %r32 = srem i32 %a32, %b32
 120   %r = trunc i32 %r32 to i8
 121   ret i8 %r
 122 }
 123
 124 ; Function Attrs: norecurse nounwind readnone
 125 define zeroext i8 @remu8(i8 zeroext %a, i8 zeroext %b) {
 126 ; CHECK-LABEL: remu8:
 127 ; CHECK:       # %bb.0:
 128 ; CHECK-NEXT:    divu.w %s2, %s0, %s1
 129 ; CHECK-NEXT:    muls.w.sx %s1, %s2, %s1
 130 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
 131 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
 132 ; CHECK-NEXT:    b.l.t (, %s10)
 133   %r = urem i8 %a, %b
 134   ret i8 %r
 135 }
 136
 137 ; Function Attrs: norecurse nounwind readnone
 138 define i128 @remi128ri(i128 %a) {
 139 ; CHECK-LABEL: remi128ri:
 140 ; CHECK:       .LBB{{[0-9]+}}_2:
 141 ; CHECK-NEXT:    lea %s2, __modti3@lo
 142 ; CHECK-NEXT:    and %s2, %s2, (32)0
 143 ; CHECK-NEXT:    lea.sl %s12, __modti3@hi(, %s2)
 144 ; CHECK-NEXT:    or %s2, 3, (0)1
 145 ; CHECK-NEXT:    or %s3, 0, (0)1
 146 ; CHECK-NEXT:    bsic %s10, (, %s12)
 147 ; CHECK-NEXT:    or %s11, 0, %s9
 148   %r = srem i128 %a, 3
 149   ret i128 %r
 150 }
 151
 152 ; Function Attrs: norecurse nounwind readnone
 153 define i64 @remi64ri(i64 %a) {
 154 ; CHECK-LABEL: remi64ri:
 155 ; CHECK:       # %bb.0:
 156 ; CHECK-NEXT:    divs.l %s1, %s0, (62)0
 157 ; CHECK-NEXT:    muls.l %s1, 3, %s1
 158 ; CHECK-NEXT:    subs.l %s0, %s0, %s1
 159 ; CHECK-NEXT:    b.l.t (, %s10)
 160   %r = srem i64 %a, 3
 161   ret i64 %r
 162 }
 163
 164 ; Function Attrs: norecurse nounwind readnone
 165 define signext i32 @remi32ri(i32 signext %a) {
 166 ; CHECK-LABEL: remi32ri:
 167 ; CHECK:       # %bb.0:
 168 ; CHECK-NEXT:    lea %s1, 1431655766
 169 ; CHECK-NEXT:    muls.l %s1, %s0, %s1
 170 ; CHECK-NEXT:    srl %s2, %s1, 63
 171 ; CHECK-NEXT:    srl %s1, %s1, 32
 172 ; CHECK-NEXT:    adds.w.sx %s1, %s1, %s2
 173 ; CHECK-NEXT:    muls.w.sx %s1, 3, %s1
 174 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
 175 ; CHECK-NEXT:    adds.w.sx %s0, %s0, (0)1
 176 ; CHECK-NEXT:    b.l.t (, %s10)
 177   %r = srem i32 %a, 3
 178   ret i32 %r
 179 }
 180
 181 ; Function Attrs: norecurse nounwind readnone
 182 define i128 @remu128ri(i128 %a) {
 183 ; CHECK-LABEL: remu128ri:
 184 ; CHECK:       .LBB{{[0-9]+}}_2:
 185 ; CHECK-NEXT:    lea %s2, __umodti3@lo
 186 ; CHECK-NEXT:    and %s2, %s2, (32)0
 187 ; CHECK-NEXT:    lea.sl %s12, __umodti3@hi(, %s2)
 188 ; CHECK-NEXT:    or %s2, 11, (0)1
 189 ; CHECK-NEXT:    or %s3, 0, (0)1
 190 ; CHECK-NEXT:    bsic %s10, (, %s12)
 191 ; CHECK-NEXT:    or %s11, 0, %s9
 192   %r = urem i128 %a, 11
 193   ret i128 %r
 194 }
 195
 196 ; Function Attrs: norecurse nounwind readnone
 197 define i64 @remu64ri(i64 %a) {
 198 ; CHECK-LABEL: remu64ri:
 199 ; CHECK:       # %bb.0:
 200 ; CHECK-NEXT:    divu.l %s1, %s0, (62)0
 201 ; CHECK-NEXT:    muls.l %s1, 3, %s1
 202 ; CHECK-NEXT:    subs.l %s0, %s0, %s1
 203 ; CHECK-NEXT:    b.l.t (, %s10)
 204   %r = urem i64 %a, 3
 205   ret i64 %r
 206 }
 207
 208 ; Function Attrs: norecurse nounwind readnone
 209 define zeroext i32 @remu32ri(i32 zeroext %a) {
 210 ; CHECK-LABEL: remu32ri:
 211 ; CHECK:       # %bb.0:
 212 ; CHECK-NEXT:    lea %s1, -1431655765
 213 ; CHECK-NEXT:    and %s1, %s1, (32)0
 214 ; CHECK-NEXT:    muls.l %s1, %s0, %s1
 215 ; CHECK-NEXT:    srl %s1, %s1, 33
 216 ; CHECK-NEXT:    muls.w.sx %s1, 3, %s1
 217 ; CHECK-NEXT:    subs.w.sx %s0, %s0, %s1
 218 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
 219 ; CHECK-NEXT:    b.l.t (, %s10)
 220   %r = urem i32 %a, 3
 221   ret i32 %r
 222 }
 223
 224 ; Function Attrs: norecurse nounwind readnone
 225 define i128 @remi128li(i128 %a) {
 226 ; CHECK-LABEL: remi128li:
 227 ; CHECK:       .LBB{{[0-9]+}}_2:
 228 ; CHECK-NEXT:    or %s3, 0, %s1
 229 ; CHECK-NEXT:    or %s2, 0, %s0
 230 ; CHECK-NEXT:    lea %s0, __modti3@lo
 231 ; CHECK-NEXT:    and %s0, %s0, (32)0
 232 ; CHECK-NEXT:    lea.sl %s12, __modti3@hi(, %s0)
 233 ; CHECK-NEXT:    or %s0, 3, (0)1
 234 ; CHECK-NEXT:    or %s1, 0, (0)1
 235 ; CHECK-NEXT:    bsic %s10, (, %s12)
 236 ; CHECK-NEXT:    or %s11, 0, %s9
 237   %r = srem i128 3, %a
 238   ret i128 %r
 239 }
 240
 241 ; Function Attrs: norecurse nounwind readnone
 242 define i64 @remi64li(i64 %a, i64 %b) {
 243 ; CHECK-LABEL: remi64li:
 244 ; CHECK:       # %bb.0:
 245 ; CHECK-NEXT:    divs.l %s0, 3, %s1
 246 ; CHECK-NEXT:    muls.l %s0, %s0, %s1
 247 ; CHECK-NEXT:    subs.l %s0, 3, %s0
 248 ; CHECK-NEXT:    b.l.t (, %s10)
 249   %r = srem i64 3, %b
 250   ret i64 %r
 251 }
 252
 253 ; Function Attrs: norecurse nounwind readnone
 254 define signext i32 @remi32li(i32 signext %a, i32 signext %b) {
 255 ; CHECK-LABEL: remi32li:
 256 ; CHECK:       # %bb.0:
 257 ; CHECK-NEXT:    divs.w.sx %s0, 3, %s1
 258 ; CHECK-NEXT:    muls.w.sx %s0, %s0, %s1
 259 ; CHECK-NEXT:    subs.w.sx %s0, 3, %s0
 260 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
 261 ; CHECK-NEXT:    b.l.t (, %s10)
 262   %r = srem i32 3, %b
 263   ret i32 %r
 264 }
 265
 266 ; Function Attrs: norecurse nounwind readnone
 267 define i128 @remu128li(i128) {
 268 ; CHECK-LABEL: remu128li:
 269 ; CHECK:       .LBB{{[0-9]+}}_2:
 270 ; CHECK-NEXT:    or %s3, 0, %s1
 271 ; CHECK-NEXT:    or %s2, 0, %s0
 272 ; CHECK-NEXT:    lea %s0, __umodti3@lo
 273 ; CHECK-NEXT:    and %s0, %s0, (32)0
 274 ; CHECK-NEXT:    lea.sl %s12, __umodti3@hi(, %s0)
 275 ; CHECK-NEXT:    or %s0, 3, (0)1
 276 ; CHECK-NEXT:    or %s1, 0, (0)1
 277 ; CHECK-NEXT:    bsic %s10, (, %s12)
 278 ; CHECK-NEXT:    or %s11, 0, %s9
 279   %2 = urem i128 3, %0
 280   ret i128 %2
 281 }
 282
 283 ; Function Attrs: norecurse nounwind readnone
 284 define i64 @remu64li(i64 %a, i64 %b) {
 285 ; CHECK-LABEL: remu64li:
 286 ; CHECK:       # %bb.0:
 287 ; CHECK-NEXT:    divu.l %s0, 3, %s1
 288 ; CHECK-NEXT:    muls.l %s0, %s0, %s1
 289 ; CHECK-NEXT:    subs.l %s0, 3, %s0
 290 ; CHECK-NEXT:    b.l.t (, %s10)
 291   %r = urem i64 3, %b
 292   ret i64 %r
 293 }
 294
 295 ; Function Attrs: norecurse nounwind readnone
 296 define zeroext i32 @remu32li(i32 zeroext %a, i32 zeroext %b) {
 297 ; CHECK-LABEL: remu32li:
 298 ; CHECK:       # %bb.0:
 299 ; CHECK-NEXT:    divu.w %s0, 3, %s1
 300 ; CHECK-NEXT:    muls.w.sx %s0, %s0, %s1
 301 ; CHECK-NEXT:    subs.w.sx %s0, 3, %s0
 302 ; CHECK-NEXT:    adds.w.zx %s0, %s0, (0)1
 303 ; CHECK-NEXT:    b.l.t (, %s10)
 304   %r = urem i32 3, %b
 305   ret i32 %r
 306 }