futhark-0.25.32: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageGHC2021

Futhark.Analysis.AlgSimplify

Documentation

data Prod Source #

Constructors

Prod 

Fields

Instances

Instances details
Show Prod Source # 
Instance details

Defined in Futhark.Analysis.AlgSimplify

Methods

showsPrec :: Int -> Prod -> ShowS

show :: Prod -> String

showList :: [Prod] -> ShowS

Eq Prod Source # 
Instance details

Defined in Futhark.Analysis.AlgSimplify

Methods

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

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

Ord Prod Source # 
Instance details

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] Source #

simplify0 :: Exp -> SofP Source #

simplify :: Exp -> Exp Source #

simplify' :: TExp -> TExp Source #

simplifySofP :: SofP -> SofP Source #

simplifySofP' :: SofP -> SofP Source #

sumOfProducts :: Exp -> SofP Source #

sumToExp :: SofP -> Exp Source #

prodToExp :: Prod -> Exp Source #

add :: SofP -> SofP -> SofP Source #

sub :: SofP -> SofP -> SofP Source #

negate :: Prod -> Prod Source #

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

maybeDivide :: Prod -> Prod -> Maybe Prod Source #

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

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

compareComplexity :: SofP -> SofP -> Ordering Source #