Branch data Line data Source code
1 : : /* 2 : : * This file is part of the MicroPython project, http://micropython.org/ 3 : : * 4 : : * The MIT License (MIT) 5 : : * 6 : : * Copyright (c) 2016 Damien P. George 7 : : * 8 : : * Permission is hereby granted, free of charge, to any person obtaining a copy 9 : : * of this software and associated documentation files (the "Software"), to deal 10 : : * in the Software without restriction, including without limitation the rights 11 : : * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 12 : : * copies of the Software, and to permit persons to whom the Software is 13 : : * furnished to do so, subject to the following conditions: 14 : : * 15 : : * The above copyright notice and this permission notice shall be included in 16 : : * all copies or substantial portions of the Software. 17 : : * 18 : : * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 19 : : * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 20 : : * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 21 : : * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 22 : : * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 23 : : * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 24 : : * THE SOFTWARE. 25 : : */ 26 : : 27 : : #include <assert.h> 28 : : #include <string.h> 29 : : 30 : : #include "py/obj.h" 31 : : #include "py/misc.h" 32 : : #include "py/asmbase.h" 33 : : 34 : : #if MICROPY_EMIT_MACHINE_CODE 35 : : 36 : 1403 : void mp_asm_base_init(mp_asm_base_t *as, size_t max_num_labels) { 37 : 1403 : as->max_num_labels = max_num_labels; 38 : 1403 : as->label_offsets = m_new(size_t, max_num_labels); 39 : 1403 : } 40 : : 41 : 1387 : void mp_asm_base_deinit(mp_asm_base_t *as, bool free_code) { 42 [ - + ]: 1387 : if (free_code) { 43 : 0 : MP_PLAT_FREE_EXEC(as->code_base, as->code_size); 44 : : } 45 : 1387 : m_del(size_t, as->label_offsets, as->max_num_labels); 46 : 1387 : } 47 : : 48 : 12021 : void mp_asm_base_start_pass(mp_asm_base_t *as, int pass) { 49 [ + + ]: 12021 : if (pass < MP_ASM_PASS_EMIT) { 50 : : // Reset labels so we can detect backwards jumps (and verify unique assignment) 51 : 8046 : memset(as->label_offsets, -1, as->max_num_labels * sizeof(size_t)); 52 : : } else { 53 : : // allocating executable RAM is platform specific 54 : 3975 : MP_PLAT_ALLOC_EXEC(as->code_offset, (void **)&as->code_base, &as->code_size); 55 [ - + ]: 3975 : assert(as->code_base != NULL); 56 : : } 57 : 12021 : as->pass = pass; 58 : 12021 : as->suppress = false; 59 : 12021 : as->code_offset = 0; 60 : 12021 : } 61 : : 62 : : // all functions must go through this one to emit bytes 63 : : // if as->pass < MP_ASM_PASS_EMIT, then this function just counts the number 64 : : // of bytes needed and returns NULL, and callers should not store any data 65 : : // It also returns NULL if generated code should be suppressed at this point. 66 : 4694723 : uint8_t *mp_asm_base_get_cur_to_write_bytes(void *as_in, size_t num_bytes_to_write) { 67 : 4694723 : mp_asm_base_t *as = as_in; 68 : 4694723 : uint8_t *c = NULL; 69 [ + + ]: 4694723 : if (as->suppress) { 70 : : return c; 71 : : } 72 [ + + ]: 4657067 : if (as->pass == MP_ASM_PASS_EMIT) { 73 [ - + ]: 1529352 : assert(as->code_offset + num_bytes_to_write <= as->code_size); 74 : 1529352 : c = as->code_base + as->code_offset; 75 : : } 76 : 4657067 : as->code_offset += num_bytes_to_write; 77 : 4657067 : return c; 78 : : } 79 : : 80 : 67936 : void mp_asm_base_label_assign(mp_asm_base_t *as, size_t label) { 81 [ - + ]: 67936 : assert(label < as->max_num_labels); 82 : : 83 : : // Assigning a label ends any dead-code region, and all following machine 84 : : // code should be emitted (until another mp_asm_base_suppress_code() call). 85 : 67936 : as->suppress = false; 86 : : 87 [ + + ]: 67936 : if (as->pass < MP_ASM_PASS_EMIT) { 88 : : // assign label offset 89 [ - + ]: 45396 : assert(as->label_offsets[label] == (size_t)-1); 90 : 45396 : as->label_offsets[label] = as->code_offset; 91 : : } else { 92 : : // ensure label offset has not changed from PASS_COMPUTE to PASS_EMIT 93 [ - + ]: 22540 : assert(as->label_offsets[label] == as->code_offset); 94 : : } 95 : 67936 : } 96 : : 97 : : // align must be a multiple of 2 98 : 0 : void mp_asm_base_align(mp_asm_base_t *as, unsigned int align) { 99 : 0 : as->code_offset = (as->code_offset + align - 1) & (~(align - 1)); 100 : 0 : } 101 : : 102 : : // this function assumes a little endian machine 103 : 89163 : void mp_asm_base_data(mp_asm_base_t *as, unsigned int bytesize, uintptr_t val) { 104 : 89163 : uint8_t *c = mp_asm_base_get_cur_to_write_bytes(as, bytesize); 105 [ + + ]: 89163 : if (c != NULL) { 106 [ + + ]: 20830 : for (unsigned int i = 0; i < bytesize; i++) { 107 : 12067 : *c++ = val; 108 : 12067 : val >>= 8; 109 : : } 110 : : } 111 : 89163 : } 112 : : 113 : : #endif // MICROPY_EMIT_MACHINE_CODE