commit b8cfb0d7b2c91ea1e17f6caeabfc9cb23166cdc1
author Damien George <damien.p.george@gmail.com> Fri Nov 27 17:09:11 2015 +0000
committer Damien George <damien.p.george@gmail.com> Sun Nov 29 14:25:36 2015 +0000
tree d8fc58ac063c837b22b15f7a3967a09f06013054
parent 999cedb90ff0827cdb9dfe0e4faa6ebc1739d271

py: Add support for 64-bit NaN-boxing object model, on 32-bit machine.

To use, put the following in mpconfigport.h:

    #define MICROPY_OBJ_REPR (MICROPY_OBJ_REPR_D)
    #define MICROPY_FLOAT_IMPL (MICROPY_FLOAT_IMPL_DOUBLE)
    typedef int64_t mp_int_t;
    typedef uint64_t mp_uint_t;
    #define UINT_FMT "%llu"
    #define INT_FMT "%lld"

Currently does not work with native emitter enabled.

py/objfloat.c

diff --git a/py/objfloat.c b/py/objfloat.c
index c9e3ddd..051c0f6 100644
--- a/py/objfloat.c
+++ b/py/objfloat.c
@@ -39,7 +39,7 @@
 #include <math.h>
 #include "py/formatfloat.h"
 
-#if MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_C
+#if MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_C && MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_D
 
 typedef struct _mp_obj_float_t {
     mp_obj_base_t base;
@@ -125,7 +125,7 @@
     .binary_op = float_binary_op,
 };
 
-#if MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_C
+#if MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_C && MICROPY_OBJ_REPR != MICROPY_OBJ_REPR_D
 
 mp_obj_t mp_obj_new_float(mp_float_t value) {
     mp_obj_float_t *o = m_new(mp_obj_float_t, 1);