diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-01-03 10:49:55 -0800 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-01-03 10:49:55 -0800 |
| commit | 91c8d8e71c7780eb17f5f73bdde89eece42e7e98 (patch) | |
| tree | 4f814850702894ca8a54fa2e7a7c6027ee3302b4 /unix/mpconfigport.h | |
| parent | 9b87b39ab47f381521377d3a9456a0a1651f4cae (diff) | |
| parent | b372bfca21ccab593359ef25a0a0c6bf697c8586 (diff) | |
Merge pull request #41 from pfalcon/more-mem-stats
Collect more memory statistics
Diffstat (limited to 'unix/mpconfigport.h')
| -rw-r--r-- | unix/mpconfigport.h | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h new file mode 100644 index 000000000..3d0dc8a56 --- /dev/null +++ b/unix/mpconfigport.h @@ -0,0 +1,31 @@ +// options to control how Micro Python is built + +#define MICROPY_ENABLE_FLOAT (1) +#define MICROPY_EMIT_CPYTHON (0) +#define MICROPY_EMIT_X64 (1) +#define MICROPY_EMIT_THUMB (0) +#define MICROPY_EMIT_INLINE_THUMB (0) + +// type definitions for the specific machine + +#ifdef __LP64__ +typedef long machine_int_t; // must be pointer size +typedef unsigned long machine_uint_t; // must be pointer size +#define UINT_FMT "%lu" +#define INT_FMT "%ld" +#else +// These are definitions for machines where sizeof(int) == sizeof(void*), +// regardless for actual size. +typedef int machine_int_t; // must be pointer size +typedef unsigned int machine_uint_t; // must be pointer size +#define UINT_FMT "%u" +#define INT_FMT "%d" +#endif + +#define BYTES_PER_WORD sizeof(machine_int_t) + +typedef void *machine_ptr_t; // must be of pointer size +typedef const void *machine_const_ptr_t; // must be of pointer size +typedef double machine_float_t; + +machine_float_t machine_sqrt(machine_float_t x); |
