X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectType.hs;h=96745c500516baa9f98c70a7397705f22ce92adf;hb=263a30f1db8fc4f5b6cecc26176c6f881807e348;hp=eb7ce6de03b7e2914a65a49cd18e12ed7722c22a;hpb=f03cf1b168c34d09766fda988921b8263e7e7300;p=ghc-hetmet.git diff --git a/compiler/vectorise/VectType.hs b/compiler/vectorise/VectType.hs index eb7ce6d..96745c5 100644 --- a/compiler/vectorise/VectType.hs +++ b/compiler/vectorise/VectType.hs @@ -308,8 +308,9 @@ buildTyConBindings :: TyCon -> TyCon -> TyCon -> Var -> VM [(Var, CoreExpr)] buildTyConBindings orig_tc vect_tc arr_tc dfun = do shape <- tyConShape vect_tc - sequence_ (zipWith3 (vectDataConWorker shape vect_tc arr_tc arr_dc) - num_dcs + sequence_ (zipWith4 (vectDataConWorker shape vect_tc arr_tc arr_dc) + orig_dcs + vect_dcs (inits repr_tys) (tails repr_tys)) dict <- buildPADict shape vect_tc arr_tc dfun @@ -320,13 +321,12 @@ buildTyConBindings orig_tc vect_tc arr_tc dfun vect_dcs = tyConDataCons vect_tc [arr_dc] = tyConDataCons arr_tc - num_dcs = zip3 orig_dcs vect_dcs [0..] repr_tys = map dataConRepArgTys vect_dcs vectDataConWorker :: Shape -> TyCon -> TyCon -> DataCon - -> (DataCon, DataCon, Int) -> [[Type]] -> [[Type]] + -> DataCon -> DataCon -> [[Type]] -> [[Type]] -> VM () -vectDataConWorker shape vect_tc arr_tc arr_dc (orig_dc, vect_dc, dc_num) pre (dc_tys : post) +vectDataConWorker shape vect_tc arr_tc arr_dc orig_dc vect_dc pre (dc_tys : post) = do clo <- closedV . inBind orig_worker @@ -350,7 +350,9 @@ vectDataConWorker shape vect_tc arr_tc arr_dc (orig_dc, vect_dc, dc_num) pre (dc len <- newLocalVar FSLIT("n") intPrimTy arr_tys <- mapM mkPArrayType dc_tys args <- mapM (newLocalVar FSLIT("xs")) arr_tys - shapes <- shapeReplicate shape (Var len) (mkIntLitInt dc_num) + shapes <- shapeReplicate shape + (Var len) + (mkDataConTag vect_dc) empty_pre <- mapM emptyPA (concat pre) empty_post <- mapM emptyPA (concat post)