annotate packages/language/c/libc/current/src/stdlib/ldiv.cxx @ 64:c38311975d4f ecos-sw-2000-01-28

Merge from eCos master repository on 2000-01-28-04:28:11-GMT
author jlarmour
date Fri, 28 Jan 2000 04:59:39 +0000
parents 443894e2e912
children bf00f99aec69
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
1 //===========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
2 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
3 // ldiv.cxx
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
4 //
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
5 // ISO C implementation for ldiv() utility function
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
6 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
7 //===========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
8 //####COPYRIGHTBEGIN####
64
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
9 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
10 // -------------------------------------------
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
11 // The contents of this file are subject to the Red Hat eCos Public License
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
12 // Version 1.0 (the "License"); you may not use this file except in
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
13 // compliance with the License. You may obtain a copy of the License at
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
14 // http://sourceware.cygnus.com/ecos
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
15 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
16 // Software distributed under the License is distributed on an
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
17 // basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
18 // License for the specific language governing rights and limitations under
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
19 // the License.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
20 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
21 // The Original Code is eCos - Embedded Configurable Operating System,
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
22 // released September 30, 1998.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
23 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
24 // The Initial Developer of the Original Code is Red Hat.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
25 // Portions created by Red Hat are
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
26 // Copyright (C) 1998, 1999, 2000 Red Hat, Inc.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
27 // All Rights Reserved.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
28 // -------------------------------------------
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT
jlarmour
parents: 2
diff changeset
29 //
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
30 //####COPYRIGHTEND####
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
31 //===========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
32 //#####DESCRIPTIONBEGIN####
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
33 //
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
34 // Author(s): jlarmour
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
35 // Contributors: jlarmour
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
36 // Date: 1999-03-02
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
37 // Purpose: Provide implementation of ldiv() from ISO C section 7.10.6.4
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
38 // Description:
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
39 // Usage:
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
40 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
41 //####DESCRIPTIONEND####
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
42 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
43 //===========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
44 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
45
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
46 // CONFIGURATION
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
47
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
48 #include <pkgconf/libc.h> // Configuration header
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
49
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
50 // INCLUDES
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
51
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
52 #include <cyg/infra/cyg_type.h> // Common type definitions and support
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
53 #include <cyg/infra/cyg_ass.h> // Assertion support
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
54 #include <cyg/infra/cyg_trac.h> // Tracing support
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
55
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
56 // We don't want the inline versions of stdlib functions defined here
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
57
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
58 #ifdef CYGIMP_LIBC_STDLIB_INLINES
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
59 # undef CYGIMP_LIBC_STDLIB_INLINES
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
60 #endif
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
61
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
62 #include <stddef.h> // NULL, wchar_t and size_t from compiler
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
63 #include <stdlib.h> // Main header for stdlib functions
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
64
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
65
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
66 // FUNCTIONS
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
67
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
68 externC ldiv_t
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
69 __ldiv( long __numer, long __denom )
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
70 {
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
71 ldiv_t __ret;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
72
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
73 CYG_REPORT_FUNCNAMETYPE( "__ldiv", "quotient: %d");
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
74 CYG_REPORT_FUNCARG2DV( __numer, __denom );
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
75 // FIXME: what if they want it handled with SIGFPE? Should have option
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
76 CYG_PRECONDITION(__denom != 0, "division by zero attempted!");
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
77
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
78 __ret.quot = __numer / __denom;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
79 __ret.rem = __numer % __denom;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
80
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
81 // But the modulo is implementation-defined for -ve numbers (ISO C 6.3.5)
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
82 // and we are required to "round" to zero (ISO C 7.10.6.2)
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
83 //
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
84 // The cases we have to deal with are inexact division of:
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
85 // a) + div +
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
86 // b) + div -
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
87 // c) - div +
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
88 // d) - div -
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
89 //
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
90 // a) can never go wrong and the quotient and remainder are always positive
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
91 // b) only goes wrong if the negative quotient has been "rounded" to
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
92 // -infinity - if so then the remainder will be negative when it
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
93 // should be positive or zero
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
94 // c) only goes wrong if the negative quotient has been "rounded" to
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
95 // -infinity - if so then the remainder will be positive when it
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
96 // should be negative or zero
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
97 // d) only goes wrong if the positive quotient has been rounded to
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
98 // +infinity - if so then the remainder will be positive when it
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
99 // should be negative or zero
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
100 //
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
101 // So the correct sign of the remainder corresponds to the sign of the
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
102 // numerator. Which means we can say that the result needs adjusting
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
103 // iff the sign of the numerator is different from the sign of the
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
104 // remainder.
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
105 //
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
106 // You may be interested to know that the Berkeley version of ldiv()
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
107 // would get this wrong for (c) and (d) on some targets.
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
108 // e.g. for (-5)/4 it could leave the result as -2R3
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
109
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
110 if ((__ret.rem < 0) && (__numer > 0)) {
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
111 ++__ret.quot;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
112 __ret.rem -= __denom;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
113 } else if ((__ret.rem > 0) && (__numer < 0)) {
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
114 --__ret.quot;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
115 __ret.rem += __denom;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
116 } // else
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
117
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
118 CYG_REPORT_RETVAL( __ret.quot );
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
119
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
120 return __ret;
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
121 } // __ldiv()
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
122
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
123
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
124 // EXPORTED SYMBOLS
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
125
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
126 externC ldiv_t
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
127 ldiv( long __numer, long __denom ) CYGBLD_ATTRIB_WEAK_ALIAS(__ldiv);
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
128
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
129
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
130 // EOF ldiv.cxx