Alexandre Rames | b78f139 | 2016-07-01 14:22:22 +0100 | [diff] [blame] | 1 | // Copyright 2014, VIXL authors |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 2 | // All rights reserved. |
| 3 | // |
| 4 | // Redistribution and use in source and binary forms, with or without |
| 5 | // modification, are permitted provided that the following conditions are met: |
| 6 | // |
| 7 | // * Redistributions of source code must retain the above copyright notice, |
| 8 | // this list of conditions and the following disclaimer. |
| 9 | // * Redistributions in binary form must reproduce the above copyright notice, |
| 10 | // this list of conditions and the following disclaimer in the documentation |
| 11 | // and/or other materials provided with the distribution. |
| 12 | // * Neither the name of ARM Limited nor the names of its contributors may be |
| 13 | // used to endorse or promote products derived from this software without |
| 14 | // specific prior written permission. |
| 15 | // |
| 16 | // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND |
| 17 | // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| 18 | // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| 19 | // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE |
| 20 | // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
| 21 | // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR |
| 22 | // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER |
| 23 | // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, |
| 24 | // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 25 | // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 26 | |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 27 | extern "C" { |
| 28 | #include <sys/mman.h> |
| 29 | } |
| 30 | |
Alexandre Rames | 1f9074d | 2016-05-23 15:50:01 +0100 | [diff] [blame] | 31 | #include "code-buffer-vixl.h" |
| 32 | #include "utils-vixl.h" |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 33 | |
| 34 | namespace vixl { |
| 35 | |
| 36 | |
Alexandre Rames | 7cd99a8 | 2016-08-03 13:32:02 +0100 | [diff] [blame] | 37 | CodeBuffer::CodeBuffer(size_t capacity) |
| 38 | : buffer_(NULL), |
| 39 | managed_(true), |
| 40 | cursor_(NULL), |
| 41 | dirty_(false), |
| 42 | capacity_(capacity) { |
| 43 | if (capacity_ == 0) { |
| 44 | return; |
| 45 | } |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 46 | #ifdef __APPLE__ |
| 47 | buffer_ = reinterpret_cast<byte*>(malloc(capacity_)); |
| 48 | #else |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 49 | buffer_ = reinterpret_cast<byte*>(mmap(NULL, |
| 50 | capacity, |
| 51 | PROT_READ | PROT_WRITE, |
| 52 | MAP_PRIVATE | MAP_ANONYMOUS, |
| 53 | -1, |
| 54 | 0)); |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 55 | #endif |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 56 | VIXL_CHECK(buffer_ != NULL); |
Alexandre Rames | d383296 | 2016-07-04 15:03:43 +0100 | [diff] [blame] | 57 | // Aarch64 instructions must be word aligned, we assert the default allocator |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 58 | // always returns word align memory. |
| 59 | VIXL_ASSERT(IsWordAligned(buffer_)); |
| 60 | |
| 61 | cursor_ = buffer_; |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 62 | } |
| 63 | |
| 64 | |
Alexandre Rames | 919e3fe | 2016-10-14 09:07:54 +0100 | [diff] [blame] | 65 | CodeBuffer::CodeBuffer(byte* buffer, size_t capacity) |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 66 | : buffer_(reinterpret_cast<byte*>(buffer)), |
| 67 | managed_(false), |
| 68 | cursor_(reinterpret_cast<byte*>(buffer)), |
| 69 | dirty_(false), |
| 70 | capacity_(capacity) { |
| 71 | VIXL_ASSERT(buffer_ != NULL); |
| 72 | } |
| 73 | |
| 74 | |
| 75 | CodeBuffer::~CodeBuffer() { |
| 76 | VIXL_ASSERT(!IsDirty()); |
| 77 | if (managed_) { |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 78 | #ifdef __APPLE__ |
| 79 | free(buffer_); |
| 80 | #else |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 81 | munmap(buffer_, capacity_); |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 82 | #endif |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 83 | } |
| 84 | } |
| 85 | |
| 86 | |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 87 | void CodeBuffer::SetExecutable() { |
| 88 | int ret = mprotect(buffer_, capacity_, PROT_READ | PROT_EXEC); |
| 89 | VIXL_CHECK(ret == 0); |
| 90 | } |
| 91 | |
| 92 | |
| 93 | void CodeBuffer::SetWritable() { |
| 94 | int ret = mprotect(buffer_, capacity_, PROT_READ | PROT_WRITE); |
| 95 | VIXL_CHECK(ret == 0); |
| 96 | } |
| 97 | |
| 98 | |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 99 | void CodeBuffer::EmitString(const char* string) { |
Pierre Langlois | 88c46b8 | 2016-06-02 18:15:32 +0100 | [diff] [blame] | 100 | VIXL_ASSERT(HasSpaceFor(strlen(string) + 1)); |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 101 | char* dst = reinterpret_cast<char*>(cursor_); |
| 102 | dirty_ = true; |
| 103 | char* null_char = stpcpy(dst, string); |
| 104 | cursor_ = reinterpret_cast<byte*>(null_char) + 1; |
| 105 | } |
| 106 | |
| 107 | |
Pierre Langlois | 88c46b8 | 2016-06-02 18:15:32 +0100 | [diff] [blame] | 108 | void CodeBuffer::EmitData(const void* data, size_t size) { |
| 109 | VIXL_ASSERT(HasSpaceFor(size)); |
| 110 | dirty_ = true; |
| 111 | memcpy(cursor_, data, size); |
| 112 | cursor_ = cursor_ + size; |
| 113 | } |
| 114 | |
| 115 | |
Vincent Belliard | 3e1b899 | 2016-07-13 16:02:19 -0700 | [diff] [blame] | 116 | void CodeBuffer::UpdateData(size_t offset, const void* data, size_t size) { |
| 117 | dirty_ = true; |
| 118 | byte* dst = buffer_ + offset; |
| 119 | VIXL_ASSERT(dst + size <= cursor_); |
| 120 | memcpy(dst, data, size); |
| 121 | } |
| 122 | |
| 123 | |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 124 | void CodeBuffer::Align() { |
| 125 | byte* end = AlignUp(cursor_, 4); |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 126 | const size_t padding_size = end - cursor_; |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 127 | VIXL_ASSERT(padding_size <= 4); |
Alexandre Rames | 47ed265 | 2016-11-09 14:44:06 +0000 | [diff] [blame] | 128 | EnsureSpaceFor(padding_size); |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 129 | dirty_ = true; |
Alexandre Rames | 47ed265 | 2016-11-09 14:44:06 +0000 | [diff] [blame] | 130 | memset(cursor_, 0, padding_size); |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 131 | cursor_ = end; |
| 132 | } |
| 133 | |
| 134 | |
| 135 | void CodeBuffer::Reset() { |
armvixl | 330dc71 | 2014-11-25 10:38:32 +0000 | [diff] [blame] | 136 | #ifdef VIXL_DEBUG |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 137 | if (managed_) { |
Pierre Langlois | 88c46b8 | 2016-06-02 18:15:32 +0100 | [diff] [blame] | 138 | // Fill with zeros (there is no useful value common to A32 and T32). |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 139 | memset(buffer_, 0, capacity_); |
| 140 | } |
| 141 | #endif |
| 142 | cursor_ = buffer_; |
| 143 | SetClean(); |
| 144 | } |
| 145 | |
| 146 | |
| 147 | void CodeBuffer::Grow(size_t new_capacity) { |
| 148 | VIXL_ASSERT(managed_); |
| 149 | VIXL_ASSERT(new_capacity > capacity_); |
Pierre Langlois | f5348ce | 2016-09-22 11:15:35 +0100 | [diff] [blame] | 150 | ptrdiff_t cursor_offset = GetCursorOffset(); |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 151 | #ifdef __APPLE__ |
| 152 | buffer_ = static_cast<byte*>(realloc(buffer_, new_capacity)); |
| 153 | VIXL_CHECK(buffer_ != NULL); |
| 154 | #else |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 155 | buffer_ = static_cast<byte*>( |
| 156 | mremap(buffer_, capacity_, new_capacity, MREMAP_MAYMOVE)); |
Alexandre Rames | 0287a6c | 2016-11-16 10:37:05 +0000 | [diff] [blame^] | 157 | #endif |
Alex Gilday | 31dd2ae | 2016-07-05 16:34:41 +0100 | [diff] [blame] | 158 | VIXL_CHECK(buffer_ != MAP_FAILED); |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 159 | |
Pierre Langlois | f5348ce | 2016-09-22 11:15:35 +0100 | [diff] [blame] | 160 | cursor_ = buffer_ + cursor_offset; |
armvixl | c68cb64 | 2014-09-25 18:49:30 +0100 | [diff] [blame] | 161 | capacity_ = new_capacity; |
| 162 | } |
| 163 | |
| 164 | |
| 165 | } // namespace vixl |