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 /utils | |
| 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 'utils')
0 files changed, 0 insertions, 0 deletions