SIL: add new instructions to support tail-allocated arrays in SIL.

The new instructions are: ref_tail_addr, tail_addr and a new attribute [ tail_elems ] for alloc_ref.
For details see docs/SIL.rst

As these new instructions are not generated so far, this is a NFC.
This commit is contained in:
Erik Eckstein
2016-09-09 11:12:56 -07:00
parent 91f81dab81
commit 34a4e6df0a
35 changed files with 973 additions and 93 deletions

View File

@@ -53,7 +53,7 @@ const uint16_t VERSION_MAJOR = 0;
/// in source control, you should also update the comment to briefly
/// describe what change you made. The content of this comment isn't important;
/// it just ensures a conflict if two people change the module format.
const uint16_t VERSION_MINOR = 266; // Last change: pattern binding init contexts
const uint16_t VERSION_MINOR = 267; // Last change: tail-alloc instructions
using DeclID = PointerEmbeddedInt<unsigned, 31>;
using DeclIDField = BCFixed<31>;