module DDC.Core.Llvm.Runtime
( nameGlobalHeapTop, varGlobalHeapTop
, nameGlobalHeapMax, varGlobalHeapMax
, nameGlobalMalloc)
where
import DDC.Llvm.Syntax
import DDC.Core.Llvm.Convert.Type
import DDC.Core.Salt.Platform
nameGlobalHeapTop :: Name
nameGlobalHeapTop = NameGlobal "_DDC__heapTop"
varGlobalHeapTop :: Platform -> Var
varGlobalHeapTop pp = Var nameGlobalHeapTop (TPointer (tAddr pp))
nameGlobalHeapMax :: Name
nameGlobalHeapMax = NameGlobal "_DDC__heapMax"
varGlobalHeapMax :: Platform -> Var
varGlobalHeapMax pp = Var nameGlobalHeapMax (TPointer (tAddr pp))
nameGlobalMalloc :: Name
nameGlobalMalloc = NameGlobal "malloc"