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
11void fadds(void *ft, void *fa, void *fb);
12void fsubs(void *ft, void *fa, void *fb);
13void fmuls(void *ft, void *fa, void *fb);
14void fdivs(void *ft, void *fa, void *fb);
15void fs2d(void *ft, void *fa);
16void fs2si(void *ft, void *fa);
17void fs2si_z(void *ft, void *fa);
18void fs2ui(void *ft, void *fa);
19void fs2ui_z(void *ft, void *fa);
20void fsi2s(void *ft, void *fa);
21void fui2s(void *ft, void *fa);
22void fsqrts(void *ft, void *fa);
23void fnegs(void *ft, void *fa);
24int fcmps(void *ft, void *fa, void *fb, int cop);
25
26/*
27 * double precision
28 */
29void faddd(void *ft, void *fa, void *fb);
30void fsubd(void *ft, void *fa, void *fb);
31void fmuld(void *ft, void *fa, void *fb);
32void fdivd(void *ft, void *fa, void *fb);
33void fsqrtd(void *ft, void *fa);
34void fd2s(void *ft, void *fa);
35void fd2si(void *ft, void *fa);
36void fd2si_z(void *ft, void *fa);
37void fd2ui(void *ft, void *fa);
38void fd2ui_z(void *ft, void *fa);
39void fsi2d(void *ft, void *fa);
40void fui2d(void *ft, void *fa);
41void fnegd(void *ft, void *fa);
42int fcmpd(void *ft, void *fa, void *fb, int cop);
43
44#endif /* __ARCH_NDS32_FPUEMU_H */
45