author: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300
committer: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300
commit: 868b2b66b564b5c00e3a74d10be45db7151627ac
parent: cce2ae8d3312493b7653358bb4af201d3271377b
Commit Summary:
Diffstat:
2 files changed, 196 insertions, 0 deletions
diff --git a/mpu/math/service/emu00512/ei_service_004_emu32lsb.dfn b/mpu/math/service/emu00512/ei_service_004_emu32lsb.dfn
new file mode 100644
index 0000000..ed3fad9
--- /dev/null
+++ b/mpu/math/service/emu00512/ei_service_004_emu32lsb.dfn
@@ -0,0 +1,118 @@
+
+#ifndef __REAL_EINTERNAL_SERVICE_004_32LSB
+#define __REAL_EINTERNAL_SERVICE_004_32LSB
+
+#if BITS_PER_EMUSHORT == 32
+
+/* m_ln2hi_512 = 6.93147180559945309417232121458176568075500134360255254120680009493393\
+ 621969694715545056939594010545548358543048214624372740668442533495E-1; */
+static EMUSHORT _ei_m_ln2hi_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0xe7b80000, 0x8baafa2b, 0x8a0d175b, 0x7298b62d, 0x40f34326, 0x03f2f6af, 0xc9e3b398, 0xd1cf79ab, 0xb17217f7, 0x00000000, 0xfffffffe, 0x3fffffff, 0x00000000
+};
+
+/* m_ln2lo_512 = 6.08063874024081419936429379723560613609448517932246363984153386746406\
+ 317108464616268305394132467460334998845167340990925566797229020295E-83; */
+static EMUSHORT _ei_m_ln2lo_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x428a0000, 0x5c6b8270, 0x3621da5d, 0xa5f695f4, 0x5930ab2a, 0xec40dbd7, 0x00000000, 0xfffffeed, 0x3fffffff, 0x00000000
+};
+
+
+/* m_ln_huge_512 = 3.1965771613006639149471576749356129486404926450780118465153\
+ 2475839641542212010034162864247995101201484682501613286512\
+ 671698707153986440E+18; */
+static EMUSHORT _ei_m_ln_huge_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0xc1382145, 0xed2eae35, 0x4afa1b10, 0x559552fb, 0x6debac98, 0xe7b87620, 0x8baafa2b, 0x8a0d175b, 0x7298b62d, 0x40f34326, 0x03f2f6af, 0xc9e3b398, 0xd1cf79ab, 0xb17217f7, 0x00000000, 0x0000003c, 0x40000000, 0x00000000
+};
+
+/* m_ln_tiny_512 = -3.1965771613006639135608633138157223298060284021616587103643\
+ 2448967590491387874032264185523601162258363509836214002775\
+ 163298410949872303E+18; */
+static EMUSHORT _ei_m_ln_tiny_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x696748be, 0x4084165b, 0xdb9cb64e, 0x17d1a1f7, 0x1093db39, 0x974fbb44, 0xf6e548bf, 0x8272fe27, 0x530100b3, 0xf1d5a666, 0x75772950, 0x3e52f3d9, 0xd1cf79a6, 0xb17217f7, 0x00000000, 0x0000003c, 0x40000000, 0xffffffff
+};
+
+
+/* m_athfhi_512 = 4.6364760900080611621425623146121440202853705428612026381093308872019\
+ 7864165741705300600283984887892556529852251190837513505818181625011E-1; */
+static EMUSHORT _ei_m_athfhi_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0xfd3c0013, 0xcee1e80e, 0xc6a46182, 0x87c812f8, 0x892b516c, 0xfa9c5917, 0xe9624709, 0xe2cf16e6, 0x261cdf00, 0x6e141587, 0xbc3a8d03, 0x6fe445ec, 0x0dda7b45, 0xed63382b, 0x00000000, 0xfffffffd, 0x3fffffff, 0x00000000
+};
+
+/* m_athflo_512 = 5.7732134097717553671626756201813048642748492687957454632\
+ 0692025606086762430566282200663131940721480831187722270\
+ 431867807189930279017538E-136; */
+static EMUSHORT _ei_m_athflo_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0xbfee054d, 0xefaeb8b1, 0x4bd7be5b, 0xc1689ec3, 0xe1547791, 0xdfd26c5b, 0x07697538, 0x5336dd09, 0x086ccb07, 0x6ebfea02, 0x41b29b65, 0x79134753, 0x86228dbd, 0xd6d85e36, 0x00000000, 0xfffffe3d, 0x3fffffff, 0x00000000
+};
+
+
+/* m_at1fhi_512 = 9.8279372324732906798571061101466601449687745363162855676142508831798\
+ 8071549796035389706534372817311108165139702011936766229941039181885E-1; */
+static EMUSHORT _ei_m_at1fhi_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x27ccc8e5, 0x4d36a7a3, 0xfadbba91, 0xf346de40, 0x179728b8, 0x8aabe367, 0x42088fd2, 0x351d86e9, 0x560dce43, 0xa9936652, 0xbbc9e141, 0x7887af0c, 0x0fb4d900, 0xfb985e94, 0x00000000, 0xfffffffe, 0x3fffffff, 0x00000000
+};
+
+/* m_at1flo_512 = 8.079563686288253319365988763076603643610724151304741144369\
+ 493828291123351216394561716518648326500121733182790815620\
+ 95926418958270171949E-137; */
+static EMUSHORT _ei_m_at1flo_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x8dfaaa18, 0xcd5f369b, 0xd78de716, 0x96ce12b4, 0xb00d8ce0, 0xbe952d0b, 0x31b9d4f5, 0x261b634c, 0xecf57dc9, 0x18d8878c, 0x43b8d558, 0x09352f16, 0xfa1afbf5, 0xf08a0ae3, 0x00000000, 0xfffffe3a, 0x3fffffff, 0x00000000
+};
+
+
+/* m_39_16__512 = 2.4375E+0; */
+static EMUSHORT _ei_m_39_16__512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x9c000000, 0x00000000, 0x00000000, 0x40000000, 0x00000000
+};
+
+/* m_1_16__512 = 6.25000E-2; */
+static EMUSHORT _ei_m_1_16__512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x80000000, 0x00000000, 0xfffffffb, 0x3fffffff, 0x00000000
+};
+
+
+/* m_thovfl_512 = 1.5526496844542774930945999520663155124891203009669717692303232\
+ 2126520171321211616295713385247197786009408331748607833604345\
+ 556532809821E+2; */
+static EMUSHORT _ei_m_thovfl_512_[NPIR_512] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================== ========== ====================== ==========*/
+ 0x00000000, 0x09111d1c, 0xcf88d86f, 0xe19ad7ae, 0x4ae2a89b, 0x602e3705, 0x6ac1675c, 0x1a359ae6, 0xd8cb7470, 0xa4459f67, 0x58d4dac1, 0x037497d9, 0x50a73d25, 0xd7958a76, 0x9b43d4f8, 0x00000000, 0x00000006, 0x40000000, 0x00000000
+};
+
+#else /* BITS_PER_EMUSHORT != 32 */
+#error ei_service_004_emu32lsb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_SERVICE_004_32LSB */
diff --git a/mpu/math/service/emu00512/ei_service_004_emu32msb.dfn b/mpu/math/service/emu00512/ei_service_004_emu32msb.dfn
new file mode 100644
index 0000000..5300c9f
--- /dev/null
+++ b/mpu/math/service/emu00512/ei_service_004_emu32msb.dfn
@@ -0,0 +1,118 @@
+
+#ifndef __REAL_EINTERNAL_SERVICE_004_32MSB
+#define __REAL_EINTERNAL_SERVICE_004_32MSB
+
+#if BITS_PER_EMUSHORT == 32
+
+/* m_ln2hi_512 = 6.93147180559945309417232121458176568075500134360255254120680009493393\
+ 621969694715545056939594010545548358543048214624372740668442533495E-1; */
+static EMUSHORT _ei_m_ln2hi_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffffe, 0x00000000, 0xb17217f7, 0xd1cf79ab, 0xc9e3b398, 0x03f2f6af, 0x40f34326, 0x7298b62d, 0x8a0d175b, 0x8baafa2b, 0xe7b80000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000
+};
+
+/* m_ln2lo_512 = 6.08063874024081419936429379723560613609448517932246363984153386746406\
+ 317108464616268305394132467460334998845167340990925566797229020295E-83; */
+static EMUSHORT _ei_m_ln2lo_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffeed, 0x00000000, 0xec40dbd7, 0x5930ab2a, 0xa5f695f4, 0x3621da5d, 0x5c6b8270, 0x428a0000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000
+};
+
+
+/* m_ln_huge_512 = 3.1965771613006639149471576749356129486404926450780118465153\
+ 2475839641542212010034162864247995101201484682501613286512\
+ 671698707153986440E+18; */
+static EMUSHORT _ei_m_ln_huge_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x40000000, 0x0000003c, 0x00000000, 0xb17217f7, 0xd1cf79ab, 0xc9e3b398, 0x03f2f6af, 0x40f34326, 0x7298b62d, 0x8a0d175b, 0x8baafa2b, 0xe7b87620, 0x6debac98, 0x559552fb, 0x4afa1b10, 0xed2eae35, 0xc1382145, 0x00000000
+};
+
+/* m_ln_tiny_512 = -3.1965771613006639135608633138157223298060284021616587103643\
+ 2448967590491387874032264185523601162258363509836214002775\
+ 163298410949872303E+18; */
+static EMUSHORT _ei_m_ln_tiny_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0xffffffff, 0x40000000, 0x0000003c, 0x00000000, 0xb17217f7, 0xd1cf79a6, 0x3e52f3d9, 0x75772950, 0xf1d5a666, 0x530100b3, 0x8272fe27, 0xf6e548bf, 0x974fbb44, 0x1093db39, 0x17d1a1f7, 0xdb9cb64e, 0x4084165b, 0x696748be, 0x00000000
+};
+
+
+/* m_athfhi_512 = 4.6364760900080611621425623146121440202853705428612026381093308872019\
+ 7864165741705300600283984887892556529852251190837513505818181625011E-1; */
+static EMUSHORT _ei_m_athfhi_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffffd, 0x00000000, 0xed63382b, 0x0dda7b45, 0x6fe445ec, 0xbc3a8d03, 0x6e141587, 0x261cdf00, 0xe2cf16e6, 0xe9624709, 0xfa9c5917, 0x892b516c, 0x87c812f8, 0xc6a46182, 0xcee1e80e, 0xfd3c0013, 0x00000000
+};
+
+/* m_athflo_512 = 5.7732134097717553671626756201813048642748492687957454632\
+ 0692025606086762430566282200663131940721480831187722270\
+ 431867807189930279017538E-136; */
+static EMUSHORT _ei_m_athflo_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffe3d, 0x00000000, 0xd6d85e36, 0x86228dbd, 0x79134753, 0x41b29b65, 0x6ebfea02, 0x086ccb07, 0x5336dd09, 0x07697538, 0xdfd26c5b, 0xe1547791, 0xc1689ec3, 0x4bd7be5b, 0xefaeb8b1, 0xbfee054d, 0x00000000
+};
+
+
+/* m_at1fhi_512 = 9.8279372324732906798571061101466601449687745363162855676142508831798\
+ 8071549796035389706534372817311108165139702011936766229941039181885E-1; */
+static EMUSHORT _ei_m_at1fhi_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffffe, 0x00000000, 0xfb985e94, 0x0fb4d900, 0x7887af0c, 0xbbc9e141, 0xa9936652, 0x560dce43, 0x351d86e9, 0x42088fd2, 0x8aabe367, 0x179728b8, 0xf346de40, 0xfadbba91, 0x4d36a7a3, 0x27ccc8e5, 0x00000000
+};
+
+/* m_at1flo_512 = 8.079563686288253319365988763076603643610724151304741144369\
+ 493828291123351216394561716518648326500121733182790815620\
+ 95926418958270171949E-137; */
+static EMUSHORT _ei_m_at1flo_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffe3a, 0x00000000, 0xf08a0ae3, 0xfa1afbf5, 0x09352f16, 0x43b8d558, 0x18d8878c, 0xecf57dc9, 0x261b634c, 0x31b9d4f5, 0xbe952d0b, 0xb00d8ce0, 0x96ce12b4, 0xd78de716, 0xcd5f369b, 0x8dfaaa18, 0x00000000
+};
+
+
+/* m_39_16__512 = 2.4375E+0; */
+static EMUSHORT _ei_m_39_16__512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x40000000, 0x00000000, 0x00000000, 0x9c000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000
+};
+
+/* m_1_16__512 = 6.25000E-2; */
+static EMUSHORT _ei_m_1_16__512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x3fffffff, 0xfffffffb, 0x00000000, 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000
+};
+
+
+/* m_thovfl_512 = 1.5526496844542774930945999520663155124891203009669717692303232\
+ 2126520171321211616295713385247197786009408331748607833604345\
+ 556532809821E+2; */
+static EMUSHORT _ei_m_thovfl_512_[NPIR_512] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================== ==========*/
+ 0x00000000, 0x40000000, 0x00000006, 0x00000000, 0x9b43d4f8, 0xd7958a76, 0x50a73d25, 0x037497d9, 0x58d4dac1, 0xa4459f67, 0xd8cb7470, 0x1a359ae6, 0x6ac1675c, 0x602e3705, 0x4ae2a89b, 0xe19ad7ae, 0xcf88d86f, 0x09111d1c, 0x00000000
+};
+
+#else /* BITS_PER_EMUSHORT != 32 */
+#error ei_service_004_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_SERVICE_004_32MSB */