Synthesizer.LLVM.Interpolation

Documentation

class (Applicative nodes, Traversable nodes) => C nodes where

Methods

margin :: Margin (nodes a)

Instances

C Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

margin :: Margin (Nodes13 a)

C Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

margin :: Margin (Nodes02 a)

loadNodes :: (C nodes, Storable am) => (Value (Ptr am) -> CodeGenFunction r a) -> Value Int -> Value (Ptr am) -> CodeGenFunction r (nodes a)

indexNodes :: C nodes => (Value Word -> CodeGenFunction r v) -> Value Word -> Value Word -> CodeGenFunction r (nodes v)

loadNodesExp :: (C nodes, Storable am) => (Value (Ptr am) -> CodeGenFunction r a) -> T Int -> Value (Ptr am) -> CodeGenFunction r (nodes a)

indexNodesExp :: C nodes => (T Word -> CodeGenFunction r v) -> T Word -> T Word -> CodeGenFunction r (nodes v)

data Margin nodes

Constructors

Margin

Fields

• marginNumber, marginOffset :: Int

Instances

Eq (Margin nodes)

Defined in Synthesizer.LLVM.Interpolation

Methods

(==) :: Margin nodes -> Margin nodes -> Bool

(/=) :: Margin nodes -> Margin nodes -> Bool

Show (Margin nodes)

Defined in Synthesizer.LLVM.Interpolation

Methods

showsPrec :: Int -> Margin nodes -> ShowS

show :: Margin nodes -> String

showList :: [Margin nodes] -> ShowS

C (Margin nodes)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Repr (Margin nodes) :: Type

Methods

cons :: Margin nodes -> T (Margin nodes)

undef :: T (Margin nodes)

zero :: T (Margin nodes)

phi :: BasicBlock -> T (Margin nodes) -> CodeGenFunction r (T (Margin nodes))

addPhi :: BasicBlock -> T (Margin nodes) -> T (Margin nodes) -> CodeGenFunction r ()

type Repr (Margin nodes)

Defined in Synthesizer.LLVM.Interpolation

type Repr (Margin nodes) = (Value Int, Value Int)

zipMargin :: T Int -> T Int -> T (Margin nodes)

unzipMargin :: T (Margin nodes) -> (T Int, T Int)

toMargin :: C nodes => (forall r. T r nodes a v) -> Margin (nodes v)

marginNumberExp :: Value val => val (Margin nodes) -> val Int

marginOffsetExp :: Value val => val (Margin nodes) -> val Int

type T r nodes a v = a -> nodes v -> CodeGenFunction r v

data Nodes02 a

Zero nodes before index 0 and two nodes starting from index 0.

Constructors

Nodes02

Fields

• nodes02_0, nodes02_1 :: a

Instances

Functor Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

fmap :: (a -> b) -> Nodes02 a -> Nodes02 b

(<$) :: a -> Nodes02 b -> Nodes02 a

Applicative Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

pure :: a -> Nodes02 a

(<*>) :: Nodes02 (a -> b) -> Nodes02 a -> Nodes02 b

liftA2 :: (a -> b -> c) -> Nodes02 a -> Nodes02 b -> Nodes02 c

(*>) :: Nodes02 a -> Nodes02 b -> Nodes02 b

(<*) :: Nodes02 a -> Nodes02 b -> Nodes02 a

Foldable Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

fold :: Monoid m => Nodes02 m -> m

foldMap :: Monoid m => (a -> m) -> Nodes02 a -> m

foldr :: (a -> b -> b) -> b -> Nodes02 a -> b

foldr' :: (a -> b -> b) -> b -> Nodes02 a -> b

foldl :: (b -> a -> b) -> b -> Nodes02 a -> b

foldl' :: (b -> a -> b) -> b -> Nodes02 a -> b

foldr1 :: (a -> a -> a) -> Nodes02 a -> a

foldl1 :: (a -> a -> a) -> Nodes02 a -> a

toList :: Nodes02 a -> [a]

null :: Nodes02 a -> Bool

length :: Nodes02 a -> Int

elem :: Eq a => a -> Nodes02 a -> Bool

maximum :: Ord a => Nodes02 a -> a

minimum :: Ord a => Nodes02 a -> a

sum :: Num a => Nodes02 a -> a

product :: Num a => Nodes02 a -> a

Traversable Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

traverse :: Applicative f => (a -> f b) -> Nodes02 a -> f (Nodes02 b)

sequenceA :: Applicative f => Nodes02 (f a) -> f (Nodes02 a)

mapM :: Monad m => (a -> m b) -> Nodes02 a -> m (Nodes02 b)

sequence :: Monad m => Nodes02 (m a) -> m (Nodes02 a)

C Nodes02

Defined in Synthesizer.LLVM.Interpolation

Methods

margin :: Margin (Nodes02 a)

C l => C (Nodes02 l)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Struct (Nodes02 l) :: Type

Methods

load :: Value (Ptr (Struct (Nodes02 l))) -> CodeGenFunction r (Nodes02 l)

store :: Nodes02 l -> Value (Ptr (Struct (Nodes02 l))) -> CodeGenFunction r ()

decompose :: Value (Struct (Nodes02 l)) -> CodeGenFunction r (Nodes02 l)

compose :: Nodes02 l -> CodeGenFunction r (Value (Struct (Nodes02 l)))

Phi a => Phi (Nodes02 a)

Defined in Synthesizer.LLVM.Interpolation

Methods

phi :: BasicBlock -> Nodes02 a -> CodeGenFunction r (Nodes02 a)

addPhi :: BasicBlock -> Nodes02 a -> Nodes02 a -> CodeGenFunction r ()

Undefined a => Undefined (Nodes02 a)

Defined in Synthesizer.LLVM.Interpolation

Methods

undef :: Nodes02 a

Write v => Write (Nodes02 v)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type WriteIt (Nodes02 v) :: Type

Methods

insert :: Value Word32 -> Element (Nodes02 v) -> Nodes02 v -> CodeGenFunction r (Nodes02 v)

assemble :: [Element (Nodes02 v)] -> CodeGenFunction r (Nodes02 v)

writeStart :: CodeGenFunction r (WriteIterator (WriteIt (Nodes02 v)) (Nodes02 v))

writeNext :: Element (Nodes02 v) -> WriteIterator (WriteIt (Nodes02 v)) (Nodes02 v) -> CodeGenFunction r (WriteIterator (WriteIt (Nodes02 v)) (Nodes02 v))

writeStop :: WriteIterator (WriteIt (Nodes02 v)) (Nodes02 v) -> CodeGenFunction r (Nodes02 v)

Read v => Read (Nodes02 v)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Element (Nodes02 v) :: Type

type ReadIt (Nodes02 v) :: Type

Methods

extract :: Value Word32 -> Nodes02 v -> CodeGenFunction r (Element (Nodes02 v))

dissect :: Nodes02 v -> CodeGenFunction r [Element (Nodes02 v)]

readStart :: Nodes02 v -> CodeGenFunction r (ReadIterator (ReadIt (Nodes02 v)) (Nodes02 v))

readNext :: ReadIterator (ReadIt (Nodes02 v)) (Nodes02 v) -> CodeGenFunction r (Element (Nodes02 v), ReadIterator (ReadIt (Nodes02 v)) (Nodes02 v))

Sized value => Sized (Nodes02 value)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Size (Nodes02 value) :: Type

type Struct (Nodes02 l)

Defined in Synthesizer.LLVM.Interpolation

type Struct (Nodes02 l)

type WriteIt (Nodes02 v)

Defined in Synthesizer.LLVM.Interpolation

type WriteIt (Nodes02 v) = Nodes02 (WriteIt v)

type Element (Nodes02 v)

Defined in Synthesizer.LLVM.Interpolation

type Element (Nodes02 v) = Nodes02 (Element v)

type ReadIt (Nodes02 v)

Defined in Synthesizer.LLVM.Interpolation

type ReadIt (Nodes02 v) = Nodes02 (ReadIt v)

type Size (Nodes02 value)

Defined in Synthesizer.LLVM.Interpolation

type Size (Nodes02 value) = Size value

linear :: (PseudoRing a, IntegerConstant a) => T r Nodes02 a a

linearVector :: (PseudoModule v, Scalar v ~ a, IntegerConstant a) => T r Nodes02 a v

data Nodes13 a

One node before index 0 and three nodes starting from index 0.

Constructors

Nodes13

Fields

• nodes13_0, nodes13_1, nodes13_2, nodes13_3 :: a

Instances

Functor Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

fmap :: (a -> b) -> Nodes13 a -> Nodes13 b

(<$) :: a -> Nodes13 b -> Nodes13 a

Applicative Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

pure :: a -> Nodes13 a

(<*>) :: Nodes13 (a -> b) -> Nodes13 a -> Nodes13 b

liftA2 :: (a -> b -> c) -> Nodes13 a -> Nodes13 b -> Nodes13 c

(*>) :: Nodes13 a -> Nodes13 b -> Nodes13 b

(<*) :: Nodes13 a -> Nodes13 b -> Nodes13 a

Foldable Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

fold :: Monoid m => Nodes13 m -> m

foldMap :: Monoid m => (a -> m) -> Nodes13 a -> m

foldr :: (a -> b -> b) -> b -> Nodes13 a -> b

foldr' :: (a -> b -> b) -> b -> Nodes13 a -> b

foldl :: (b -> a -> b) -> b -> Nodes13 a -> b

foldl' :: (b -> a -> b) -> b -> Nodes13 a -> b

foldr1 :: (a -> a -> a) -> Nodes13 a -> a

foldl1 :: (a -> a -> a) -> Nodes13 a -> a

toList :: Nodes13 a -> [a]

null :: Nodes13 a -> Bool

length :: Nodes13 a -> Int

elem :: Eq a => a -> Nodes13 a -> Bool

maximum :: Ord a => Nodes13 a -> a

minimum :: Ord a => Nodes13 a -> a

sum :: Num a => Nodes13 a -> a

product :: Num a => Nodes13 a -> a

Traversable Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

traverse :: Applicative f => (a -> f b) -> Nodes13 a -> f (Nodes13 b)

sequenceA :: Applicative f => Nodes13 (f a) -> f (Nodes13 a)

mapM :: Monad m => (a -> m b) -> Nodes13 a -> m (Nodes13 b)

sequence :: Monad m => Nodes13 (m a) -> m (Nodes13 a)

C Nodes13

Defined in Synthesizer.LLVM.Interpolation

Methods

margin :: Margin (Nodes13 a)

C l => C (Nodes13 l)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Struct (Nodes13 l) :: Type

Methods

load :: Value (Ptr (Struct (Nodes13 l))) -> CodeGenFunction r (Nodes13 l)

store :: Nodes13 l -> Value (Ptr (Struct (Nodes13 l))) -> CodeGenFunction r ()

decompose :: Value (Struct (Nodes13 l)) -> CodeGenFunction r (Nodes13 l)

compose :: Nodes13 l -> CodeGenFunction r (Value (Struct (Nodes13 l)))

Phi a => Phi (Nodes13 a)

Defined in Synthesizer.LLVM.Interpolation

Methods

phi :: BasicBlock -> Nodes13 a -> CodeGenFunction r (Nodes13 a)

addPhi :: BasicBlock -> Nodes13 a -> Nodes13 a -> CodeGenFunction r ()

Undefined a => Undefined (Nodes13 a)

Defined in Synthesizer.LLVM.Interpolation

Methods

undef :: Nodes13 a

Write v => Write (Nodes13 v)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type WriteIt (Nodes13 v) :: Type

Methods

insert :: Value Word32 -> Element (Nodes13 v) -> Nodes13 v -> CodeGenFunction r (Nodes13 v)

assemble :: [Element (Nodes13 v)] -> CodeGenFunction r (Nodes13 v)

writeStart :: CodeGenFunction r (WriteIterator (WriteIt (Nodes13 v)) (Nodes13 v))

writeNext :: Element (Nodes13 v) -> WriteIterator (WriteIt (Nodes13 v)) (Nodes13 v) -> CodeGenFunction r (WriteIterator (WriteIt (Nodes13 v)) (Nodes13 v))

writeStop :: WriteIterator (WriteIt (Nodes13 v)) (Nodes13 v) -> CodeGenFunction r (Nodes13 v)

Read v => Read (Nodes13 v)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Element (Nodes13 v) :: Type

type ReadIt (Nodes13 v) :: Type

Methods

extract :: Value Word32 -> Nodes13 v -> CodeGenFunction r (Element (Nodes13 v))

dissect :: Nodes13 v -> CodeGenFunction r [Element (Nodes13 v)]

readStart :: Nodes13 v -> CodeGenFunction r (ReadIterator (ReadIt (Nodes13 v)) (Nodes13 v))

readNext :: ReadIterator (ReadIt (Nodes13 v)) (Nodes13 v) -> CodeGenFunction r (Element (Nodes13 v), ReadIterator (ReadIt (Nodes13 v)) (Nodes13 v))

Sized value => Sized (Nodes13 value)

Defined in Synthesizer.LLVM.Interpolation

Associated Types

type Size (Nodes13 value) :: Type

type Struct (Nodes13 l)

Defined in Synthesizer.LLVM.Interpolation

type Struct (Nodes13 l)

type WriteIt (Nodes13 v)

Defined in Synthesizer.LLVM.Interpolation

type WriteIt (Nodes13 v) = Nodes13 (WriteIt v)

type Element (Nodes13 v)

Defined in Synthesizer.LLVM.Interpolation

type Element (Nodes13 v) = Nodes13 (Element v)

type ReadIt (Nodes13 v)

Defined in Synthesizer.LLVM.Interpolation

type ReadIt (Nodes13 v) = Nodes13 (ReadIt v)

type Size (Nodes13 value)

Defined in Synthesizer.LLVM.Interpolation

type Size (Nodes13 value) = Size value

cubic :: (Field a, RationalConstant a) => T r Nodes13 a a

cubicVector :: (PseudoModule v, Scalar v ~ a, Field a, RationalConstant a) => T r Nodes13 a v