llvm/test/CodeGen/ARM/thumb1-div.ll

   1 ; RUN: llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m23 | \
   2 ; RUN:     FileCheck %s -check-prefix=CHECK
   3
   4 define i32 @f1(i32 %a, i32 %b) {
   5 entry:
   6 ; CHECK-LABEL: f1
   7
   8 ; CHECK: sdiv
   9         %tmp1 = sdiv i32 %a, %b         ; <i32> [#uses=1]
  10         ret i32 %tmp1
  11 }
  12
  13 define i32 @f2(i32 %a, i32 %b) {
  14 entry:
  15 ; CHECK-LABEL: f2
  16 ; CHECK: udiv
  17         %tmp1 = udiv i32 %a, %b         ; <i32> [#uses=1]
  18         ret i32 %tmp1
  19 }
  20
  21 define i32 @f3(i32 %a, i32 %b) {
  22 entry:
  23 ; CHECK-LABEL: f3
  24
  25
  26         %tmp1 = srem i32 %a, %b         ; <i32> [#uses=1]
  27         ret i32 %tmp1
  28 ; CHECK: sdiv
  29 ; CHECK-NEXT: muls
  30 ; CHECK-NEXT: subs
  31 }
  32
  33 define i32 @f4(i32 %a, i32 %b) {
  34 entry:
  35 ; CHECK-LABEL: f4
  36
  37 ; CHECK: udiv
  38 ; CHECK-NEXT: muls
  39 ; CHECK-NEXT: subs
  40         %tmp1 = urem i32 %a, %b         ; <i32> [#uses=1]
  41         ret i32 %tmp1
  42 }
  43
  44
  45 define i64 @f5(i64 %a, i64 %b) {
  46 entry:
  47 ; CHECK-LABEL: f5
  48
  49 ; EABI MODE = Remainder in R2-R3, quotient in R0-R1
  50 ; CHECK: __aeabi_ldivmod
  51 ; CHECK-NEXT: mov r0, r2
  52 ; CHECK-NEXT: mov r1, r3
  53         %tmp1 = srem i64 %a, %b         ; <i64> [#uses=1]
  54         ret i64 %tmp1
  55 }
  56
  57 define i64 @f6(i64 %a, i64 %b) {
  58 entry:
  59 ; CHECK-LABEL: f6
  60
  61 ; EABI MODE = Remainder in R2-R3, quotient in R0-R1
  62 ; CHECK: __aeabi_uldivmod
  63 ; CHECK: mov r0, r2
  64 ; CHECK: mov r1, r3
  65         %tmp1 = urem i64 %a, %b         ; <i64> [#uses=1]
  66         ret i64 %tmp1
  67 }