18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci// Copyright (C) 2005-2018 Andes Technology Corporation 38c2ecf20Sopenharmony_ci#include <linux/uaccess.h> 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#include <asm/sfp-machine.h> 68c2ecf20Sopenharmony_ci#include <math-emu/soft-fp.h> 78c2ecf20Sopenharmony_ci#include <math-emu/double.h> 88c2ecf20Sopenharmony_civoid faddd(void *ft, void *fa, void *fb) 98c2ecf20Sopenharmony_ci{ 108c2ecf20Sopenharmony_ci FP_DECL_D(A); 118c2ecf20Sopenharmony_ci FP_DECL_D(B); 128c2ecf20Sopenharmony_ci FP_DECL_D(R); 138c2ecf20Sopenharmony_ci FP_DECL_EX; 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ci FP_UNPACK_DP(A, fa); 168c2ecf20Sopenharmony_ci FP_UNPACK_DP(B, fb); 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci FP_ADD_D(R, A, B); 198c2ecf20Sopenharmony_ci 208c2ecf20Sopenharmony_ci FP_PACK_DP(ft, R); 218c2ecf20Sopenharmony_ci 228c2ecf20Sopenharmony_ci __FPU_FPCSR |= FP_CUR_EXCEPTIONS; 238c2ecf20Sopenharmony_ci 248c2ecf20Sopenharmony_ci} 25