]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - test/CodeGen/X86/bypass-slow-division-64.ll
Vendor import of llvm release_40 branch r292009:
[FreeBSD/FreeBSD.git] / test / CodeGen / X86 / bypass-slow-division-64.ll
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; Check that 64-bit division is bypassed correctly.
3 ; RUN: llc < %s -mattr=+idivq-to-divl -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
4
5 ; Additional tests for 64-bit divide bypass
6
7 define i64 @Test_get_quotient(i64 %a, i64 %b) nounwind {
8 ; CHECK-LABEL: Test_get_quotient:
9 ; CHECK:       # BB#0:
10 ; CHECK-NEXT:    movq %rdi, %rax
11 ; CHECK-NEXT:    orq %rsi, %rax
12 ; CHECK-NEXT:    shrq $32, %rax
13 ; CHECK-NEXT:    je .LBB0_1
14 ; CHECK-NEXT:  # BB#2:
15 ; CHECK-NEXT:    movq %rdi, %rax
16 ; CHECK-NEXT:    cqto
17 ; CHECK-NEXT:    idivq %rsi
18 ; CHECK-NEXT:    retq
19 ; CHECK-NEXT:  .LBB0_1:
20 ; CHECK-NEXT:    xorl %edx, %edx
21 ; CHECK-NEXT:    movl %edi, %eax
22 ; CHECK-NEXT:    divl %esi
23 ; CHECK-NEXT:    # kill: %EAX<def> %EAX<kill> %RAX<def>
24 ; CHECK-NEXT:    retq
25   %result = sdiv i64 %a, %b
26   ret i64 %result
27 }
28
29 define i64 @Test_get_remainder(i64 %a, i64 %b) nounwind {
30 ; CHECK-LABEL: Test_get_remainder:
31 ; CHECK:       # BB#0:
32 ; CHECK-NEXT:    movq %rdi, %rax
33 ; CHECK-NEXT:    orq %rsi, %rax
34 ; CHECK-NEXT:    shrq $32, %rax
35 ; CHECK-NEXT:    je .LBB1_1
36 ; CHECK-NEXT:  # BB#2:
37 ; CHECK-NEXT:    movq %rdi, %rax
38 ; CHECK-NEXT:    cqto
39 ; CHECK-NEXT:    idivq %rsi
40 ; CHECK-NEXT:    movq %rdx, %rax
41 ; CHECK-NEXT:    retq
42 ; CHECK-NEXT:  .LBB1_1:
43 ; CHECK-NEXT:    xorl %edx, %edx
44 ; CHECK-NEXT:    movl %edi, %eax
45 ; CHECK-NEXT:    divl %esi
46 ; CHECK-NEXT:    # kill: %EDX<def> %EDX<kill> %RDX<def>
47 ; CHECK-NEXT:    movq %rdx, %rax
48 ; CHECK-NEXT:    retq
49   %result = srem i64 %a, %b
50   ret i64 %result
51 }
52
53 define i64 @Test_get_quotient_and_remainder(i64 %a, i64 %b) nounwind {
54 ; CHECK-LABEL: Test_get_quotient_and_remainder:
55 ; CHECK:       # BB#0:
56 ; CHECK-NEXT:    movq %rdi, %rax
57 ; CHECK-NEXT:    orq %rsi, %rax
58 ; CHECK-NEXT:    shrq $32, %rax
59 ; CHECK-NEXT:    je .LBB2_1
60 ; CHECK-NEXT:  # BB#2:
61 ; CHECK-NEXT:    movq %rdi, %rax
62 ; CHECK-NEXT:    cqto
63 ; CHECK-NEXT:    idivq %rsi
64 ; CHECK-NEXT:    addq %rdx, %rax
65 ; CHECK-NEXT:    retq
66 ; CHECK-NEXT:  .LBB2_1:
67 ; CHECK-NEXT:    xorl %edx, %edx
68 ; CHECK-NEXT:    movl %edi, %eax
69 ; CHECK-NEXT:    divl %esi
70 ; CHECK-NEXT:    # kill: %EDX<def> %EDX<kill> %RDX<def>
71 ; CHECK-NEXT:    # kill: %EAX<def> %EAX<kill> %RAX<def>
72 ; CHECK-NEXT:    addq %rdx, %rax
73 ; CHECK-NEXT:    retq
74   %resultdiv = sdiv i64 %a, %b
75   %resultrem = srem i64 %a, %b
76   %result = add i64 %resultdiv, %resultrem
77   ret i64 %result
78 }