1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (C) 2005-2018 Andes Technology Corporation */
3 
4 #ifndef __ARCH_NDS32_FPUEMU_H
5 #define __ARCH_NDS32_FPUEMU_H
6 
7 /*
8  * single precision
9  */
10 
11 void fadds(void *ft, void *fa, void *fb);
12 void fsubs(void *ft, void *fa, void *fb);
13 void fmuls(void *ft, void *fa, void *fb);
14 void fdivs(void *ft, void *fa, void *fb);
15 void fs2d(void *ft, void *fa);
16 void fs2si(void *ft, void *fa);
17 void fs2si_z(void *ft, void *fa);
18 void fs2ui(void *ft, void *fa);
19 void fs2ui_z(void *ft, void *fa);
20 void fsi2s(void *ft, void *fa);
21 void fui2s(void *ft, void *fa);
22 void fsqrts(void *ft, void *fa);
23 void fnegs(void *ft, void *fa);
24 int fcmps(void *ft, void *fa, void *fb, int cop);
25 
26 /*
27  * double precision
28  */
29 void faddd(void *ft, void *fa, void *fb);
30 void fsubd(void *ft, void *fa, void *fb);
31 void fmuld(void *ft, void *fa, void *fb);
32 void fdivd(void *ft, void *fa, void *fb);
33 void fsqrtd(void *ft, void *fa);
34 void fd2s(void *ft, void *fa);
35 void fd2si(void *ft, void *fa);
36 void fd2si_z(void *ft, void *fa);
37 void fd2ui(void *ft, void *fa);
38 void fd2ui_z(void *ft, void *fa);
39 void fsi2d(void *ft, void *fa);
40 void fui2d(void *ft, void *fa);
41 void fnegd(void *ft, void *fa);
42 int fcmpd(void *ft, void *fa, void *fb, int cop);
43 
44 #endif /* __ARCH_NDS32_FPUEMU_H */
45