[Ada] Document LLVM-specific flags
authorRichard Kenner <kenner@adacore.com>
Tue, 21 Dec 2021 21:47:45 +0000 (16:47 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 11 Jan 2022 13:24:44 +0000 (13:24 +0000)
gcc/ada/

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

gcc/ada/debug.adb

index 8873000..8a0ba02 100644 (file)
@@ -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.