From e999478ff3c4c1fe4423dce124bf25b0c9e50533 Mon Sep 17 00:00:00 2001 From: Yuri Iozzelli Date: Thu, 3 Jul 2025 18:17:42 +0200 Subject: [PATCH] branch hinting: clarify section order --- document/metadata/code/binary.rst | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/document/metadata/code/binary.rst b/document/metadata/code/binary.rst index a076c32d..d5601c88 100644 --- a/document/metadata/code/binary.rst +++ b/document/metadata/code/binary.rst @@ -34,7 +34,11 @@ section of format *T*. Where :math:`\X{off}` is the byte offset of the attached instruction, relative to the beginning of the |Bfunc| declaration, and :math:`\X{data}` is a further payload, whose content depends on the format :math:`T`. -|Bcodemetadatafunc| entries must appear in order of increasing :math:`x`, and duplicate id values are not allowed. |Bcodemetadata| entries must appear in order of increasing :math:`\X{off}`, and duplicate offset values are not allowed. +At most one |Bcodemetadatasec| can be present in a module for a given format *T*, and it must appear before the |Bcodesec|. + +|Bcodemetadatafunc| entries must appear in order of increasing :math:`x`, and duplicate id values are not allowed. + +|Bcodemetadata| entries must appear in order of increasing :math:`\X{off}`, and duplicate offset values are not allowed. .. _binary-branchhints: