Index of /archives/NetBSD/NetBSD-release-10/src/sys/external/bsd/compiler_rt/dist/lib/builtins

Icon  Name                                                                          Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] CVS/ 2022-12-18 05:36 - [TXT] README.txt 2016-02-28 03:59 15K [TXT] absvdi2.c 2014-02-27 07:31 816 [TXT] absvsi2.c 2014-02-27 07:31 811 [TXT] absvti2.c 2014-03-19 07:28 872 [TXT] adddf3.c 2021-06-16 14:07 955 [TXT] addsf3.c 2021-06-16 14:07 947 [TXT] addtf3.c 2014-08-10 19:14 804 [TXT] addvdi3.c 2016-02-28 03:59 857 [TXT] addvsi3.c 2016-02-28 03:59 856 [TXT] addvti3.c 2016-02-28 03:59 909 [DIR] arm/ 2022-12-18 05:36 - [TXT] ashldi3.c 2021-06-16 14:07 1.3K [TXT] ashlti3.c 2014-03-19 07:28 1.2K [TXT] ashrdi3.c 2021-06-16 14:07 1.4K [TXT] ashrti3.c 2014-03-19 07:28 1.3K [TXT] assembly.h 2016-02-28 03:59 5.4K [TXT] atomic.c 2016-02-28 03:59 11K [TXT] atomic_flag_clear.c 2016-02-28 03:59 782 [TXT] atomic_flag_clear_explicit.c 2016-02-28 03:59 850 [TXT] atomic_flag_test_and_set.c 2016-02-28 03:59 814 [TXT] atomic_flag_test_and_set_explicit.c 2016-02-28 03:59 889 [TXT] atomic_signal_fence.c 2016-02-28 03:59 752 [TXT] atomic_thread_fence.c 2016-02-28 03:59 752 [TXT] clear_cache.c 2020-05-05 21:47 6.0K [TXT] clzdi2.c 2016-03-05 02:49 1.0K [TXT] clzsi2.c 2014-02-27 07:31 1.5K [TXT] clzti2.c 2014-03-19 07:28 887 [TXT] cmpdi2.c 2014-02-27 07:31 1.1K [TXT] cmpti2.c 2014-03-19 07:28 1.0K [TXT] comparedf2.c 2021-06-16 14:07 4.3K [TXT] comparesf2.c 2021-06-16 14:07 4.3K [TXT] comparetf2.c 2016-02-28 03:59 4.1K [TXT] ctzdi2.c 2016-03-05 02:49 1.0K [TXT] ctzsi2.c 2014-02-27 07:31 1.7K [TXT] ctzti2.c 2014-03-19 07:28 897 [TXT] divdc3.c 2016-02-28 03:59 2.2K [TXT] divdf3.c 2021-06-16 14:07 7.7K [TXT] divdi3.c 2014-03-19 07:28 1.1K [TXT] divmoddi4.c 2014-03-19 07:28 700 [TXT] divmodsi4.c 2014-03-19 07:28 703 [TXT] divsc3.c 2016-02-28 03:59 2.2K [TXT] divsf3.c 2021-06-16 14:07 7.1K [TXT] divsi3.c 2021-06-16 14:07 1.4K [TXT] divtc3.c 2016-02-28 03:59 2.2K [TXT] divtf3.c 2014-08-10 19:14 8.0K [TXT] divti3.c 2014-03-19 07:28 1.2K [TXT] divxc3.c 2016-02-28 03:59 2.2K [TXT] emutls.c 2016-02-28 03:59 6.2K [TXT] enable_execute_stack.c 2016-02-28 03:59 2.1K [TXT] eprintf.c 2014-03-19 07:28 942 [TXT] extenddftf2.c 2014-08-10 19:14 622 [TXT] extendhfsf2.c 2021-06-16 14:07 1.0K [TXT] extendsfdf2.c 2021-06-16 14:07 740 [TXT] extendsftf2.c 2014-08-10 19:14 621 [TXT] ffsdi2.c 2014-02-27 07:31 939 [TXT] ffsti2.c 2014-03-19 07:28 1.0K [TXT] fixdfdi.c 2021-06-16 14:07 1.3K [TXT] fixdfsi.c 2021-06-16 14:07 777 [TXT] fixdfti.c 2016-02-28 03:59 629 [TXT] fixsfdi.c 2021-06-16 14:07 1.3K [TXT] fixsfsi.c 2021-06-16 14:07 777 [TXT] fixsfti.c 2016-02-28 03:59 629 [TXT] fixtfdi.c 2016-02-28 03:59 617 [TXT] fixtfsi.c 2016-02-28 03:59 617 [TXT] fixtfti.c 2016-02-28 03:59 617 [TXT] fixunsdfdi.c 2021-06-16 14:07 1.3K [TXT] fixunsdfsi.c 2021-06-16 14:07 765 [TXT] fixunsdfti.c 2016-02-28 03:59 607 [TXT] fixunssfdi.c 2021-06-16 14:07 1.3K [TXT] fixunssfsi.c 2021-06-16 14:07 917 [TXT] fixunssfti.c 2016-02-28 03:59 723 [TXT] fixunstfdi.c 2016-02-28 03:59 597 [TXT] fixunstfsi.c 2016-02-28 03:59 597 [TXT] fixunstfti.c 2016-02-28 03:59 597 [TXT] fixunsxfdi.c 2016-02-28 03:59 1.4K [TXT] fixunsxfsi.c 2016-02-28 03:59 1.4K [TXT] fixunsxfti.c 2016-02-28 03:59 1.5K [TXT] fixxfdi.c 2016-02-28 03:59 1.5K [TXT] fixxfti.c 2016-02-28 03:59 1.5K [TXT] floatdidf.c 2021-06-16 14:07 3.6K [TXT] floatdisf.c 2021-06-16 14:07 2.7K [TXT] floatditf.c 2016-02-28 03:59 1.5K [TXT] floatdixf.c 2014-03-19 07:28 1.4K [TXT] floatsidf.c 2021-06-16 14:07 1.8K [TXT] floatsisf.c 2021-06-16 14:07 2.0K [TXT] floatsitf.c 2016-02-28 03:59 1.5K [TXT] floattidf.c 2014-03-19 07:28 2.7K [TXT] floattisf.c 2014-03-19 07:28 2.5K [TXT] floattixf.c 2014-03-19 07:28 2.8K [TXT] floatundidf.c 2021-06-16 14:07 3.6K [TXT] floatundisf.c 2021-06-16 14:07 2.6K [TXT] floatunditf.c 2016-02-28 03:59 1.3K [TXT] floatundixf.c 2014-03-19 07:28 1.3K [TXT] floatunsidf.c 2021-06-16 14:07 1.5K [TXT] floatunsisf.c 2021-06-16 14:07 1.8K [TXT] floatunsitf.c 2016-02-28 03:59 1.3K [TXT] floatuntidf.c 2014-03-19 07:28 2.6K [TXT] floatuntisf.c 2014-03-19 07:28 2.4K [TXT] floatuntixf.c 2014-03-19 07:28 2.6K [TXT] fp_add_impl.inc 2016-02-28 03:59 5.3K [TXT] fp_extend.h 2016-02-28 03:59 2.4K [TXT] fp_extend_impl.inc 2016-02-28 03:59 4.7K [TXT] fp_fixint_impl.inc 2016-02-28 03:59 1.5K [TXT] fp_fixuint_impl.inc 2016-02-28 03:59 1.4K [TXT] fp_lib.h 2016-02-28 03:59 8.9K [TXT] fp_mul_impl.inc 2016-02-28 03:59 4.7K [TXT] fp_trunc.h 2016-02-28 03:59 2.0K [TXT] fp_trunc_impl.inc 2016-02-28 03:59 5.8K [TXT] gcc_personality_v0.c 2016-02-28 04:05 6.6K [DIR] i386/ 2022-12-18 05:36 - [TXT] int_endianness.h 2016-02-28 03:59 2.8K [TXT] int_lib.h 2021-06-16 14:07 3.9K [TXT] int_math.h 2016-02-28 07:19 3.6K [TXT] int_types.h 2016-03-25 12:51 3.1K [TXT] int_util.c 2016-02-28 03:59 1.8K [TXT] int_util.h 2016-02-28 03:59 1.3K [TXT] lshrdi3.c 2021-06-16 14:07 1.3K [TXT] lshrti3.c 2014-03-19 07:28 1.2K [TXT] moddi3.c 2014-03-19 07:28 1.0K [TXT] modsi3.c 2014-03-19 07:28 642 [TXT] modti3.c 2014-03-19 07:28 1.1K [TXT] muldc3.c 2016-02-28 03:59 2.4K [TXT] muldf3.c 2021-06-16 14:07 944 [TXT] muldi3.c 2021-06-16 14:07 1.6K [TXT] mulodi4.c 2014-03-19 07:28 1.4K [TXT] mulosi4.c 2014-03-19 07:28 1.4K [TXT] muloti4.c 2014-03-19 07:28 1.4K [TXT] mulsc3.c 2016-02-28 03:59 2.4K [TXT] mulsf3.c 2021-06-16 14:07 944 [TXT] multc3.c 2016-02-28 03:59 2.2K [TXT] multf3.c 2014-08-10 19:14 790 [TXT] multi3.c 2014-03-19 07:28 1.6K [TXT] mulvdi3.c 2014-03-19 07:28 1.4K [TXT] mulvsi3.c 2014-03-19 07:28 1.4K [TXT] mulvti3.c 2014-03-19 07:28 1.4K [TXT] mulxc3.c 2016-02-28 03:59 2.4K [TXT] negdf2.c 2021-06-16 14:07 850 [TXT] negdi2.c 2014-03-19 07:28 724 [TXT] negsf2.c 2021-06-16 14:07 850 [TXT] negti2.c 2014-03-19 07:28 769 [TXT] negvdi2.c 2014-02-27 07:31 770 [TXT] negvsi2.c 2014-02-27 07:31 770 [TXT] negvti2.c 2014-03-19 07:28 818 [TXT] paritydi2.c 2014-03-19 07:28 712 [TXT] paritysi2.c 2014-02-27 07:31 755 [TXT] parityti2.c 2014-03-19 07:28 765 [TXT] popcountdi2.c 2014-02-27 07:31 1.4K [TXT] popcountsi2.c 2014-02-27 07:31 1.2K [TXT] popcountti2.c 2014-03-19 07:28 1.8K [TXT] powidf2.c 2014-02-27 07:31 820 [TXT] powisf2.c 2014-02-27 07:31 815 [TXT] powitf2.c 2014-03-19 07:28 858 [TXT] powixf2.c 2014-03-19 07:28 859 [DIR] ppc/ 2022-12-18 05:36 - [TXT] subdf3.c 2021-06-16 14:07 1.0K [TXT] subsf3.c 2021-06-16 14:07 1.0K [TXT] subtf3.c 2014-08-10 19:14 879 [TXT] subvdi3.c 2016-02-28 03:59 852 [TXT] subvsi3.c 2016-02-28 03:59 852 [TXT] subvti3.c 2016-02-28 03:59 902 [TXT] trampoline_setup.c 2014-03-19 07:28 1.8K [TXT] truncdfhf2.c 2021-06-16 14:07 739 [TXT] truncdfsf2.c 2021-06-16 14:07 732 [TXT] truncsfhf2.c 2021-06-16 14:07 965 [TXT] trunctfdf2.c 2014-08-10 19:14 616 [TXT] trunctfsf2.c 2014-08-10 19:14 615 [TXT] ucmpdi2.c 2014-02-27 07:31 1.2K [TXT] ucmpti2.c 2014-03-19 07:28 1.0K [TXT] udivdi3.c 2014-03-19 07:28 642 [TXT] udivmoddi4.c 2014-03-19 07:28 6.5K [TXT] udivmodsi4.c 2014-03-19 07:28 705 [TXT] udivmodti4.c 2014-03-19 07:28 6.7K [TXT] udivsi3.c 2021-06-16 14:07 1.8K [TXT] udivti3.c 2014-03-19 07:28 695 [TXT] umoddi3.c 2014-03-19 07:28 664 [TXT] umodsi3.c 2014-03-19 07:28 645 [TXT] umodti3.c 2014-03-19 07:28 717 [DIR] x86_64/ 2022-12-18 05:36 -
Compiler-RT
================================

This directory and its subdirectories contain source code for the compiler
support routines.

Compiler-RT is open source software. You may freely distribute it under the
terms of the license agreement found in LICENSE.txt.

================================

This is a replacement library for libgcc.  Each function is contained
in its own file.  Each function has a corresponding unit test under
test/Unit.

A rudimentary script to test each file is in the file called
test/Unit/test.

Here is the specification for this library:

http://gcc.gnu.org/onlinedocs/gccint/Libgcc.html#Libgcc

Here is a synopsis of the contents of this library:

typedef      int si_int;
typedef unsigned su_int;

typedef          long long di_int;
typedef unsigned long long du_int;

// Integral bit manipulation

di_int __ashldi3(di_int a, si_int b);      // a << b
ti_int __ashlti3(ti_int a, si_int b);      // a << b

di_int __ashrdi3(di_int a, si_int b);      // a >> b  arithmetic (sign fill)
ti_int __ashrti3(ti_int a, si_int b);      // a >> b  arithmetic (sign fill)
di_int __lshrdi3(di_int a, si_int b);      // a >> b  logical    (zero fill)
ti_int __lshrti3(ti_int a, si_int b);      // a >> b  logical    (zero fill)

si_int __clzsi2(si_int a);  // count leading zeros
si_int __clzdi2(di_int a);  // count leading zeros
si_int __clzti2(ti_int a);  // count leading zeros
si_int __ctzsi2(si_int a);  // count trailing zeros
si_int __ctzdi2(di_int a);  // count trailing zeros
si_int __ctzti2(ti_int a);  // count trailing zeros

si_int __ffsdi2(di_int a);  // find least significant 1 bit
si_int __ffsti2(ti_int a);  // find least significant 1 bit

si_int __paritysi2(si_int a);  // bit parity
si_int __paritydi2(di_int a);  // bit parity
si_int __parityti2(ti_int a);  // bit parity

si_int __popcountsi2(si_int a);  // bit population
si_int __popcountdi2(di_int a);  // bit population
si_int __popcountti2(ti_int a);  // bit population

uint32_t __bswapsi2(uint32_t a);   // a byteswapped, arm only
uint64_t __bswapdi2(uint64_t a);   // a byteswapped, arm only

// Integral arithmetic

di_int __negdi2    (di_int a);                         // -a
ti_int __negti2    (ti_int a);                         // -a
di_int __muldi3    (di_int a, di_int b);               // a * b
ti_int __multi3    (ti_int a, ti_int b);               // a * b
si_int __divsi3    (si_int a, si_int b);               // a / b   signed
di_int __divdi3    (di_int a, di_int b);               // a / b   signed
ti_int __divti3    (ti_int a, ti_int b);               // a / b   signed
su_int __udivsi3   (su_int n, su_int d);               // a / b   unsigned
du_int __udivdi3   (du_int a, du_int b);               // a / b   unsigned
tu_int __udivti3   (tu_int a, tu_int b);               // a / b   unsigned
si_int __modsi3    (si_int a, si_int b);               // a % b   signed
di_int __moddi3    (di_int a, di_int b);               // a % b   signed
ti_int __modti3    (ti_int a, ti_int b);               // a % b   signed
su_int __umodsi3   (su_int a, su_int b);               // a % b   unsigned
du_int __umoddi3   (du_int a, du_int b);               // a % b   unsigned
tu_int __umodti3   (tu_int a, tu_int b);               // a % b   unsigned
du_int __udivmoddi4(du_int a, du_int b, du_int* rem);  // a / b, *rem = a % b  unsigned
tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem);  // a / b, *rem = a % b  unsigned
su_int __udivmodsi4(su_int a, su_int b, su_int* rem);  // a / b, *rem = a % b  unsigned
si_int __divmodsi4(si_int a, si_int b, si_int* rem);   // a / b, *rem = a % b  signed



//  Integral arithmetic with trapping overflow

si_int __absvsi2(si_int a);           // abs(a)
di_int __absvdi2(di_int a);           // abs(a)
ti_int __absvti2(ti_int a);           // abs(a)

si_int __negvsi2(si_int a);           // -a
di_int __negvdi2(di_int a);           // -a
ti_int __negvti2(ti_int a);           // -a

si_int __addvsi3(si_int a, si_int b);  // a + b
di_int __addvdi3(di_int a, di_int b);  // a + b
ti_int __addvti3(ti_int a, ti_int b);  // a + b

si_int __subvsi3(si_int a, si_int b);  // a - b
di_int __subvdi3(di_int a, di_int b);  // a - b
ti_int __subvti3(ti_int a, ti_int b);  // a - b

si_int __mulvsi3(si_int a, si_int b);  // a * b
di_int __mulvdi3(di_int a, di_int b);  // a * b
ti_int __mulvti3(ti_int a, ti_int b);  // a * b


// Integral arithmetic which returns if overflow

si_int __mulosi4(si_int a, si_int b, int* overflow);  // a * b, overflow set to one if result not in signed range
di_int __mulodi4(di_int a, di_int b, int* overflow);  // a * b, overflow set to one if result not in signed range
ti_int __muloti4(ti_int a, ti_int b, int* overflow);  // a * b, overflow set to
 one if result not in signed range


//  Integral comparison: a  < b -> 0
//                       a == b -> 1
//                       a  > b -> 2

si_int __cmpdi2 (di_int a, di_int b);
si_int __cmpti2 (ti_int a, ti_int b);
si_int __ucmpdi2(du_int a, du_int b);
si_int __ucmpti2(tu_int a, tu_int b);

//  Integral / floating point conversion

di_int __fixsfdi(      float a);
di_int __fixdfdi(     double a);
di_int __fixxfdi(long double a);

ti_int __fixsfti(      float a);
ti_int __fixdfti(     double a);
ti_int __fixxfti(long double a);
uint64_t __fixtfdi(long double input);  // ppc only, doesn't match documentation

su_int __fixunssfsi(      float a);
su_int __fixunsdfsi(     double a);
su_int __fixunsxfsi(long double a);

du_int __fixunssfdi(      float a);
du_int __fixunsdfdi(     double a);
du_int __fixunsxfdi(long double a);

tu_int __fixunssfti(      float a);
tu_int __fixunsdfti(     double a);
tu_int __fixunsxfti(long double a);
uint64_t __fixunstfdi(long double input);  // ppc only

float       __floatdisf(di_int a);
double      __floatdidf(di_int a);
long double __floatdixf(di_int a);
long double __floatditf(int64_t a);        // ppc only

float       __floattisf(ti_int a);
double      __floattidf(ti_int a);
long double __floattixf(ti_int a);

float       __floatundisf(du_int a);
double      __floatundidf(du_int a);
long double __floatundixf(du_int a);
long double __floatunditf(uint64_t a);     // ppc only

float       __floatuntisf(tu_int a);
double      __floatuntidf(tu_int a);
long double __floatuntixf(tu_int a);

//  Floating point raised to integer power

float       __powisf2(      float a, si_int b);  // a ^ b
double      __powidf2(     double a, si_int b);  // a ^ b
long double __powixf2(long double a, si_int b);  // a ^ b
long double __powitf2(long double a, si_int b);  // ppc only, a ^ b

//  Complex arithmetic

//  (a + ib) * (c + id)

      float _Complex __mulsc3( float a,  float b,  float c,  float d);
     double _Complex __muldc3(double a, double b, double c, double d);
long double _Complex __mulxc3(long double a, long double b,
                              long double c, long double d);
long double _Complex __multc3(long double a, long double b,
                              long double c, long double d); // ppc only

//  (a + ib) / (c + id)

      float _Complex __divsc3( float a,  float b,  float c,  float d);
     double _Complex __divdc3(double a, double b, double c, double d);
long double _Complex __divxc3(long double a, long double b,
                              long double c, long double d);
long double _Complex __divtc3(long double a, long double b,
                              long double c, long double d);  // ppc only


//         Runtime support

// __clear_cache() is used to tell process that new instructions have been
// written to an address range.  Necessary on processors that do not have
// a unified instruction and data cache.
void __clear_cache(void* start, void* end);

// __enable_execute_stack() is used with nested functions when a trampoline
// function is written onto the stack and that page range needs to be made
// executable.
void __enable_execute_stack(void* addr);

// __gcc_personality_v0() is normally only called by the system unwinder.
// C code (as opposed to C++) normally does not need a personality function
// because there are no catch clauses or destructors to be run.  But there
// is a C language extension __attribute__((cleanup(func))) which marks local
// variables as needing the cleanup function "func" to be run when the
// variable goes out of scope.  That includes when an exception is thrown,
// so a personality handler is needed.  
_Unwind_Reason_Code __gcc_personality_v0(int version, _Unwind_Action actions,
         uint64_t exceptionClass, struct _Unwind_Exception* exceptionObject,
         _Unwind_Context_t context);

// for use with some implementations of assert() in <assert.h>
void __eprintf(const char* format, const char* assertion_expression,
				const char* line, const char* file);

// for systems with emulated thread local storage
void* __emutls_get_address(struct __emutls_control*);


//   Power PC specific functions

// There is no C interface to the saveFP/restFP functions.  They are helper
// functions called by the prolog and epilog of functions that need to save
// a number of non-volatile float point registers.  
saveFP
restFP

// PowerPC has a standard template for trampoline functions.  This function
// generates a custom trampoline function with the specific realFunc
// and localsPtr values.
void __trampoline_setup(uint32_t* trampOnStack, int trampSizeAllocated, 
                                const void* realFunc, void* localsPtr);

// adds two 128-bit double-double precision values ( x + y )
long double __gcc_qadd(long double x, long double y);  

// subtracts two 128-bit double-double precision values ( x - y )
long double __gcc_qsub(long double x, long double y); 

// multiples two 128-bit double-double precision values ( x * y )
long double __gcc_qmul(long double x, long double y);  

// divides two 128-bit double-double precision values ( x / y )
long double __gcc_qdiv(long double a, long double b);  


//    ARM specific functions

// There is no C interface to the switch* functions.  These helper functions
// are only needed by Thumb1 code for efficient switch table generation.
switch16
switch32
switch8
switchu8

// There is no C interface to the *_vfp_d8_d15_regs functions.  There are
// called in the prolog and epilog of Thumb1 functions.  When the C++ ABI use
// SJLJ for exceptions, each function with a catch clause or destuctors needs
// to save and restore all registers in it prolog and epliog.  But there is 
// no way to access vector and high float registers from thumb1 code, so the 
// compiler must add call outs to these helper functions in the prolog and 
// epilog.
restore_vfp_d8_d15_regs
save_vfp_d8_d15_regs


// Note: long ago ARM processors did not have floating point hardware support.
// Floating point was done in software and floating point parameters were 
// passed in integer registers.  When hardware support was added for floating
// point, new *vfp functions were added to do the same operations but with 
// floating point parameters in floating point registers.

// Undocumented functions

float  __addsf3vfp(float a, float b);   // Appears to return a + b
double __adddf3vfp(double a, double b); // Appears to return a + b
float  __divsf3vfp(float a, float b);   // Appears to return a / b
double __divdf3vfp(double a, double b); // Appears to return a / b
int    __eqsf2vfp(float a, float b);    // Appears to return  one
                                        //     iff a == b and neither is NaN.
int    __eqdf2vfp(double a, double b);  // Appears to return  one
                                        //     iff a == b and neither is NaN.
double __extendsfdf2vfp(float a);       // Appears to convert from
                                        //     float to double.
int    __fixdfsivfp(double a);          // Appears to convert from
                                        //     double to int.
int    __fixsfsivfp(float a);           // Appears to convert from
                                        //     float to int.
unsigned int __fixunssfsivfp(float a);  // Appears to convert from
                                        //     float to unsigned int.
unsigned int __fixunsdfsivfp(double a); // Appears to convert from
                                        //     double to unsigned int.
double __floatsidfvfp(int a);           // Appears to convert from
                                        //     int to double.
float __floatsisfvfp(int a);            // Appears to convert from
                                        //     int to float.
double __floatunssidfvfp(unsigned int a); // Appears to convert from
                                        //     unisgned int to double.
float __floatunssisfvfp(unsigned int a); // Appears to convert from
                                        //     unisgned int to float.
int __gedf2vfp(double a, double b);     // Appears to return __gedf2
                                        //     (a >= b)
int __gesf2vfp(float a, float b);       // Appears to return __gesf2
                                        //     (a >= b)
int __gtdf2vfp(double a, double b);     // Appears to return __gtdf2
                                        //     (a > b)
int __gtsf2vfp(float a, float b);       // Appears to return __gtsf2
                                        //     (a > b)
int __ledf2vfp(double a, double b);     // Appears to return __ledf2
                                        //     (a <= b)
int __lesf2vfp(float a, float b);       // Appears to return __lesf2
                                        //     (a <= b)
int __ltdf2vfp(double a, double b);     // Appears to return __ltdf2
                                        //     (a < b)
int __ltsf2vfp(float a, float b);       // Appears to return __ltsf2
                                        //     (a < b)
double __muldf3vfp(double a, double b); // Appears to return a * b
float __mulsf3vfp(float a, float b);    // Appears to return a * b
int __nedf2vfp(double a, double b);     // Appears to return __nedf2
                                        //     (a != b)
double __negdf2vfp(double a);           // Appears to return -a
float __negsf2vfp(float a);             // Appears to return -a
float __negsf2vfp(float a);             // Appears to return -a
double __subdf3vfp(double a, double b); // Appears to return a - b
float __subsf3vfp(float a, float b);    // Appears to return a - b
float __truncdfsf2vfp(double a);        // Appears to convert from
                                        //     double to float.
int __unorddf2vfp(double a, double b);  // Appears to return __unorddf2
int __unordsf2vfp(float a, float b);    // Appears to return __unordsf2


Preconditions are listed for each function at the definition when there are any.
Any preconditions reflect the specification at
http://gcc.gnu.org/onlinedocs/gccint/Libgcc.html#Libgcc.

Assumptions are listed in "int_lib.h", and in individual files.  Where possible
assumptions are checked at compile time.