llvm/test/CodeGen/ARM/div.ll

; RUN: llc < %s -mtriple=arm-apple-ios -mcpu=cortex-a8      | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-SWDIV
; RUN: llc < %s -mtriple=arm-apple-ios -mcpu=swift          | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-HWDIV-ARM-OR-THUMB2
; RUN: llc < %s -mtriple=arm-apple-ios -mcpu=cortex-r4      | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-SWDIV
; RUN: llc < %s -mtriple=arm-apple-ios -mcpu=cortex-r4f     | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-SWDIV
; RUN: llc < %s -mtriple=arm-apple-ios -mcpu=cortex-r5      | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-HWDIV-ARM-OR-THUMB2
; RUN: llc < %s -mtriple=arm-none-eabi -mcpu=cortex-a8      | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-EABI
; RUN: llc < %s -mtriple=armv7 -mcpu=cortex-a7              | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-HWDIV-ARM-OR-THUMB2
; RUN: llc < %s -mtriple=armv7 -mcpu=cortex-a7 -march=thumb | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-THUMB,CHECK-HWDIV-ARM-OR-THUMB2
; RUN: llc %s -o - -mtriple=thumbv8m.main -mcpu=cortex-m33  | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-THUMB,CHECK-HWDIV-ARM-OR-THUMB2
; RUN: llc < %s -mtriple=thumbv8m.base -mcpu=cortex-m23     | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-THUMB,CHECK-HWDIV-THUMB1
; RUN: llc < %s -mtriple=armv7ve-none-linux-gnu             | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV
; RUN: llc < %s -mtriple=thumbv7ve-none-linux-gnu           | \
; RUN:     FileCheck %s -check-prefixes=CHECK,CHECK-HWDIV,CHECK-THUMB

define i32 @f1(i32 %a, i32 %b) {
entry:
; CHECK-LABEL: f1
; CHECK-SWDIV: __divsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: sdiv

; CHECK-EABI: __aeabi_idiv
        %tmp1 = sdiv i32 %a, %b         ; <i32> [#uses=1]
        ret i32 %tmp1
}

define i32 @f2(i32 %a, i32 %b) {
entry:
; CHECK-LABEL: f2
; CHECK-SWDIV: __udivsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: udiv

; CHECK-EABI: __aeabi_uidiv
        %tmp1 = udiv i32 %a, %b         ; <i32> [#uses=1]
        ret i32 %tmp1
}

define i32 @f3(i32 %a, i32 %b) {
entry:
; CHECK-LABEL: f3
; CHECK-SWDIV: __modsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: sdiv
; CHECK-HWDIV-ARM-OR-THUMB2-NEXT: mls
; CHECK-HWDIV-THUMB1-NEXT: muls
; CHECK-HWDIV-THUMB1-NEXT: subs

; EABI MODE = Remainder in R1, quotient in R0
; CHECK-EABI: __aeabi_idivmod
; CHECK-EABI-NEXT: mov r0, r1
        %tmp1 = srem i32 %a, %b         ; <i32> [#uses=1]
        ret i32 %tmp1
}

define i32 @f4(i32 %a, i32 %b) {
entry:
; CHECK-LABEL: f4
; CHECK-SWDIV: __umodsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: udiv
; CHECK-HWDIV-ARM-OR-THUMB2-NEXT: mls
; CHECK-HWDIV-THUMB1-NEXT: muls
; CHECK-HWDIV-THUMB1-NEXT: subs

; EABI MODE = Remainder in R1, quotient in R0
; CHECK-EABI: __aeabi_uidivmod
; CHECK-EABI-NEXT: mov r0, r1
        %tmp1 = urem i32 %a, %b         ; <i32> [#uses=1]
        ret i32 %tmp1
}


define i64 @f5(i64 %a, i64 %b) {
entry:
; CHECK-LABEL: f5
; CHECK-SWDIV: __moddi3

; CHECK-HWDIV: __moddi3

; EABI MODE = Remainder in R2-R3, quotient in R0-R1
; CHECK-EABI: __aeabi_ldivmod
; CHECK-EABI-NEXT: mov r0, r2
; CHECK-EABI-NEXT: mov r1, r3
        %tmp1 = srem i64 %a, %b         ; <i64> [#uses=1]
        ret i64 %tmp1
}

define i64 @f6(i64 %a, i64 %b) {
entry:
; CHECK-LABEL: f6
; CHECK-SWDIV: __umoddi3

; CHECK-HWDIV: __umoddi3

; EABI MODE = Remainder in R2-R3, quotient in R0-R1
; CHECK-EABI: __aeabi_uldivmod
; CHECK-EABI-NEXT: mov r0, r2
; CHECK-EABI-NEXT: mov r1, r3
        %tmp1 = urem i64 %a, %b         ; <i64> [#uses=1]
        ret i64 %tmp1
}

; Make sure we avoid a libcall for some constants.
define i64 @f7(i64 %a) {
; CHECK-LABEL: f7
; CHECK-SWDIV: adc
; CHECK-SWDIV: umull
; CHECK-HWDIV-ARM-OR-THUMB2: adc
; CHECK-HWDIV-ARM-OR-THUMB2: umull
; CHECK-EABI: adc
; CHECK-EABI: umull
; No 32-bit => 64-bit HW multiply instruction prevents optimisation
; CHECK-HWDIV-THUMB1: __umoddi3
  %tmp1 = urem i64 %a, 3
  ret i64 %tmp1
}

; Make sure we avoid a libcall for some constants.
define i64 @f8(i64 %a) {
; CHECK-LABEL: f8
; CHECK-SWDIV: adc
; CHECK-SWDIV: umull
; CHECK-HWDIV-ARM-OR-THUMB2: adc
; CHECK-HWDIV-ARM-OR-THUMB2: umull
; CHECK-EABI: adc
; CHECK-EABI: umull
; No 32-bit => 64-bit HW multiply instruction prevents optimisation
; CHECK-HWDIV-THUMB1: __udivdi3
  %tmp1 = udiv i64 %a, 3
  ret i64 %tmp1
}

define i8 @sdiv_i8(i8 %a, i8 %b) {
entry:
; CHECK-LABEL: sdiv_i8
; CHECK-SWDIV: __divsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: sdiv

; CHECK-EABI: __aeabi_idiv
        %tmp1 = sdiv i8 %a, %b         ; <i8> [#uses=1]
        ret i8 %tmp1
}


define i16 @sdiv_i16(i16 %a, i16 %b) {
entry:
; CHECK-LABEL: sdiv_i16
; CHECK-SWDIV: __divsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: sdiv

; CHECK-EABI: __aeabi_idiv
        %tmp1 = sdiv i16 %a, %b         ; <i16> [#uses=1]
        ret i16 %tmp1
}

define i8 @udiv_i8(i8 %a, i8 %b) {
entry:
; CHECK-LABEL: udiv_i8
; CHECK-SWDIV: __udivsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: udiv

; CHECK-EABI: __aeabi_uidiv
        %tmp1 = udiv i8 %a, %b         ; <i8> [#uses=1]
        ret i8 %tmp1
}


define i16 @udiv_i16(i16 %a, i16 %b) {
entry:
; CHECK-LABEL: udiv_i16
; CHECK-SWDIV: __udivsi3

; CHECK-THUMB: .thumb_func
; CHECK-HWDIV: udiv

; CHECK-EABI: __aeabi_uidiv
        %tmp1 = udiv i16 %a, %b         ; <i16> [#uses=1]
        ret i16 %tmp1
}