------------------------------------------------------------------------------
--                                                                          --
--                         GNAT COMPILER COMPONENTS                         --
--                                                                          --
--                         B A C K E N D _ U T I L S                        --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
--          Copyright (C) 2021-2024, Free Software Foundation, Inc.         --
--                                                                          --
-- GNAT is free software;  you can  redistribute it  and/or modify it under --
-- terms of the  GNU General Public License as published  by the Free Soft- --
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
-- for  more details.  You should have  received  a copy of the GNU General --
-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
-- http://www.gnu.org/licenses for a complete copy of the license.          --
--                                                                          --
-- GNAT was originally developed  by the GNAT team at  New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
--                                                                          --
------------------------------------------------------------------------------

with Lib;
with Opt;    use Opt;
with Switch; use Switch;

package body Backend_Utils is

   ---------------------------------
   -- Scan_Common_Back_End_Switch --
   ---------------------------------

   function Scan_Common_Back_End_Switch (Switch_Chars : String) return Boolean
   is
      First : constant Positive := Switch_Chars'First + 1;
      Last  : constant Natural  := Switch_Last (Switch_Chars);
   begin
      --  Recognize -gxxx switches

      if Switch_Chars (First) = 'g' then
         Debugger_Level := 2;

         if First < Last then
            case Switch_Chars (First + 1) is
               when '0' =>
                  Debugger_Level := 0;
               when '1' =>
                  Debugger_Level := 1;
               when '2' =>
                  Debugger_Level := 2;
               when '3' =>
                  Debugger_Level := 3;
               when others =>
                  null;
            end case;
         end if;

      --  Back end switch -fdiagnostics-format=json tells the frontend to
      --  output its error and warning messages in the same format GCC
      --  uses when passed -fdiagnostics-format=json.

      elsif Switch_Chars (First .. Last) = "fdiagnostics-format=json" then
         Opt.JSON_Output := True;

      --  Back end switch -fdiagnostics-format=sarif-file tells the frontend
      --  to output its error and warning messages in the sarif format. The
      --  messages from gnat are written to a file <source_file>.gnat.sarif.

      elsif Switch_Chars (First .. Last) = "fdiagnostics-format=sarif-file"
      then
         Opt.SARIF_File := True;

      --  Back end switch -fdiagnostics-format=sarif-stderr tells the frontend
      --  to output its error and warning messages in the sarif format.

      elsif Switch_Chars (First .. Last) = "fdiagnostics-format=sarif-stderr"
      then
         Opt.SARIF_Output := True;

      --  Back-end switch -fno-inline also sets the front end flags to entirely
      --  inhibit all inlining. So we store it and set the appropriate
      --  flags.
      --  For gcc back ends, -fno-inline disables Inline pragmas only,
      --  not Inline_Always to remain consistent with the always_inline
      --  attribute behavior.

      elsif Switch_Chars (First .. Last) = "fno-inline" then
         Opt.Disable_FE_Inline := True;

      --  Back end switch -fpreserve-control-flow also sets the front end
      --  flag that inhibits improper control flow transformations.

      elsif Switch_Chars (First .. Last) = "fpreserve-control-flow" then
         Opt.Suppress_Control_Flow_Optimizations := True;

      elsif Switch_Chars (First .. Last) = "S" then
         Generate_Asm := True;

      else
         return False;
      end if;

      Lib.Store_Compilation_Switch (Switch_Chars);
      return True;
   end Scan_Common_Back_End_Switch;

end Backend_Utils;