Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 1 | Compiler-RT |
| 2 | ================================ |
| 3 | |
| 4 | This directory and its subdirectories contain source code for the compiler |
| 5 | support routines. |
| 6 | |
| 7 | Compiler-RT is open source software. You may freely distribute it under the |
| 8 | terms of the license agreement found in LICENSE.txt. |
| 9 | |
| 10 | ================================ |
| 11 | |
Gabor Greif | 34ecf0f | 2009-07-03 14:37:30 +0000 | [diff] [blame] | 12 | This is a replacement library for libgcc. Each function is contained |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 13 | in its own file. Each function has a corresponding unit test under |
| 14 | test/Unit. |
| 15 | |
| 16 | A rudimentary script to test each file is in the file called |
| 17 | test/Unit/test. |
| 18 | |
| 19 | Here is the specification for this library: |
| 20 | |
| 21 | http://gcc.gnu.org/onlinedocs/gccint/Libgcc.html#Libgcc |
| 22 | |
| 23 | Here is a synopsis of the contents of this library: |
| 24 | |
| 25 | typedef int si_int; |
| 26 | typedef unsigned su_int; |
| 27 | |
| 28 | typedef long long di_int; |
| 29 | typedef unsigned long long du_int; |
| 30 | |
| 31 | // Integral bit manipulation |
| 32 | |
| 33 | di_int __ashldi3(di_int a, si_int b); // a << b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 34 | ti_int __ashlti3(ti_int a, si_int b); // a << b |
| 35 | |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 36 | di_int __ashrdi3(di_int a, si_int b); // a >> b arithmetic (sign fill) |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 37 | ti_int __ashrti3(ti_int a, si_int b); // a >> b arithmetic (sign fill) |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 38 | di_int __lshrdi3(di_int a, si_int b); // a >> b logical (zero fill) |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 39 | ti_int __lshrti3(ti_int a, si_int b); // a >> b logical (zero fill) |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 40 | |
Gabor Greif | 34ecf0f | 2009-07-03 14:37:30 +0000 | [diff] [blame] | 41 | si_int __clzsi2(si_int a); // count leading zeros |
| 42 | si_int __clzdi2(di_int a); // count leading zeros |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 43 | si_int __clzti2(ti_int a); // count leading zeros |
Gabor Greif | 34ecf0f | 2009-07-03 14:37:30 +0000 | [diff] [blame] | 44 | si_int __ctzsi2(si_int a); // count trailing zeros |
| 45 | si_int __ctzdi2(di_int a); // count trailing zeros |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 46 | si_int __ctzti2(ti_int a); // count trailing zeros |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 47 | |
| 48 | si_int __ffsdi2(di_int a); // find least significant 1 bit |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 49 | si_int __ffsti2(ti_int a); // find least significant 1 bit |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 50 | |
| 51 | si_int __paritysi2(si_int a); // bit parity |
| 52 | si_int __paritydi2(di_int a); // bit parity |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 53 | si_int __parityti2(ti_int a); // bit parity |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 54 | |
| 55 | si_int __popcountsi2(si_int a); // bit population |
| 56 | si_int __popcountdi2(di_int a); // bit population |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 57 | si_int __popcountti2(ti_int a); // bit population |
| 58 | |
| 59 | uint32_t __bswapsi2(uint32_t a); // a byteswapped, arm only |
| 60 | uint64_t __bswapdi2(uint64_t a); // a byteswapped, arm only |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 61 | |
| 62 | // Integral arithmetic |
| 63 | |
| 64 | di_int __negdi2 (di_int a); // -a |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 65 | ti_int __negti2 (ti_int a); // -a |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 66 | di_int __muldi3 (di_int a, di_int b); // a * b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 67 | ti_int __multi3 (ti_int a, ti_int b); // a * b |
| 68 | si_int __divsi3 (si_int a, si_int b); // a / b signed |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 69 | di_int __divdi3 (di_int a, di_int b); // a / b signed |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 70 | ti_int __divti3 (ti_int a, ti_int b); // a / b signed |
| 71 | su_int __udivsi3 (su_int n, su_int d); // a / b unsigned |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 72 | du_int __udivdi3 (du_int a, du_int b); // a / b unsigned |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 73 | tu_int __udivti3 (tu_int a, tu_int b); // a / b unsigned |
| 74 | si_int __modsi3 (si_int a, si_int b); // a % b signed |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 75 | di_int __moddi3 (di_int a, di_int b); // a % b signed |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 76 | ti_int __modti3 (ti_int a, ti_int b); // a % b signed |
| 77 | su_int __umodsi3 (su_int a, su_int b); // a % b unsigned |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 78 | du_int __umoddi3 (du_int a, du_int b); // a % b unsigned |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 79 | tu_int __umodti3 (tu_int a, tu_int b); // a % b unsigned |
Nick Kledzik | 5c08099 | 2011-03-17 00:09:13 +0000 | [diff] [blame] | 80 | du_int __udivmoddi4(du_int a, du_int b, du_int* rem); // a / b, *rem = a % b unsigned |
| 81 | tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem); // a / b, *rem = a % b unsigned |
| 82 | su_int __udivmodsi4(su_int a, su_int b, su_int* rem); // a / b, *rem = a % b unsigned |
| 83 | si_int __divmodsi4(si_int a, si_int b, si_int* rem); // a / b, *rem = a % b signed |
| 84 | |
| 85 | |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 86 | |
| 87 | // Integral arithmetic with trapping overflow |
| 88 | |
| 89 | si_int __absvsi2(si_int a); // abs(a) |
| 90 | di_int __absvdi2(di_int a); // abs(a) |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 91 | ti_int __absvti2(ti_int a); // abs(a) |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 92 | |
| 93 | si_int __negvsi2(si_int a); // -a |
| 94 | di_int __negvdi2(di_int a); // -a |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 95 | ti_int __negvti2(ti_int a); // -a |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 96 | |
| 97 | si_int __addvsi3(si_int a, si_int b); // a + b |
| 98 | di_int __addvdi3(di_int a, di_int b); // a + b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 99 | ti_int __addvti3(ti_int a, ti_int b); // a + b |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 100 | |
| 101 | si_int __subvsi3(si_int a, si_int b); // a - b |
| 102 | di_int __subvdi3(di_int a, di_int b); // a - b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 103 | ti_int __subvti3(ti_int a, ti_int b); // a - b |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 104 | |
| 105 | si_int __mulvsi3(si_int a, si_int b); // a * b |
| 106 | di_int __mulvdi3(di_int a, di_int b); // a * b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 107 | ti_int __mulvti3(ti_int a, ti_int b); // a * b |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 108 | |
| 109 | // Integral comparison: a < b -> 0 |
| 110 | // a == b -> 1 |
| 111 | // a > b -> 2 |
| 112 | |
| 113 | si_int __cmpdi2 (di_int a, di_int b); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 114 | si_int __cmpti2 (ti_int a, ti_int b); |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 115 | si_int __ucmpdi2(du_int a, du_int b); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 116 | si_int __ucmpti2(tu_int a, tu_int b); |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 117 | |
| 118 | // Integral / floating point conversion |
| 119 | |
| 120 | di_int __fixsfdi( float a); |
| 121 | di_int __fixdfdi( double a); |
| 122 | di_int __fixxfdi(long double a); |
| 123 | |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 124 | ti_int __fixsfti( float a); |
| 125 | ti_int __fixdfti( double a); |
| 126 | ti_int __fixxfti(long double a); |
| 127 | uint64_t __fixtfdi(long double input); // ppc only, doesn't match documentation |
| 128 | |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 129 | su_int __fixunssfsi( float a); |
| 130 | su_int __fixunsdfsi( double a); |
| 131 | su_int __fixunsxfsi(long double a); |
| 132 | |
| 133 | du_int __fixunssfdi( float a); |
| 134 | du_int __fixunsdfdi( double a); |
| 135 | du_int __fixunsxfdi(long double a); |
| 136 | |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 137 | tu_int __fixunssfti( float a); |
| 138 | tu_int __fixunsdfti( double a); |
| 139 | tu_int __fixunsxfti(long double a); |
| 140 | uint64_t __fixunstfdi(long double input); // ppc only |
| 141 | |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 142 | float __floatdisf(di_int a); |
| 143 | double __floatdidf(di_int a); |
| 144 | long double __floatdixf(di_int a); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 145 | long double __floatditf(int64_t a); // ppc only |
| 146 | |
| 147 | float __floattisf(ti_int a); |
| 148 | double __floattidf(ti_int a); |
| 149 | long double __floattixf(ti_int a); |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 150 | |
| 151 | float __floatundisf(du_int a); |
| 152 | double __floatundidf(du_int a); |
| 153 | long double __floatundixf(du_int a); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 154 | long double __floatunditf(uint64_t a); // ppc only |
| 155 | |
| 156 | float __floatuntisf(tu_int a); |
| 157 | double __floatuntidf(tu_int a); |
| 158 | long double __floatuntixf(tu_int a); |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 159 | |
| 160 | // Floating point raised to integer power |
| 161 | |
| 162 | float __powisf2( float a, si_int b); // a ^ b |
| 163 | double __powidf2( double a, si_int b); // a ^ b |
| 164 | long double __powixf2(long double a, si_int b); // a ^ b |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 165 | long double __powitf2(long double a, si_int b); // ppc only, a ^ b |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 166 | |
| 167 | // Complex arithmetic |
| 168 | |
| 169 | // (a + ib) * (c + id) |
| 170 | |
| 171 | float _Complex __mulsc3( float a, float b, float c, float d); |
| 172 | double _Complex __muldc3(double a, double b, double c, double d); |
| 173 | long double _Complex __mulxc3(long double a, long double b, |
| 174 | long double c, long double d); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 175 | long double _Complex __multc3(long double a, long double b, |
| 176 | long double c, long double d); // ppc only |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 177 | |
| 178 | // (a + ib) / (c + id) |
| 179 | |
| 180 | float _Complex __divsc3( float a, float b, float c, float d); |
| 181 | double _Complex __divdc3(double a, double b, double c, double d); |
| 182 | long double _Complex __divxc3(long double a, long double b, |
| 183 | long double c, long double d); |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 184 | long double _Complex __divtc3(long double a, long double b, |
| 185 | long double c, long double d); // ppc only |
| 186 | |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 187 | |
| 188 | // Runtime support |
| 189 | |
| 190 | // __clear_cache() is used to tell process that new instructions have been |
| 191 | // written to an address range. Necessary on processors that do not have |
| 192 | // a unified instuction and data cache. |
| 193 | void __clear_cache(void* start, void* end); |
| 194 | |
| 195 | // __enable_execute_stack() is used with nested functions when a trampoline |
| 196 | // function is written onto the stack and that page range needs to be made |
| 197 | // executable. |
| 198 | void __enable_execute_stack(void* addr); |
| 199 | |
| 200 | // __gcc_personality_v0() is normally only called by the system unwinder. |
| 201 | // C code (as opposed to C++) normally does not need a personality function |
| 202 | // because there are no catch clauses or destructors to be run. But there |
| 203 | // is a C language extension __attribute__((cleanup(func))) which marks local |
| 204 | // variables as needing the cleanup function "func" to be run when the |
| 205 | // variable goes out of scope. That includes when an exception is thrown, |
| 206 | // so a personality handler is needed. |
| 207 | _Unwind_Reason_Code __gcc_personality_v0(int version, _Unwind_Action actions, |
| 208 | uint64_t exceptionClass, struct _Unwind_Exception* exceptionObject, |
| 209 | _Unwind_Context_t context); |
| 210 | |
| 211 | // for use with some implementations of assert() in <assert.h> |
| 212 | void __eprintf(const char* format, const char* assertion_expression, |
| 213 | const char* line, const char* file); |
| 214 | |
| 215 | |
| 216 | |
| 217 | // Power PC specific functions |
| 218 | |
| 219 | // There is no C interface to the saveFP/restFP functions. They are helper |
| 220 | // functions called by the prolog and epilog of functions that need to save |
| 221 | // a number of non-volatile float point registers. |
| 222 | saveFP |
| 223 | restFP |
| 224 | |
| 225 | // PowerPC has a standard template for trampoline functions. This function |
| 226 | // generates a custom trampoline function with the specific realFunc |
| 227 | // and localsPtr values. |
| 228 | void __trampoline_setup(uint32_t* trampOnStack, int trampSizeAllocated, |
| 229 | const void* realFunc, void* localsPtr); |
| 230 | |
| 231 | // adds two 128-bit double-double precision values ( x + y ) |
| 232 | long double __gcc_qadd(long double x, long double y); |
| 233 | |
| 234 | // subtracts two 128-bit double-double precision values ( x - y ) |
| 235 | long double __gcc_qsub(long double x, long double y); |
| 236 | |
| 237 | // multiples two 128-bit double-double precision values ( x * y ) |
| 238 | long double __gcc_qmul(long double x, long double y); |
| 239 | |
| 240 | // divides two 128-bit double-double precision values ( x / y ) |
| 241 | long double __gcc_qdiv(long double a, long double b); |
| 242 | |
| 243 | |
| 244 | // ARM specific functions |
| 245 | |
| 246 | // There is no C interface to the switch* functions. These helper functions |
| 247 | // are only needed by Thumb1 code for efficient switch table generation. |
| 248 | switch16 |
| 249 | switch32 |
| 250 | switch8 |
| 251 | switchu8 |
| 252 | |
| 253 | // There is no C interface to the *_vfp_d8_d15_regs functions. There are |
| 254 | // called in the prolog and epilog of Thumb1 functions. When the C++ ABI use |
| 255 | // SJLJ for exceptions, each function with a catch clause or destuctors needs |
| 256 | // to save and restore all registers in it prolog and epliog. But there is |
| 257 | // no way to access vector and high float registers from thumb1 code, so the |
| 258 | // compiler must add call outs to these helper functions in the prolog and |
| 259 | // epilog. |
| 260 | restore_vfp_d8_d15_regs |
| 261 | save_vfp_d8_d15_regs |
| 262 | |
| 263 | |
| 264 | // Note: long ago ARM processors did not have floating point hardware support. |
| 265 | // Floating point was done in software and floating point parameters were |
| 266 | // passed in integer registers. When hardware support was added for floating |
| 267 | // point, new *vfp functions were added to do the same operations but with |
| 268 | // floating point parameters in floating point registers. |
| 269 | |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 270 | // Undocumented functions |
| 271 | |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 272 | float __addsf3vfp(float a, float b); // Appears to return a + b |
| 273 | double __adddf3vfp(double a, double b); // Appears to return a + b |
| 274 | float __divsf3vfp(float a, float b); // Appears to return a / b |
| 275 | double __divdf3vfp(double a, double b); // Appears to return a / b |
| 276 | int __eqsf2vfp(float a, float b); // Appears to return one |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 277 | // iff a == b and neither is NaN. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 278 | int __eqdf2vfp(double a, double b); // Appears to return one |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 279 | // iff a == b and neither is NaN. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 280 | double __extendsfdf2vfp(float a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 281 | // float to double. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 282 | int __fixdfsivfp(double a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 283 | // double to int. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 284 | int __fixsfsivfp(float a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 285 | // float to int. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 286 | unsigned int __fixunssfsivfp(float a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 287 | // float to unsigned int. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 288 | unsigned int __fixunsdfsivfp(double a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 289 | // double to unsigned int. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 290 | double __floatsidfvfp(int a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 291 | // int to double. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 292 | float __floatsisfvfp(int a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 293 | // int to float. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 294 | double __floatunssidfvfp(unsigned int a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 295 | // unisgned int to double. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 296 | float __floatunssisfvfp(unsigned int a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 297 | // unisgned int to float. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 298 | int __gedf2vfp(double a, double b); // Appears to return __gedf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 299 | // (a >= b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 300 | int __gesf2vfp(float a, float b); // Appears to return __gesf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 301 | // (a >= b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 302 | int __gtdf2vfp(double a, double b); // Appears to return __gtdf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 303 | // (a > b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 304 | int __gtsf2vfp(float a, float b); // Appears to return __gtsf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 305 | // (a > b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 306 | int __ledf2vfp(double a, double b); // Appears to return __ledf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 307 | // (a <= b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 308 | int __lesf2vfp(float a, float b); // Appears to return __lesf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 309 | // (a <= b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 310 | int __ltdf2vfp(double a, double b); // Appears to return __ltdf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 311 | // (a < b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 312 | int __ltsf2vfp(float a, float b); // Appears to return __ltsf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 313 | // (a < b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 314 | double __muldf3vfp(double a, double b); // Appears to return a * b |
| 315 | float __mulsf3vfp(float a, float b); // Appears to return a * b |
| 316 | int __nedf2vfp(double a, double b); // Appears to return __nedf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 317 | // (a != b) |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 318 | double __negdf2vfp(double a); // Appears to return -a |
| 319 | float __negsf2vfp(float a); // Appears to return -a |
| 320 | float __negsf2vfp(float a); // Appears to return -a |
| 321 | double __subdf3vfp(double a, double b); // Appears to return a - b |
| 322 | float __subsf3vfp(float a, float b); // Appears to return a - b |
| 323 | float __truncdfsf2vfp(double a); // Appears to convert from |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 324 | // double to float. |
Nick Kledzik | a5556d7 | 2010-01-22 21:21:14 +0000 | [diff] [blame] | 325 | int __unorddf2vfp(double a, double b); // Appears to return __unorddf2 |
| 326 | int __unordsf2vfp(float a, float b); // Appears to return __unordsf2 |
Howard Hinnant | 09d99f3 | 2010-01-20 18:44:52 +0000 | [diff] [blame] | 327 | |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 328 | |
| 329 | Preconditions are listed for each function at the definition when there are any. |
| 330 | Any preconditions reflect the specification at |
| 331 | http://gcc.gnu.org/onlinedocs/gccint/Libgcc.html#Libgcc. |
| 332 | |
| 333 | Assumptions are listed in "int_lib.h", and in individual files. Where possible |
| 334 | assumptions are checked at compile time. |