| Damien | c025ebb | 2013-10-12 14:30:21 +0100 | [diff] [blame] | 1 | // options to control how Micro Python is built |
| 2 | |
| Damien | 3ef4abb | 2013-10-12 16:53:13 +0100 | [diff] [blame] | 3 | #define MICROPY_ENABLE_FLOAT (1) |
| Damien | fa2162b | 2013-10-20 17:42:00 +0100 | [diff] [blame] | 4 | #define MICROPY_EMIT_CPYTHON (0) |
| Damien | d2755ec | 2013-10-16 23:58:48 +0100 | [diff] [blame] | 5 | #define MICROPY_EMIT_X64 (1) |
| Damien | 3ef4abb | 2013-10-12 16:53:13 +0100 | [diff] [blame] | 6 | #define MICROPY_EMIT_THUMB (0) |
| 7 | #define MICROPY_EMIT_INLINE_THUMB (0) |
| Damien | c025ebb | 2013-10-12 14:30:21 +0100 | [diff] [blame] | 8 | |
| 9 | // type definitions for the specific machine |
| 10 | |
| Damien | d276f63 | 2013-10-22 16:05:47 +0100 | [diff] [blame] | 11 | #define BYTES_PER_WORD (8) |
| 12 | |
| Damien | c025ebb | 2013-10-12 14:30:21 +0100 | [diff] [blame] | 13 | typedef int64_t machine_int_t; // must be pointer size |
| 14 | typedef uint64_t machine_uint_t; // must be pointer size |
| 15 | typedef void *machine_ptr_t; // must be of pointer size |
| Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 16 | typedef const void *machine_const_ptr_t; // must be of pointer size |
| Damien | c025ebb | 2013-10-12 14:30:21 +0100 | [diff] [blame] | 17 | typedef double machine_float_t; |
| Damien | 087d218 | 2013-11-09 20:14:30 +0000 | [diff] [blame] | 18 | |
| 19 | machine_float_t machine_sqrt(machine_float_t x); |