diff options
Diffstat (limited to 'test/CodeGen/ARM/divmod-eabi.ll')
| -rw-r--r-- | test/CodeGen/ARM/divmod-eabi.ll | 258 |
1 files changed, 0 insertions, 258 deletions
diff --git a/test/CodeGen/ARM/divmod-eabi.ll b/test/CodeGen/ARM/divmod-eabi.ll deleted file mode 100644 index 77ffc46e6a69..000000000000 --- a/test/CodeGen/ARM/divmod-eabi.ll +++ /dev/null @@ -1,258 +0,0 @@ -; We run the tests with both the default optimization level and O0, to make sure -; we don't have any ABI differences between them. In principle, the ABI checks -; should be the same for both optimization levels (there could be exceptions -; from this when a div and a mod with the same operands are not coallesced into -; the same divmod, but luckily this doesn't occur in practice even at O0). -; Sometimes the checks that the correct registers are used after the libcalls -; are different between optimization levels, so we have to separate them. -; RUN: llc -mtriple armv7-none-eabi %s -o - | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-none-eabi %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-none-eabihf %s -o - | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-none-eabihf %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=EABI -; All "eabi" (Bare, GNU and Android) must lower SREM/UREM to __aeabi_{u,i}divmod -; RUN: llc -mtriple armv7-linux-androideabi %s -o - | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-linux-androideabi %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-linux-gnueabi %s -o - | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-linux-gnueabi %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-linux-musleabi %s -o - | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-linux-musleabi %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=EABI -; RUN: llc -mtriple armv7-apple-darwin %s -o - | FileCheck %s --check-prefixes=DARWIN -; RUN: llc -mtriple armv7-apple-darwin %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefix=DARWIN-O0 -; RUN: llc -mtriple thumbv7-windows %s -o - | FileCheck %s --check-prefixes=WINDOWS,WINDOWS-DEFAULT -; RUN: llc -mtriple thumbv7-windows %s -o - -O0 -optimize-regalloc | FileCheck %s --check-prefixes=WINDOWS,WINDOWS-O0 - -define signext i16 @f16(i16 signext %a, i16 signext %b) { -; EABI-LABEL: f16: -; DARWIN-LABEL: f16: -; DARWIN-O0-LABEL: f16: -; WINDOWS-LABEL: f16: -entry: - %conv = sext i16 %a to i32 - %conv1 = sext i16 %b to i32 - %div = sdiv i32 %conv, %conv1 - %rem = srem i32 %conv, %conv1 -; EABI: __aeabi_idivmod -; EABI: mov [[div:r[0-9]+]], r0 -; EABI: mov [[rem:r[0-9]+]], r1 -; DARWIN: __divmodsi4 -; DARWIN-O0: __divsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv -; WINDOWS: __rt_sdiv -; WINDOWS-DEFAULT: add [[sum:r[0-9]+]], r1 -; WINDOWS-O0: mov [[rem:r[0-9]+]], r1 - %rem8 = srem i32 %conv1, %conv -; EABI: __aeabi_idivmod -; DARWIN: __modsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv - %add = add nsw i32 %rem, %div - %add13 = add nsw i32 %add, %rem8 - %conv14 = trunc i32 %add13 to i16 -; EABI: add r0{{.*}}r1 -; EABI: sxth r0, r0 -; WINDOWS-DEFAULT: adds [[sum1:r[0-9]+]], [[sum]], r1 -; WINDOWS-O0: adds [[sum:r[0-9]+]], [[rem]], -; WINDOWS-O0: add [[sum1:r[0-9]+]], r1 -; WINDOWS: sxth [[res:r[0-9]+]], [[sum1]] - ret i16 %conv14 -} - -define i32 @f32(i32 %a, i32 %b) { -; EABI-LABEL: f32: -; DARWIN-LABEL: f32: -; DARWIN-O0-LABEL: f32: -; WINDOWS-LABEL: f32: -entry: - %div = sdiv i32 %a, %b - %rem = srem i32 %a, %b -; EABI: __aeabi_idivmod -; EABI: mov [[div:r[0-9]+]], r0 -; EABI: mov [[rem:r[0-9]+]], r1 -; DARWIN: ___divmodsi4 -; DARWIN-O0: __divsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv -; WINDOWS: mov [[div:r[0-9]+]], r0 -; WINDOWS: __rt_sdiv -; WINDOWS-DEFAULT: add [[div]], r1 - %rem1 = srem i32 %b, %a -; EABI: __aeabi_idivmod -; DARWIN: __modsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv - %add = add nsw i32 %rem, %div - %add2 = add nsw i32 %add, %rem1 -; EABI: add r0{{.*}}r1 -; WINDOWS-DEFAULT: adds r0, [[div]], r1 -; WINDOWS-O0: adds [[sum:r[0-9]+]], [[rem]], [[div]] -; WINDOWS-O0: add [[sum]], r1 - ret i32 %add2 -} - -define i32 @uf(i32 %a, i32 %b) { -; EABI-LABEL: uf: -; DARWIN-LABEL: uf: -; DARWIN-O0-LABEL: uf: -; WINDOWS-LABEL: uf: -entry: - %div = udiv i32 %a, %b - %rem = urem i32 %a, %b -; EABI: __aeabi_uidivmod -; DARWIN: __udivmodsi4 -; DARWIN-O0: __udivsi3 -; DARWIN-O0: __umodsi3 -; WINDOWS: __rt_udiv -; WINDOWS: mov [[div:r[0-9]+]], r0 -; WINDOWS: __rt_udiv -; WINDOWS-DEFAULT: add [[div]], r1 - %rem1 = urem i32 %b, %a -; EABI: __aeabi_uidivmod -; DARWIN: __umodsi3 -; DARWIN-O0: __umodsi3 -; WINDOWS: __rt_udiv - %add = add nuw i32 %rem, %div - %add2 = add nuw i32 %add, %rem1 -; EABI: add r0{{.*}}r1 -; WINDOWS-DEFAULT: adds [[sum:r[0-9]+]], [[div]], r1 -; WINDOWS-O0: adds [[sum:r[0-9]+]], -; WINDOWS-O0: add [[sum]], r1 - ret i32 %add2 -} - -define i64 @longf(i64 %a, i64 %b) { -; EABI-LABEL: longf: -; DARWIN-LABEL: longf: -; DARWIN-O0-LABEL: longf: -; WINDOWS-LABEL: longf: -entry: - %div = sdiv i64 %a, %b - %rem = srem i64 %a, %b -; EABI: __aeabi_ldivmod -; EABI-NEXT: adds r0 -; EABI-NEXT: adc r1 -; EABI-NOT: __aeabi_ldivmod -; DARWIN: ___divdi3 -; DARWIN: mov [[div1:r[0-9]+]], r0 -; DARWIN: mov [[div2:r[0-9]+]], r1 -; DARWIN: __moddi3 -; DARWIN-O0: __divdi3 -; DARWIN-O0: __moddi3 -; WINDOWS: __rt_sdiv64 - %add = add nsw i64 %rem, %div -; DARWIN: adds r0{{.*}}[[div1]] -; DARWIN: adc r1{{.*}}[[div2]] -; WINDOWS: adds r0, r0, r2 -; WINDOWS: adcs r1, r3 - ret i64 %add -} - -define i16 @shortf(i16 %a, i16 %b) { -; EABI-LABEL: shortf: -; DARWIN-LABEL: shortf: -; DARWIN-O0-LABEL: shortf: -; WINDOWS-LABEL: shortf: -entry: - %div = sdiv i16 %a, %b - %rem = srem i16 %a, %b -; EABI: __aeabi_idivmod -; DARWIN: ___divmodsi4 -; DARWIN-O0: __divmodsi4 -; WINDOWS: __rt_sdiv -; WINDOWS: mov [[div:r[0-9]+]], r0 -; WINDOWS: __rt_sdiv - %add = add nsw i16 %rem, %div -; EABI: add r0, r1 -; WINDOWS: adds r0, r1, [[div]] - ret i16 %add -} - -define i32 @g1(i32 %a, i32 %b) { -; EABI-LABEL: g1: -; DARWIN-LABEL: g1: -; DARWIN-O0-LABEL: g1: -; WINDOWS-LABEL: g1: -entry: - %div = sdiv i32 %a, %b - %rem = srem i32 %a, %b -; EABI: __aeabi_idivmod -; DARWIN: ___divmodsi4 -; DARWIN-O0: __divsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv -; WINDOWS: mov [[div:r[0-9]+]], r0 -; WINDOWS: __rt_sdiv - %add = add nsw i32 %rem, %div -; EABI: add r0{{.*}}r1 -; WINDOWS: adds r0, r1, [[div]] - ret i32 %add -} - -; On both Darwin and Gnu, this is just a call to __modsi3 -define i32 @g2(i32 %a, i32 %b) { -; EABI-LABEL: g2: -; DARWIN-LABEL: g2: -; DARWIN-O0-LABEL: g2: -; WINDOWS-LABEL: g2: -entry: - %rem = srem i32 %a, %b -; EABI: __aeabi_idivmod -; DARWIN: __modsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv - ret i32 %rem -; EABI: mov r0, r1 -; WINDOWS: mov r0, r1 -} - -define i32 @g3(i32 %a, i32 %b) { -; EABI-LABEL: g3: -; DARWIN-LABEL: g3: -; DARWIN-O0-LABEL: g3: -; WINDOWS-LABEL: g3: -entry: - %rem = srem i32 %a, %b -; EABI: __aeabi_idivmod -; EABI: mov [[mod:r[0-9]+]], r1 -; DARWIN: __modsi3 -; DARWIN: mov [[sum:r[0-9]+]], r0 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv -; WINDOWS: mov [[rem:r[0-9]+]], r1 - %rem1 = srem i32 %b, %rem -; EABI: __aeabi_idivmod -; DARWIN: __modsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv - %add = add nsw i32 %rem1, %rem -; EABI: add r0, r1, [[mod]] -; DARWIN: add r0{{.*}}[[sum]] -; WINDOWS: adds r0, r1, [[rem]] - ret i32 %add -} - -define i32 @g4(i32 %a, i32 %b) { -; EABI-LABEL: g4: -; DARWIN-LABEL: g4: -; DARWIN-O0-LABEL: g4: -; WINDOWS-LABEL: g4: -entry: - %div = sdiv i32 %a, %b -; EABI: __aeabi_idiv{{$}} -; EABI: mov [[div:r[0-9]+]], r0 -; DARWIN: ___divsi3 -; DARWIN: mov [[sum:r[0-9]+]], r0 -; DARWIN-O0: __divsi3 -; WINDOWS: __rt_sdiv -; WINDOWS: mov [[div:r[0-9]+]], r0 - %rem = srem i32 %b, %div -; EABI: __aeabi_idivmod -; DARWIN: __modsi3 -; DARWIN-O0: __modsi3 -; WINDOWS: __rt_sdiv - %add = add nsw i32 %rem, %div -; EABI: add r0, r1, [[div]] -; DARWIN: add r0{{.*}}[[sum]] -; WINDOWS: adds r0, r1, [[div]] - ret i32 %add -} |
