blob: 0bcaa1079299f1bd4d0b17276dd0bd8c49ddd0a2 [file] [log] [blame]
Matthias Braun7c913362017-08-01 22:20:49 +00001; RUN: llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m23 | \
Sanne Wouda47eb9722017-02-20 12:05:07 +00002; RUN: FileCheck %s -check-prefix=CHECK
3
4define i32 @f1(i32 %a, i32 %b) {
5entry:
6; CHECK-LABEL: f1
7
8; CHECK: sdiv
9 %tmp1 = sdiv i32 %a, %b ; <i32> [#uses=1]
10 ret i32 %tmp1
11}
12
13define i32 @f2(i32 %a, i32 %b) {
14entry:
15; CHECK-LABEL: f2
16; CHECK: udiv
17 %tmp1 = udiv i32 %a, %b ; <i32> [#uses=1]
18 ret i32 %tmp1
19}
20
21define i32 @f3(i32 %a, i32 %b) {
22entry:
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
33define i32 @f4(i32 %a, i32 %b) {
34entry:
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
45define i64 @f5(i64 %a, i64 %b) {
46entry:
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
57define i64 @f6(i64 %a, i64 %b) {
58entry:
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}