Changes between Version 1 and Version 2 of DataParallel/Vectorisation/TypeVectorisation


Ignore:
Timestamp:
May 25, 2007 12:50:21 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/Vectorisation/TypeVectorisation

    v1 v2  
    55=== Transformation rules === 
    66 
     7The type transformation rules achieve two goals: (1) they replace original type constructors and variables by their vectorised variants, where those are available, and (2) they alter the representation of functions: 
    78{{{ 
    89T*            = T_V , if T_V exists 
     
    1314              = (  t1* :-> t2*,   , otherwise 
    1415                 [:t1* :-> t2*:]) 
    15 -----weiter 
    16 (t1 t2)^      = t1^ t2^ 
    17 (forall a.t)^ = forall a_CC.t^ 
     16(t1 t2)*      = t1* t2* 
     17(forall a.t)* = forall a_v.t* 
    1818}}} 
     19The transformation of function types includes both the change from `(->)` to `(:->)` as well as