diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mcpu-cpp-en.md | 71 | ||||
| -rw-r--r-- | doc/mcpu-cpp-ru.md | 72 |
2 files changed, 100 insertions, 43 deletions
diff --git a/doc/mcpu-cpp-en.md b/doc/mcpu-cpp-en.md index 18633ae..9afaa0e 100644 --- a/doc/mcpu-cpp-en.md +++ b/doc/mcpu-cpp-en.md @@ -1265,7 +1265,10 @@ will not be mixed with the version of the standalone preprocessor. the established LibMPU/LibMPUIO `acsite.m4` approach: GCC predefined macros describe native type sizes, byte/word order, and machine-register width, while the installed `<libmpu.h>` is the final source of truth for LibMPU -configuration. +configuration. These GCC and LibMPU checks describe the HOST build environment, +not the MCPU target ABI. The MCPU ABI is defined by the LibMCPU architecture +and its ABI contracts; HOST-derived predefined macros must not be used to +infer or change target type widths, pointer representation, or calling rules. In particular, the following values are captured and checked: @@ -1348,7 +1351,7 @@ future MCPU language has no `float` type. LibMPU/MCPU environment parameters are published in the MCPU namespace: ```text -__MCPU_MACHINE_REGISTER_WIDTH__ +__MCPU_HOST_MACHINE_REGISTER_WIDTH__ __MCPU_REAL_IO_LIMIT__ __MCPU_MATH_FN_LIMIT__ __MCPU_INT_MAX_WIDTH__ @@ -1357,36 +1360,60 @@ __MCPU_COMPLEX_MAX_WIDTH__ ``` `__MCPU_INT_MAX_WIDTH__` is `NB_I_MAX * 8`; the Real/Complex maximum width is -the configured `MPU_REAL_IO_LIMIT`. `__MCPU_MACHINE_REGISTER_WIDTH__` is the -`BITS_PER_MACHINE_REGISTER` value of the installed LibMPU. Real I/O and math +the configured `MPU_REAL_IO_LIMIT`. `__MCPU_HOST_MACHINE_REGISTER_WIDTH__` is the +`BITS_PER_MACHINE_REGISTER` value of the installed LibMPU and reports a HOST +characteristic, not an MCPU architectural register width. Real I/O and math limits are deliberately kept separate: `MPU_REAL_IO_LIMIT` controls existence of Real/Complex type families and text conversion, while `MPU_MATH_FN_LIMIT` controls availability of mathematical functions at a given width. -### 8.6. MCPU size/ssize, `ptrdiff`, and pointers +### 8.6. HOST machine size/ssize hints, `ptrdiff`, and pointers The future language does not inherit variable-width C names such as `short`, -`int`, and `long`, and it does not use the C-style name `size_t` as part of its -own ABI. The unsigned LibMPU size type and signed byte-count/error type are -published symmetrically in the MCPU namespace. For a 64-bit configured profile, -for example: +`int`, and `long`, and the HOST C types `size_t` and `ssize_t` do not define +the MCPU target ABI. The following nine predefined macros report the HOST +machine characteristics of the environment in which the virtual MCPU runs: ```text -#define __MCPU_SIZE_TYPE__ uint64 -#define __MCPU_SIZE_WIDTH__ 64 -#define __MCPU_SIZEOF_SIZE__ 8 -#define __MCPU_SIZE_MAX__ 0xffffffffffffffff +__MCPU_HOST_MACHINE_REGISTER_WIDTH__ +__MCPU_HOST_MACHINE_SIZEOF_SIZE__ +__MCPU_HOST_MACHINE_SIZEOF_SSIZE__ +__MCPU_HOST_MACHINE_SIZE_MAX__ +__MCPU_HOST_MACHINE_SIZE_TYPE__ +__MCPU_HOST_MACHINE_SIZE_WIDTH__ +__MCPU_HOST_MACHINE_SSIZE_MAX__ +__MCPU_HOST_MACHINE_SSIZE_TYPE__ +__MCPU_HOST_MACHINE_SSIZE_WIDTH__ +``` + +They are **not the source of truth for the MCPU ABI**. They are optional +information available to guest programs, for example when a high-level +programmer deliberately wants an MCPU integer type whose signedness and width +match the HOST `size_t` or `ssize_t`. Using such a type is an explicit program +choice; it does not make the guest pointer, integer, memory, or calling ABI +HOST-dependent. + +For a HOST with 32-bit `size_t` and `ssize_t`, these size hints include: + +```text +#define __MCPU_HOST_MACHINE_SIZE_TYPE__ uint32 +#define __MCPU_HOST_MACHINE_SIZE_WIDTH__ 32 +#define __MCPU_HOST_MACHINE_SIZEOF_SIZE__ 4 +#define __MCPU_HOST_MACHINE_SIZE_MAX__ 0xffffffff -#define __MCPU_SSIZE_TYPE__ int64 -#define __MCPU_SSIZE_WIDTH__ 64 -#define __MCPU_SIZEOF_SSIZE__ 8 -#define __MCPU_SSIZE_MAX__ 0x7fffffffffffffff +#define __MCPU_HOST_MACHINE_SSIZE_TYPE__ int32 +#define __MCPU_HOST_MACHINE_SSIZE_WIDTH__ 32 +#define __MCPU_HOST_MACHINE_SIZEOF_SSIZE__ 4 +#define __MCPU_HOST_MACHINE_SSIZE_MAX__ 0x7fffffff ``` -This is an MCPU-specific family, not an attempt to invent a nonexistent GNU CPP -`__SSIZE_*` contract. +For a HOST with 64-bit `size_t` and `ssize_t`, the same names instead report +`uint64`/`int64`, widths of `64`, sizes of `8`, and the corresponding maxima +`0xffffffffffffffff`/`0x7fffffffffffffff`. Register width is reported +independently; it is not derived from `size_t`. -The MCPU pointer ABI is independent of the host: PTR64 is always 64 bits wide: +The MCPU pointer ABI is **HOST-independent**: PTR64 is always 64 bits wide, +including when the HOST and its `size_t` are 32-bit: ```text #define __INTPTR_TYPE__ int64 @@ -1399,8 +1426,8 @@ The MCPU pointer ABI is independent of the host: PTR64 is always 64 bits wide: #define __MCPU_POINTER_WIDTH__ 64 ``` -The difference between two MCPU pointers is signed and also fixed independently -of the host: +The difference between two MCPU pointers is signed and likewise fixed +independently of the HOST: ```text #define __PTRDIFF_TYPE__ int64 diff --git a/doc/mcpu-cpp-ru.md b/doc/mcpu-cpp-ru.md index 662ff2c..f3884da 100644 --- a/doc/mcpu-cpp-ru.md +++ b/doc/mcpu-cpp-ru.md @@ -1274,6 +1274,10 @@ frontend/driver, его version contract будет определён отде проверенные приёмы из `LibMPU`/`LibMPUIO` `acsite.m4`: GCC predefined macros определяют native type sizes, byte/word order и machine-register width, а установленный `<libmpu.h>` является окончательным источником настроек LibMPU. +Эти проверки GCC и LibMPU описывают среду сборки HOST, но не целевой MCPU ABI. +Источником истины для MCPU ABI служат архитектура LibMCPU и её ABI-контракты; +предопределённые макро, зависящие от HOST, не должны определять или изменять +разрядности целевых типов, представление указателей и правила вызовов. В частности, фиксируются и проверяются: @@ -1355,7 +1359,7 @@ GNU/C-specific имя `__FLOAT_WORD_ORDER__` не определяется: ти Параметры LibMPU/MCPU environment публикуются в MCPU namespace: ```text -__MCPU_MACHINE_REGISTER_WIDTH__ +__MCPU_HOST_MACHINE_REGISTER_WIDTH__ __MCPU_REAL_IO_LIMIT__ __MCPU_MATH_FN_LIMIT__ __MCPU_INT_MAX_WIDTH__ @@ -1364,35 +1368,61 @@ __MCPU_COMPLEX_MAX_WIDTH__ ``` `__MCPU_INT_MAX_WIDTH__` равен `NB_I_MAX * 8`, а Real/Complex maximum width -равен configured `MPU_REAL_IO_LIMIT`. `__MCPU_MACHINE_REGISTER_WIDTH__` является -значением `BITS_PER_MACHINE_REGISTER` установленной LibMPU. Пределы Real I/O и +равен configured `MPU_REAL_IO_LIMIT`. `__MCPU_HOST_MACHINE_REGISTER_WIDTH__` является +значением `BITS_PER_MACHINE_REGISTER` установленной LibMPU и описывает HOST, +а не разрядность архитектурного регистра MCPU. Пределы Real I/O и math functions не смешиваются: `MPU_REAL_IO_LIMIT` определяет существование Real/Complex type family и text conversion, а `MPU_MATH_FN_LIMIT` — наличие математических функций соответствующей ширины. -### 8.6. MCPU size/ssize, `ptrdiff` и pointers +### 8.6. HOST machine size/ssize, `ptrdiff` и pointers -Будущий язык не наследует variable-width C names `short`, `int`, `long` и -не использует C-style имя `size_t` как часть собственного ABI. Беззнаковый -LibMPU size type и знаковый byte-count/error type публикуются симметрично в -MCPU namespace. Например для 64-bit configured profile: +Будущий язык не наследует variable-width C names `short`, `int`, `long`, а +HOST-типы C `size_t` и `ssize_t` не определяют целевой MCPU ABI. Следующие +девять предопределённых макро сообщают характеристики HOST-машины, на которой +работает виртуальный процессор MCPU: ```text -#define __MCPU_SIZE_TYPE__ uint64 -#define __MCPU_SIZE_WIDTH__ 64 -#define __MCPU_SIZEOF_SIZE__ 8 -#define __MCPU_SIZE_MAX__ 0xffffffffffffffff +__MCPU_HOST_MACHINE_REGISTER_WIDTH__ +__MCPU_HOST_MACHINE_SIZEOF_SIZE__ +__MCPU_HOST_MACHINE_SIZEOF_SSIZE__ +__MCPU_HOST_MACHINE_SIZE_MAX__ +__MCPU_HOST_MACHINE_SIZE_TYPE__ +__MCPU_HOST_MACHINE_SIZE_WIDTH__ +__MCPU_HOST_MACHINE_SSIZE_MAX__ +__MCPU_HOST_MACHINE_SSIZE_TYPE__ +__MCPU_HOST_MACHINE_SSIZE_WIDTH__ +``` + +Они **не являются источником истины для MCPU ABI**. Это дополнительные сведения +для гостевой программы. Например, разработчик языка высокого уровня может +осознанно выбрать целочисленный тип MCPU, совпадающий по знаковости и +разрядности с HOST `size_t` либо `ssize_t`. Такой выбор принадлежит конкретной +программе и не делает HOST-зависимыми указатели, целочисленную модель, память +или соглашение о вызовах MCPU. + +Если на HOST `size_t` и `ssize_t` имеют ширину 32 бита, размерные подсказки +содержат, в частности: + +```text +#define __MCPU_HOST_MACHINE_SIZE_TYPE__ uint32 +#define __MCPU_HOST_MACHINE_SIZE_WIDTH__ 32 +#define __MCPU_HOST_MACHINE_SIZEOF_SIZE__ 4 +#define __MCPU_HOST_MACHINE_SIZE_MAX__ 0xffffffff -#define __MCPU_SSIZE_TYPE__ int64 -#define __MCPU_SSIZE_WIDTH__ 64 -#define __MCPU_SIZEOF_SSIZE__ 8 -#define __MCPU_SSIZE_MAX__ 0x7fffffffffffffff +#define __MCPU_HOST_MACHINE_SSIZE_TYPE__ int32 +#define __MCPU_HOST_MACHINE_SSIZE_WIDTH__ 32 +#define __MCPU_HOST_MACHINE_SIZEOF_SSIZE__ 4 +#define __MCPU_HOST_MACHINE_SSIZE_MAX__ 0x7fffffff ``` -Это MCPU-specific family, а не попытка приписать GNU CPP несуществующий -стандартный `__SSIZE_*` contract. +На HOST с 64-битными `size_t` и `ssize_t` те же имена обозначают `uint64`/`int64`, +ширину `64`, размер `8` и соответствующие максимумы +`0xffffffffffffffff`/`0x7fffffffffffffff`. Ширина HOST-регистра определяется +независимо и не выводится из `size_t`. -MCPU pointer ABI от host не зависит: PTR64 всегда имеет ширину 64 бита: +MCPU pointer ABI **не зависит от HOST**: PTR64 всегда имеет ширину 64 бита, +включая HOST с 32-битным `size_t`: ```text #define __INTPTR_TYPE__ int64 @@ -1405,8 +1435,8 @@ MCPU pointer ABI от host не зависит: PTR64 всегда имеет ш #define __MCPU_POINTER_WIDTH__ 64 ``` -Разность MCPU pointers является знаковой и также фиксирована независимо от -host: +Разность MCPU pointers является знаковой и также имеет фиксированную +разрядность независимо от HOST: ```text #define __PTRDIFF_TYPE__ int64 |