diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2011-02-20 10:50:32 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2011-02-20 10:50:32 +0000 |
| commit | f2aaae9757e7532485c97f6c9a9ed5437542d1dd (patch) | |
| tree | 9a0cdadb318534898bc0ea8ff5fec5931ef5620e /docs | |
| parent | 19d8dcbdaac5dc10e551703b824e8237e7d5f0a1 (diff) | |
| download | haskell-f2aaae9757e7532485c97f6c9a9ed5437542d1dd.tar.gz | |
Added a VECTORISE pragma
- Added a pragma {-# VECTORISE var = exp #-} that prevents
the vectoriser from vectorising the definition of 'var'.
Instead it uses the binding '$v_var = exp' to vectorise
'var'. The vectoriser checks that the Core type of 'exp'
matches the vectorised Core type of 'var'. (It would be
quite complicated to perform that check in the type checker
as the vectorisation of a type needs the state of the VM
monad.)
- Added parts of a related VECTORISE SCALAR pragma
- Documented -ddump-vect
- Added -ddump-vt-trace
- Some clean up
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/debugging.xml | 32 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 36 |
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> |