• chak@cse.unsw.edu.au.'s avatar
    Added a VECTORISE pragma · f2aaae97
    chak@cse.unsw.edu.au. authored
    - 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
    f2aaae97
Env.hs 6.3 KB