// SPDX-License-Identifier: GPL-2.0 // Copyright (C) 2005-2018 Andes Technology Corporation #include #include #include #include void faddd(void *ft, void *fa, void *fb) { FP_DECL_D(A); FP_DECL_D(B); FP_DECL_D(R); FP_DECL_EX; FP_UNPACK_DP(A, fa); FP_UNPACK_DP(B, fb); FP_ADD_D(R, A, B); FP_PACK_DP(ft, R); __FPU_FPCSR |= FP_CUR_EXCEPTIONS; }