[Ada] Document LLVM-specific flags

Message ID 20220111133156.GA748447@adacore.com
State Committed
Commit c60845f0ac379b0e0650ee66cbd1c17417842772
Headers
Series [Ada] Document LLVM-specific flags |

Commit Message

Pierre-Marie de Rodat Jan. 11, 2022, 1:31 p.m. UTC
  Add documentation for new -gnatd_u and old -gnatd_R flags used for GNAT
LLVM and its CCG.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* debug.adb: Add documentation for new -gnatd_u and old -gnatd_R
	flags used for GNAT LLVM and its CCG.
  

Patch

diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -6,7 +6,7 @@ 
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2021, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2022, 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- --
@@ -159,7 +159,7 @@  package body Debug is
    --  d_r
    --  d_s  Stop elaboration checks on synchronous suspension
    --  d_t  In LLVM-based CCG, dump LLVM IR after transformations are done
-   --  d_u
+   --  d_u  In LLVM-based CCG, dump flows
    --  d_v  Enable additional checks and debug printouts in Atree
    --  d_w
    --  d_x  Disable inline expansion of Image attribute for enumeration types
@@ -183,7 +183,7 @@  package body Debug is
    --  d_O
    --  d_P
    --  d_Q
-   --  d_R
+   --  d_R  For LLVM, dump the representation of records
    --  d_S
    --  d_T  Output trace information on invocation path recording
    --  d_U  Disable prepending messages with "error:".
@@ -1001,6 +1001,9 @@  package body Debug is
    --       after the pass that does transformations to the IR into a
    --       filename ending with .trans.ll.
 
+   --  d_u  In the LLVM-based CCG, dump flows, both when originally created
+   --       and after transformations.
+
    --  d_v  Enable additional checks and debug printouts in Atree
 
    --  d_x  The compiler does not expand in line the Image attribute for user-
@@ -1024,6 +1027,9 @@  package body Debug is
    --       it is checked, and the progress of the recursive trace through
    --       elaboration calls at compile time.
 
+   --  d_R  In the LLVM backend, output the internal representation of
+   --       each record
+
    --  d_T  The compiler outputs trace information to standard output whenever
    --       an invocation path is recorded.