]> CyberLeo.Net >> Repos - FreeBSD/releng/10.0.git/blob - sys/libkern/ia64/__umodsi3.S
- Copy stable/10 (r259064) to releng/10.0 as part of the
[FreeBSD/releng/10.0.git] / sys / libkern / ia64 / __umodsi3.S
1 .file "__umodsi3.s"
2
3 // $FreeBSD$
4
5 //-
6 // Copyright (c) 2000, Intel Corporation
7 // All rights reserved.
8 //
9 // Contributed 2/15/2000 by Marius Cornea, John Harrison, Cristina Iordache, 
10 // Ted Kubaska, Bob Norin, and Shane Story of the Computational Software Lab, 
11 // Intel Corporation.
12 //
13 // WARRANTY DISCLAIMER
14 //
15 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 
17 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL INTEL OR ITS 
19 // CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
20 // EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
21 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 
22 // PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
23 // OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY OR TORT (INCLUDING
24 // NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
25 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 //
27 // Intel Corporation is the author of this code, and requests that all
28 // problem reports or change requests be submitted to it directly at
29 // http://developer.intel.com/opensource.
30 //
31
32 .section .text
33
34 // 32-bit unsigned integer remainder
35
36 .proc __umodsi3#
37 .align 32
38 .global __umodsi3#
39 .align 32
40
41 __umodsi3:
42
43 { .mii
44   alloc r31=ar.pfs,2,0,0,0
45   nop.i 0
46   nop.i 0;;
47 } { .mii
48   nop.m 0
49
50   // 32-BIT UNSIGNED INTEGER REMAINDER BEGINS HERE
51
52   // general register used:
53   //    r32 - 32-bit unsigned integer dividend
54   //    r33 - 32-bit unsigned integer divisor
55   //    r8 - 32-bit unsigned integer result
56   //    r2 - scratch register
57   // floating-point registers used: f6, f7, f8, f9, f10, f11
58   // predicate registers used: p6
59
60   zxt4 r32=r32
61   zxt4 r33=r33;;
62 } { .mmb
63   setf.sig f11=r32
64   setf.sig f7=r33
65   nop.b 0;;
66 } { .mfi
67   nop.m 0
68   fcvt.xf f6=f11
69   nop.i 0
70 } { .mfi
71   // get 2's complement of b
72   sub r33=r0,r33
73   fcvt.xf f7=f7
74   mov r2 = 0x0ffdd;;
75 } { .mfi
76   setf.exp f9 = r2
77   // (1) y0
78   frcpa.s1 f8,p6=f6,f7
79   nop.i 0;;
80 }  { .mfi
81   nop.m 0
82   // (2) q0 = a * y0
83   (p6) fma.s1 f10=f6,f8,f0
84   nop.i 0
85 } { .mfi
86   nop.m 0
87   // (3) e0 = 1 - b * y0
88   (p6) fnma.s1 f8=f7,f8,f1
89   nop.i 0;;
90 } { .mfi
91   nop.m 0
92   // (4) q1 = q0 + e0 * q0
93   (p6) fma.s1 f10=f8,f10,f10
94   nop.i 0
95 } { .mfi
96   // get 2's complement of b
97   setf.sig f7=r33
98   // (5) e1 = e0 * e0 + 2^-34
99   (p6) fma.s1 f8=f8,f8,f9
100   nop.i 0;;
101 } { .mfi
102   nop.m 0
103   // (6) q2 = q1 + e1 * q1
104   (p6) fma.s1 f8=f8,f10,f10
105   nop.i 0;;
106 } { .mfi
107   nop.m 0
108   // (7) q = trunc(q2)
109   fcvt.fxu.trunc.s1 f8=f8
110   nop.i 0;;
111 }  { .mfi
112   nop.m 0
113   // (8) r = a + (-b) * q
114   xma.l f8=f8,f7,f11
115   nop.i 0;;
116 }  { .mmi
117   // remainder will be in the least significant 32 bits of r8 (if b != 0)
118   getf.sig r8=f8
119   nop.m 0
120   nop.i 0;;
121 }
122
123   // 32-BIT UNSIGNED INTEGER REMAINDER ENDS HERE
124
125 { .mmb
126   nop.m 0
127   nop.m 0
128   br.ret.sptk b0;;
129 }
130
131 .endp __umodsi3