ddc-core-salt-0.4.1.3: Disciplined Disciple Compiler C code generator.

Safe HaskellNone

DDC.Core.Salt.Platform

Synopsis

Documentation

data Platform Source

Enough information about the platform to generate code for it. We need to know the pointer size and alignment constraints so that we can lay out heap objects.

Constructors

Platform 

Fields

platformAddrBytes :: Integer

Width of an address in bytes.

platformTagBytes :: Integer

Width of a constructor tag in bytes.

platformNatBytes :: Integer

Width of a Nat in bytes (used for object sizes like size_t).

platformAlignBytes :: Integer

Align functions on this boundary in bytes.

platformObjBytes :: Integer

Minimum size of a heap object in bytes.

Instances

platform32 :: PlatformSource

32-bit platform specification.

Heap objects are aligned to 64-bit so that double-precision floats in the object payloads maintain their alignments.

platform64 :: PlatformSource

64-bit platform specification.