xref: /freebsd/lib/libc/arm/aeabi/aeabi_float.c (revision 40a8ac8f62b535d30349faf28cf47106b7041b83)
1 /*
2  * Copyright (C) 2012 Andrew Turner
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24  * SUCH DAMAGE.
25  *
26  */
27 
28 #include <sys/cdefs.h>
29 __FBSDID("$FreeBSD$");
30 
31 #include "softfloat-for-gcc.h"
32 #include "milieu.h"
33 #include "softfloat.h"
34 
35 #include "aeabi_vfp.h"
36 
37 extern int _libc_arm_fpu_present;
38 
39 flag __unordsf2(float32, float32);
40 
41 /* These are written in asm and are only called from this file */
42 int __aeabi_fcmpeq_vfp(float32, float32);
43 int __aeabi_fcmplt_vfp(float32, float32);
44 int __aeabi_fcmple_vfp(float32, float32);
45 int __aeabi_fcmpgt_vfp(float32, float32);
46 int __aeabi_fcmpge_vfp(float32, float32);
47 int __aeabi_fcmpun_vfp(float32, float32);
48 int __aeabi_f2iz_vfp(float32);
49 float64 __aeabi_f2d_vfp(float32);
50 float32 __aeabi_i2f_vfp(int);
51 float32 __aeabi_fadd_vfp(float32, float32);
52 float32 __aeabi_fdiv_vfp(float32, float32);
53 float32 __aeabi_fmul_vfp(float32, float32);
54 float32 __aeabi_fsub_vfp(float32, float32);
55 
56 /*
57  * Depending on the target these will:
58  *  On armv6 with a vfp call the above function, or
59  *  Call the softfloat function in the 3rd argument.
60  */
61 int AEABI_FUNC2(fcmpeq, float32, float32_eq)
62 int AEABI_FUNC2(fcmplt, float32, float32_lt)
63 int AEABI_FUNC2(fcmple, float32, float32_le)
64 int AEABI_FUNC2_REV(fcmpge, float32, float32_le)
65 int AEABI_FUNC2_REV(fcmpgt, float32, float32_lt)
66 int AEABI_FUNC2(fcmpun, float32, __unordsf2)
67 
68 int AEABI_FUNC(f2iz, float32, float32_to_int32_round_to_zero)
69 float64 AEABI_FUNC(f2d, float32, float32_to_float64)
70 float32 AEABI_FUNC(i2f, int, int32_to_float32)
71 
72 float32 AEABI_FUNC2(fadd, float32, float32_add)
73 float32 AEABI_FUNC2(fdiv, float32, float32_div)
74 float32 AEABI_FUNC2(fmul, float32, float32_mul)
75 float32 AEABI_FUNC2(fsub, float32, float32_sub)
76 
77