ghc-7.2.2: The GHC API

Vectorise.Utils

Contents

Annotated Exprs
PD Functions
Scalars
Naming

Synopsis

Documentation

module Vectorise.Utils.Base

module Vectorise.Utils.Closure

module Vectorise.Utils.Hoisting

module Vectorise.Utils.PADict

module Vectorise.Utils.Poly

Annotated Exprs

collectAnnTypeArgs :: AnnExpr b ann -> (AnnExpr b ann, [Type])Source

collectAnnTypeBinders :: AnnExpr Var ann -> ([Var], AnnExpr Var ann)Source

collectAnnValBinders :: AnnExpr Var ann -> ([Var], AnnExpr Var ann)Source

isAnnTypeArg :: AnnExpr b ann -> Bool Source

PD Functions

replicatePD Source

Arguments

:: CoreExpr	Number of copies in the resulting array.
-> CoreExpr	Value to replicate.
-> VM CoreExpr

Produce an array containing copies of a given element.

emptyPD :: Type -> VM CoreExpr Source

An empty array of the given type.

packByTagPD Source

Arguments

:: Type	Element type.
-> CoreExpr	Source array.
-> CoreExpr	Length of resulting array.
-> CoreExpr	Tag values of elements in source array.
-> CoreExpr	The tag value for the elements to select.
-> VM CoreExpr

Select some elements from an array that correspond to a particular tag value

combinePD Source

Arguments

:: Type	Element type
-> CoreExpr	Length of resulting array
-> CoreExpr	Selector.
-> [CoreExpr]	Arrays to combine.
-> VM CoreExpr

Combine some arrays based on a selector. The selector says which source array to choose for each element of the resulting array.

liftPD :: CoreExpr -> VM CoreExpr Source

Like replicatePD but use the lifting context in the vectoriser state.

Scalars

zipScalars :: [Type] -> Type -> VM CoreExpr Source

scalarClosure :: [Type] -> Type -> CoreExpr -> CoreExpr -> VM CoreExpr Source

Naming

newLocalVar :: FastString -> Type -> VM Var Source

Make a fresh local variable with the given type. The variable's name is formed using the given string as the prefix.