home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / s-cemasp.adb < prev    next >
Text File  |  1996-09-28  |  7KB  |  167 lines
  1. -----------------------------------------------------------------------------
  2. --                                                                          --
  3. --                 GNU ADA RUNTIME LIBRARY (GNARL) COMPONENTS               --
  4. --                                                                          --
  5. -- C O M P I L E R _ E X C E P T I O N S . M A C H I N E _ S P E C I F I C S--
  6. --                                                                          --
  7. --                                  B o d y                                 --
  8. --                                                                          --
  9. --                             $Revision: 1.4 $                             --
  10. --                                                                          --
  11. --       Copyright (c) 1991,1992,1993,1994, FSU, All Rights Reserved        --
  12. --                                                                          --
  13. -- GNARL is free software; you can redistribute it  and/or modify it  under --
  14. -- terms  of  the  GNU  Library General Public License  as published by the --
  15. -- Free Software  Foundation;  either version 2, or (at  your  option)  any --
  16. -- later  version.  GNARL is distributed  in the hope that  it will be use- --
  17. -- ful, but but WITHOUT ANY WARRANTY;  without even the implied warranty of --
  18. -- MERCHANTABILITY  or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Gen- --
  19. -- eral Library Public License  for more details.  You should have received --
  20. -- a  copy of the GNU Library General Public License along with GNARL;  see --
  21. -- file COPYING.LIB.  If not,  write to the  Free Software Foundation,  675 --
  22. -- Mass Ave, Cambridge, MA 02139, USA.                                      --
  23. --                                                                          --
  24. ------------------------------------------------------------------------------
  25.  
  26. with Interfaces.C; use Interfaces.C;
  27.  
  28. with Interfaces.C.POSIX_RTE;
  29.  
  30. package body System.Compiler_Exceptions.Machine_Specifics is
  31.  
  32.    package RTE renames Interfaces.C.POSIX_RTE;
  33.  
  34.    ------------------------
  35.    -- Identify_Exception --
  36.    ------------------------
  37.  
  38.    --  This function identifies the Ada exception to be raised using
  39.    --  the information when the system received a synchronous signal.
  40.    --  Since this function is machine and OS dependent, different code
  41.    --  has to be provided for different target.
  42.  
  43.    --  Following code is intended for SunOS on Sparcstation.
  44.  
  45.    function Identify_Exception
  46.      (Which              : System.Task_Primitives.Machine_Exceptions;
  47.       Info               : System.Task_Primitives.Error_Information;
  48.       Modified_Registers : Pre_Call_State) return Exception_ID is
  49.  
  50.       SPARC_MAXREGWINDOW : constant := 31;
  51.  
  52.       type sc_spbuf_t is array (1 .. SPARC_MAXREGWINDOW) of System.Address;
  53.  
  54.       type sc_wbuf_t is array (1 .. SPARC_MAXREGWINDOW, 1 .. 16) of int;
  55.  
  56.       type sigcontext is record
  57.          sc_onstack : int;              -- sigstack state to restore
  58.          sc_mask    : int;              -- signal mask to restore
  59.          sc_sp      : System.Address;   -- sp to restore
  60.          sc_pc      : System.Address;   -- pc to restore
  61.          sc_npc     : System.Address;   -- next pc to restore
  62.          sc_psr     : int;              -- psr to restore
  63.          sc_g1      : int;              -- register that must be restored
  64.          sc_o0      : int;
  65.          sc_wbcnt   : int;              -- number of outstanding windows
  66.          sc_spbuf   : sc_spbuf_t;       -- sp's for each wbuf (in C is char *)
  67.          sc_wbuf    : sc_wbuf_t;        -- window save buf
  68.       end record;
  69.  
  70.       type sigcontext_ptr is access sigcontext;
  71.  
  72.       --  The above operations will be available as predefined operations on
  73.       --  the modula Address type in GNARL, since this package is a child of
  74.       --  System.
  75.  
  76.       FPE_INTOVF_TRAP   : constant int := 16#1#;  -- Int overflow
  77.       FPE_STARTSIG_TRAP : constant int := 16#2#;  -- process using fp
  78.       FPE_INTDIV_TRAP   : constant int := 16#14#; -- Int divide by zero
  79.       FPE_FLTINEX_TRAP  : constant int := 16#c4#; -- floating inexact result
  80.       FPE_FLTDIV_TRAP   : constant int := 16#c8#; -- floating divide by zero
  81.       FPE_FLTUND_TRAP   : constant int := 16#cc#; -- floating underflow
  82.       FPE_FLTOPERR_TRAP : constant int := 16#d0#; -- floating operand error
  83.       FPE_FLTOVF_TRAP   : constant int := 16#d4#; -- floating overflow
  84.  
  85.       --  Following is SIGILL generated by trap 5 instruction
  86.  
  87.       ILL_CHECK_TRAP    : constant int := 16#80# + 16#05#;
  88.  
  89.       function Pre_Call_To_Context is new
  90.         Unchecked_Conversion (Pre_Call_State, sigcontext_ptr);
  91.  
  92.  
  93.       Current_Exception : Exception_ID;
  94.  
  95.       context : sigcontext_ptr :=
  96.                   Pre_Call_To_Context (Modified_Registers);
  97.  
  98.       sig     : RTE.Signal := RTE.Signal (Which);
  99.  
  100.    begin
  101.  
  102.       --  As long as we are using a longjmp to return control to the
  103.       --  exception handler on the runtime stack, we are safe. The original
  104.       --  signal mask (the one we had before coming into this signal catching
  105.       --  function) will be restored by the longjmp. Therefore, raising
  106.       --  an exception in this handler should be a safe operation.
  107.  
  108.       case sig is
  109.  
  110.          when RTE.SIGFPE =>
  111.  
  112.             case Info.si_code is
  113.  
  114.                when FPE_INTDIV_TRAP | FPE_FLTINEX_TRAP |
  115.                  FPE_FLTDIV_TRAP | FPE_FLTUND_TRAP  |
  116.                  FPE_FLTOVF_TRAP =>
  117.                   Current_Exception := Numeric_Error_ID;
  118.  
  119.                when FPE_FLTOPERR_TRAP =>
  120.                   Current_Exception := Constraint_Error_ID;
  121.  
  122.                when FPE_INTOVF_TRAP =>
  123.                   Current_Exception := Constraint_Error_ID;
  124.  
  125.                when others =>
  126.  
  127.                   pragma Assert (false, "Unexpected SIGFPE signal");
  128.                   null;
  129.             end case;
  130.  
  131.          when RTE.SIGILL =>
  132.  
  133.             case Info.si_code is
  134.  
  135.                when ILL_CHECK_TRAP =>
  136.                   Current_Exception := Constraint_Error_ID;
  137.  
  138.                when others =>
  139.  
  140.                   pragma Assert (false, "Unexpected SIGILL signal");
  141.                   null;
  142.             end case;
  143.  
  144.          when RTE.SIGSEGV =>
  145.  
  146.          --  If the address that caused the error was in the first page, this
  147.          --  was caused by accessing a null pointer.
  148.  
  149.             if context.sc_o0 >= 0 and context.sc_o0 < 16#2000# then
  150.                Current_Exception := Constraint_Error_ID;
  151.  
  152.             else
  153.                Current_Exception := Storage_Error_ID;
  154.             end if;
  155.  
  156.          when others =>
  157.  
  158.             pragma Assert (false, "Unexpected signal");
  159.             null;
  160.       end case;
  161.  
  162.       return Current_Exception;
  163.  
  164.    end Identify_Exception;
  165.  
  166. end System.Compiler_Exceptions.Machine_Specifics;
  167.