atom-1.0.13: An EDSL for embedded hard realtime applications.

Copyright	(c) 2013 Tom Hawkins & Lee Pike
Safe Haskell	None
Language	Haskell98

Language.Atom.UeMap

Description

Sharing for UE s, based on IntMaps. The idea is to share subexpressions of UE s.

Synopsis

data UeElem
- = MUVRef !MUV
- | MUConst !Const
- | MUCast !Type !Hash
- | MUAdd !Hash !Hash
- | MUSub !Hash !Hash
- | MUMul !Hash !Hash
- | MUDiv !Hash !Hash
- | MUMod !Hash !Hash
- | MUNot !Hash
- | MUAnd [Hash]
- | MUBWNot !Hash
- | MUBWAnd !Hash !Hash
- | MUBWOr !Hash !Hash
- | MUBWXor !Hash !Hash
- | MUBWShiftL !Hash !Hash
- | MUBWShiftR !Hash !Hash
- | MUEq !Hash !Hash
- | MULt !Hash !Hash
- | MUMux !Hash !Hash !Hash
- | MUF2B !Hash
- | MUD2B !Hash
- | MUB2F !Hash
- | MUB2D !Hash
- | MUPi
- | MUExp !Hash
- | MULog !Hash
- | MUSqrt !Hash
- | MUPow !Hash !Hash
- | MUSin !Hash
- | MUAsin !Hash
- | MUCos !Hash
- | MUAcos !Hash
- | MUSinh !Hash
- | MUCosh !Hash
- | MUAsinh !Hash
- | MUAcosh !Hash
- | MUAtan !Hash
- | MUAtanh !Hash
data MUV
- = MUV Int String Const
- | MUVArray UA Hash
- | MUVExtern String Type
type UeMap = (Hash, Bimap Int UeElem)
emptyMap :: UeMap
type Hash = Int
typeOf :: Hash -> UeMap -> Type
type UeState a = State UeMap a
recoverUE :: UeMap -> Hash -> UE
getUE :: Hash -> UeMap -> UeElem
newUE :: UE -> UeMap -> (Hash, UeMap)
newUV :: UV -> UeMap -> (MUV, UeMap)
maybeUpdate :: UeElem -> UeState Hash
ueUpstream :: Hash -> UeMap -> [Hash]
nearestUVs :: Hash -> UeMap -> [MUV]
arrayIndices :: Hash -> UeMap -> [(UA, Hash)]
isMathHCall :: UeElem -> Bool

Documentation

data UeElem Source

Corresponds to UE s --- the elements in the sharing structure.

Constructors

MUCast !Type !Hash

MUAdd !Hash !Hash

MUSub !Hash !Hash

MUMul !Hash !Hash

MUDiv !Hash !Hash

MUMod !Hash !Hash

MUBWAnd !Hash !Hash

MUBWOr !Hash !Hash

MUBWXor !Hash !Hash

MUBWShiftL !Hash !Hash

MUBWShiftR !Hash !Hash

MUEq !Hash !Hash

MULt !Hash !Hash

MUMux !Hash !Hash !Hash

MUPow !Hash !Hash

Instances

data MUV Source

Untyped variables map.

Constructors

MUV Int String Const

MUVArray UA Hash

MUVExtern String Type

Instances

type UeMap = (Hash, Bimap Int UeElem) Source

An entry in the Map.

emptyMap :: UeMap Source

type Hash = Int Source

typeOf :: Hash -> UeMap -> Type Source

type UeState a = State UeMap a Source

Wrapped in the State Monad.

recoverUE :: UeMap -> Hash -> UE Source

Get a UE back out of the UeMap .

getUE :: Hash -> UeMap -> UeElem Source

Get the element associated with a Hash value. It's an error if the element is not in the map.

newUE :: UE -> UeMap -> (Hash, UeMap) Source

Put a new UE in the map, unless it's already in there, and return the hash pointing to the UE and a new map.

newUV :: UV -> UeMap -> (MUV, UeMap) Source

Transforms a UV into a MUV , returning the possibly updated map.

maybeUpdate :: UeElem -> UeState Hash Source

Lookup an element in the map, and if it's in there, do nothing, but return its hash value. Otherwise, update the map and return the new hash value for the inserted element.

ueUpstream :: Hash -> UeMap -> [Hash] Source

The list of Hashes to adjacent upstream of a UE.

nearestUVs :: Hash -> UeMap -> [MUV] Source

The list of all UVs that directly control the value of an expression.

arrayIndices :: Hash -> UeMap -> [(UA, Hash)] Source

All array indexing subexpressions.

isMathHCall :: UeElem -> Bool Source