Futhark.Analysis.AlgSimplify

Documentation

data Prod

Constructors

Prod

Fields

• negated :: Bool
• atoms :: [Exp]

Instances

Show Prod

Defined in Futhark.Analysis.AlgSimplify

Methods

showsPrec :: Int -> Prod -> ShowS

show :: Prod -> String

showList :: [Prod] -> ShowS

Eq Prod

Defined in Futhark.Analysis.AlgSimplify

Methods

(==) :: Prod -> Prod -> Bool

(/=) :: Prod -> Prod -> Bool

Ord Prod

Defined in Futhark.Analysis.AlgSimplify

Methods

compare :: Prod -> Prod -> Ordering

(<) :: Prod -> Prod -> Bool

(<=) :: Prod -> Prod -> Bool

(>) :: Prod -> Prod -> Bool

(>=) :: Prod -> Prod -> Bool

max :: Prod -> Prod -> Prod

min :: Prod -> Prod -> Prod

type SofP = [Prod]

simplify0 :: Exp -> SofP

simplify :: Exp -> Exp

simplify' :: TExp -> TExp

simplifySofP :: SofP -> SofP

simplifySofP' :: SofP -> SofP

sumOfProducts :: Exp -> SofP

sumToExp :: SofP -> Exp

prodToExp :: Prod -> Exp

add :: SofP -> SofP -> SofP

sub :: SofP -> SofP -> SofP

negate :: Prod -> Prod

isMultipleOf :: Prod -> [Exp] -> Bool

maybeDivide :: Prod -> Prod -> Maybe Prod

removeLessThans :: SofP -> [(SubExp, PrimExp VName)] -> SofP

lessThanish :: [(VName, PrimExp VName)] -> Names -> TPrimExp Int64 VName -> TPrimExp Int64 VName -> Bool

compareComplexity :: SofP -> SofP -> Ordering