DDC.Core.Salt.Platform

Documentation

data Platform

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

Show Platform

Pretty Platform

platform32 :: Platform

32-bit platform specification.

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

platform64 :: Platform

64-bit platform specification.