libgcc/config/nds32/isr-library/restore_fpu_regs.inc

   1 /* c-isr library stuff of Andes NDS32 cpu for GNU compiler
   2    Copyright (C) 2012-2023 Free Software Foundation, Inc.
   3    Contributed by Andes Technology Corporation.
   4
   5    This file is part of GCC.
   6
   7    GCC is free software; you can redistribute it and/or modify it
   8    under the terms of the GNU General Public License as published
   9    by the Free Software Foundation; either version 3, or (at your
  10    option) any later version.
  11
  12    GCC is distributed in the hope that it will be useful, but WITHOUT
  13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  15    License for more details.
  16
  17    Under Section 7 of GPL version 3, you are granted additional
  18    permissions described in the GCC Runtime Library Exception, version
  19    3.1, as published by the Free Software Foundation.
  20
  21    You should have received a copy of the GNU General Public License and
  22    a copy of the GCC Runtime Library Exception along with this program;
  23    see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  24    <http://www.gnu.org/licenses/>.  */
  25
  26 .macro RESTORE_FPU_REGS
  27 #if defined(NDS32_EXT_FPU_CONFIG_0)
  28         RESTORE_FPU_REGS_00
  29 #elif defined(NDS32_EXT_FPU_CONFIG_1)
  30         RESTORE_FPU_REGS_01
  31 #elif defined(NDS32_EXT_FPU_CONFIG_2)
  32         RESTORE_FPU_REGS_02
  33 #elif defined(NDS32_EXT_FPU_CONFIG_3)
  34         RESTORE_FPU_REGS_03
  35 #endif
  36 .endm