summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/debugging.xml32
-rw-r--r--docs/users_guide/flags.xml36
2 files changed, 51 insertions, 17 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 358be10235..4db79afc50 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -150,6 +150,17 @@
<varlistentry>
<term>
+ <option>-ddump-vect</option>:
+ <indexterm><primary><option>-ddump-vect</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>dumps the output of the vectoriser.
+ </para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
<option>-ddump-simpl</option>:
<indexterm><primary><option>-ddump-simpl</option></primary></indexterm>
</term>
@@ -350,14 +361,25 @@
</varlistentry>
<varlistentry>
- <term>
+ <term>
<option>-ddump-tc-trace</option>
<indexterm><primary><option>-ddump-tc-trace</option></primary></indexterm>
</term>
- <listitem>
- <para>Make the type checker be *real* chatty about what it is
- upto.</para>
- </listitem>
+ <listitem>
+ <para>Make the type checker be *real* chatty about what it is
+ upto.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-vt-trace</option>
+ <indexterm><primary><option>-ddump-tv-trace</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Make the vectoriser be *real* chatty about what it is
+ upto.</para>
+ </listitem>
</varlistentry>
<varlistentry>
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 23576735c0..3920c8ef0f 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2345,12 +2345,18 @@ phase <replaceable>n</replaceable></entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
- <row>
- <entry><option>-ddump-rules</option></entry>
- <entry>Dump rules</entry>
- <entry>dynamic</entry>
- <entry>-</entry>
- </row>
+ <row>
+ <entry><option>-ddump-rules</option></entry>
+ <entry>Dump rules</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
+ <row>
+ <entry><option>-ddump-vect</option></entry>
+ <entry>Dump vectoriser input and output</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
<row>
<entry><option>-ddump-simpl</option></entry>
<entry>Dump final simplifier output</entry>
@@ -2417,12 +2423,18 @@ phase <replaceable>n</replaceable></entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
- <row>
- <entry><option>-ddump-tc-trace</option></entry>
- <entry>Trace typechecker</entry>
- <entry>dynamic</entry>
- <entry>-</entry>
- </row>
+ <row>
+ <entry><option>-ddump-tc-trace</option></entry>
+ <entry>Trace typechecker</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
+ <row>
+ <entry><option>-ddump-vt-trace</option></entry>
+ <entry>Trace vectoriser</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
<row>
<entry><option>-ddump-rn-trace</option></entry>
<entry>Trace renamer</entry>