6 // Copyright (c) 2000, Intel Corporation
7 // All rights reserved.
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,
13 // WARRANTY DISCLAIMER
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.
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.
34 // 32-bit unsigned integer remainder
44 alloc r31=ar.pfs,2,0,0,0
50 // 32-BIT UNSIGNED INTEGER REMAINDER BEGINS HERE
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
71 // get 2's complement of b
83 (p6) fma.s1 f10=f6,f8,f0
87 // (3) e0 = 1 - b * y0
88 (p6) fnma.s1 f8=f7,f8,f1
92 // (4) q1 = q0 + e0 * q0
93 (p6) fma.s1 f10=f8,f10,f10
96 // get 2's complement of b
98 // (5) e1 = e0 * e0 + 2^-34
99 (p6) fma.s1 f8=f8,f8,f9
103 // (6) q2 = q1 + e1 * q1
104 (p6) fma.s1 f8=f8,f10,f10
109 fcvt.fxu.trunc.s1 f8=f8
113 // (8) r = a + (-b) * q
117 // remainder will be in the least significant 32 bits of r8 (if b != 0)
123 // 32-BIT UNSIGNED INTEGER REMAINDER ENDS HERE