1/* 2 * Copyright (C) 1999-2000 Hewlett-Packard Co 3 * Copyright (C) 1999-2000 David Mosberger-Tang <davidm@hpl.hp.com> 4 * 5 * 64-bit integer division. 6 * 7 * This code is based on the application note entitled "Divide, Square Root 8 * and Remainder Algorithms for the IA-64 Architecture". This document 9 * is available as Intel document number 248725-002 or via the web at 10 * http://developer.intel.com/software/opensource/numerics/ 11 * 12 * For more details on the theory behind these algorithms, see "IA-64 13 * and Elementary Functions" by Peter Markstein; HP Professional Books 14 * (http://www.goodreads.com/book/show/2019887.Ia_64_and_Elementary_Functions) 15 */ 16 17#include <asm/asmmacro.h> 18 19#ifdef MODULO 20# define OP mod 21#else 22# define OP div 23#endif 24 25#ifdef UNSIGNED 26# define SGN u 27# define INT_TO_FP(a,b) fcvt.xuf.s1 a=b 28# define FP_TO_INT(a,b) fcvt.fxu.trunc.s1 a=b 29#else 30# define SGN 31# define INT_TO_FP(a,b) fcvt.xf a=b 32# define FP_TO_INT(a,b) fcvt.fx.trunc.s1 a=b 33#endif 34 35#define PASTE1(a,b) a##b 36#define PASTE(a,b) PASTE1(a,b) 37#define NAME PASTE(PASTE(__,SGN),PASTE(OP,di3)) 38 39GLOBAL_ENTRY(NAME) 40 .regstk 2,0,0,0 41 // Transfer inputs to FP registers. 42 setf.sig f8 = in0 43 setf.sig f9 = in1 44 ;; 45 // Convert the inputs to FP, to avoid FP software-assist faults. 46 INT_TO_FP(f8, f8) 47 INT_TO_FP(f9, f9) 48 ;; 49 frcpa.s1 f11, p6 = f8, f9 // y0 = frcpa(b) 50 ;; 51(p6) fmpy.s1 f7 = f8, f11 // q0 = a*y0 52(p6) fnma.s1 f6 = f9, f11, f1 // e0 = -b*y0 + 1 53 ;; 54(p6) fma.s1 f10 = f7, f6, f7 // q1 = q0*e0 + q0 55(p6) fmpy.s1 f7 = f6, f6 // e1 = e0*e0 56 ;; 57#ifdef MODULO 58 sub in1 = r0, in1 // in1 = -b 59#endif 60(p6) fma.s1 f10 = f10, f7, f10 // q2 = q1*e1 + q1 61(p6) fma.s1 f6 = f11, f6, f11 // y1 = y0*e0 + y0 62 ;; 63(p6) fma.s1 f6 = f6, f7, f6 // y2 = y1*e1 + y1 64(p6) fnma.s1 f7 = f9, f10, f8 // r = -b*q2 + a 65 ;; 66#ifdef MODULO 67 setf.sig f8 = in0 // f8 = a 68 setf.sig f9 = in1 // f9 = -b 69#endif 70(p6) fma.s1 f11 = f7, f6, f10 // q3 = r*y2 + q2 71 ;; 72 FP_TO_INT(f11, f11) // q = trunc(q3) 73 ;; 74#ifdef MODULO 75 xma.l f11 = f11, f9, f8 // r = q*(-b) + a 76 ;; 77#endif 78 getf.sig r8 = f11 // transfer result to result register 79 br.ret.sptk.many rp 80END(NAME) 81