Document -ddump-simpl-phases

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 0f1fd18..638ab7a 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -280,14 +280,25 @@
       
       <varlistentry>
        <term>
       
       <varlistentry>
        <term>

+          <option>-ddump-simpl-phases</option>:
+          <indexterm><primary><option>-ddump-simpl-phases</option></primary></indexterm>
+        </term>
+       <listitem>
+         <para>Show the output of each run of the simplifier.  Used when even
+        <option>-dverbose-simpl</option> doesn't cut it.</para>
+       </listitem>
+      </varlistentry>
+
+      <varlistentry>
+       <term>

           <option>-ddump-simpl-iterations</option>:
           <indexterm><primary><option>-ddump-simpl-iterations</option></primary></indexterm>
         </term>
        <listitem>
          <para>Show the output of each <emphasis>iteration</emphasis>
         of the simplifier (each run of the simplifier has a maximum
           <option>-ddump-simpl-iterations</option>:
           <indexterm><primary><option>-ddump-simpl-iterations</option></primary></indexterm>
         </term>
        <listitem>
          <para>Show the output of each <emphasis>iteration</emphasis>
         of the simplifier (each run of the simplifier has a maximum

-        number of iterations, normally 4).  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        number of iterations, normally 4).  This outputs even more information
+        than <option>-ddump-simpl-phases</option>.</para>

        </listitem>
       </varlistentry>
 
        </listitem>
       </varlistentry>
 

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b191a6c..abcca5d 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2082,6 +2082,12 @@
              <entry>-</entry>
            </row>
            <row>
              <entry>-</entry>
            </row>
            <row>

+             <entry><option>-ddump-simpl-phases</option></entry>
+             <entry>Dump output from each simplifier phase</entry>
+             <entry>dynamic</entry>
+             <entry>-</entry>
+           </row>
+           <row>

              <entry><option>-ddump-simpl-iterations</option></entry>
              <entry>Dump output from each simplifier iteration</entry>
              <entry>dynamic</entry>
              <entry><option>-ddump-simpl-iterations</option></entry>
              <entry>Dump output from each simplifier iteration</entry>
              <entry>dynamic</entry>