|
dvander@47
|
1 |
/* vim: set ts=4 sw=4 tw=99 et: |
|
dvander@47
|
2 |
* |
|
dvander@0
|
3 |
* Copyright (C) 2012 David Anderson |
|
dvander@0
|
4 |
* |
|
dvander@0
|
5 |
* This file is part of JITCraft. |
|
dvander@0
|
6 |
* |
|
dvander@0
|
7 |
* JITCraft is free software: you can redistribute it and/or modify it under |
|
dvander@0
|
8 |
* the terms of the GNU General Public License as published by the Free |
|
dvander@0
|
9 |
* Software Foundation, either version 3 of the License, or (at your option) |
|
dvander@0
|
10 |
* any later version. |
|
dvander@0
|
11 |
* |
|
dvander@0
|
12 |
* Foobar is distributed in the hope that it will be useful, but WITHOUT ANY |
|
dvander@0
|
13 |
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS |
|
dvander@0
|
14 |
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. |
|
dvander@0
|
15 |
* |
|
dvander@0
|
16 |
* You should have received a copy of the GNU General Public License along with |
|
dvander@0
|
17 |
* JITCraft. If not, see http://www.gnu.org/licenses/. |
|
dvander@0
|
18 |
*/ |
|
dvander@0
|
19 |
#include <stdlib.h> |
|
dvander@177
|
20 |
#include <string.h> |
|
dvander@0
|
21 |
#include "BytecodeEmitter.h" |
|
dvander@0
|
22 |
#include "Utility.h" |
|
dvander@0
|
23 |
#include "Types.h" |
|
dvander@69
|
24 |
#include "Zone.h" |
|
danderson@92
|
25 |
#include "Spaces-inl.h" |
|
danderson@92
|
26 |
#include "Heap-inl.h" |
|
dvander@0
|
27 |
|
|
dvander@59
|
28 |
using namespace ke; |
|
dvander@0
|
29 |
|
|
dvander@47
|
30 |
BytecodeEmitter::BytecodeEmitter(PoolAllocator &pool) |
|
dvander@47
|
31 |
: pool_(pool), |
|
dvander@47
|
32 |
buffer_(inline_buffer_), |
|
dvander@0
|
33 |
buffer_pos_(buffer_), |
|
dvander@0
|
34 |
buffer_end_(buffer_pos_ + ARRAY_LENGTH(inline_buffer_)), |
|
dvander@0
|
35 |
oom_(false), |
|
dvander@47
|
36 |
maxStackDepth_(0) |
|
dvander@0
|
37 |
{ |
|
dvander@70
|
38 |
lastCodePosition_ = 0; |
|
dvander@70
|
39 |
firstLine_ = 1; |
|
dvander@0
|
40 |
} |
|
dvander@0
|
41 |
|
|
dvander@0
|
42 |
bool |
|
dvander@0
|
43 |
BytecodeEmitter::growBuffer(size_t nbytes) |
|
dvander@0
|
44 |
{ |
|
dvander@0
|
45 |
if (oom_) { |
|
dvander@0
|
46 |
buffer_pos_ = buffer_; |
|
dvander@0
|
47 |
return false; |
|
dvander@0
|
48 |
} |
|
dvander@0
|
49 |
|
|
dvander@0
|
50 |
size_t newSize = size_t((buffer_end_ - buffer_) * 2); |
|
dvander@0
|
51 |
if (newSize >= MAX_LENGTH) { |
|
dvander@0
|
52 |
oom_ = true; |
|
dvander@0
|
53 |
buffer_pos_ = buffer_; |
|
dvander@69
|
54 |
ZONE()->reportOutOfMemory(); |
|
dvander@0
|
55 |
return false; |
|
dvander@0
|
56 |
} |
|
dvander@0
|
57 |
|
|
dvander@0
|
58 |
bytecode *newBuffer; |
|
dvander@0
|
59 |
if (buffer_ == inline_buffer_) |
|
dvander@177
|
60 |
newBuffer = (bytecode *)malloc(newSize); |
|
dvander@0
|
61 |
else |
|
dvander@0
|
62 |
newBuffer = (bytecode *)realloc(buffer_, newSize); |
|
dvander@0
|
63 |
|
|
dvander@0
|
64 |
// If we can't allocate a buffer, reset the buffer to the start and set |
|
dvander@0
|
65 |
// a flag to indicate out-of-memory. |
|
dvander@0
|
66 |
if (!newBuffer) { |
|
dvander@0
|
67 |
oom_ = true; |
|
dvander@0
|
68 |
buffer_pos_ = buffer_; |
|
dvander@69
|
69 |
ZONE()->reportOutOfMemory(); |
|
dvander@0
|
70 |
return false; |
|
dvander@0
|
71 |
} |
|
dvander@0
|
72 |
|
|
dvander@177
|
73 |
if (buffer_ == inline_buffer_) |
|
dvander@177
|
74 |
memcpy(newBuffer, inline_buffer_, (buffer_pos_ - inline_buffer_)); |
|
dvander@177
|
75 |
|
|
dvander@0
|
76 |
buffer_pos_ = newBuffer + size_t(buffer_pos_ - buffer_); |
|
dvander@0
|
77 |
buffer_ = newBuffer; |
|
dvander@0
|
78 |
buffer_end_ = buffer_ + newSize; |
|
dvander@177
|
79 |
assert(buffer_pos_ + nbytes < buffer_end_); |
|
dvander@177
|
80 |
|
|
dvander@0
|
81 |
return true; |
|
dvander@0
|
82 |
} |
|
dvander@0
|
83 |
|
|
dvander@47
|
84 |
void |
|
dvander@47
|
85 |
BytecodeEmitter::recordOops() |
|
dvander@47
|
86 |
{ |
|
dvander@58
|
87 |
OopRecord *record = new (pool_) OopRecord(oopMap_.length(), position()); |
|
dvander@47
|
88 |
|
|
dvander@47
|
89 |
record->slots = (bool *)pool_.allocate(record->depth); |
|
dvander@47
|
90 |
if (!record->slots) { |
|
dvander@47
|
91 |
oom_ = true; |
|
dvander@47
|
92 |
return; |
|
dvander@47
|
93 |
} |
|
dvander@47
|
94 |
|
|
dvander@47
|
95 |
bool hadOops = false; |
|
dvander@58
|
96 |
for (size_t i = 0; i < oopMap_.length(); i++) { |
|
dvander@47
|
97 |
bool bit = oopMap_[i]; |
|
dvander@47
|
98 |
record->slots[i] = bit; |
|
dvander@47
|
99 |
hadOops |= bit; |
|
dvander@47
|
100 |
} |
|
dvander@47
|
101 |
|
|
dvander@47
|
102 |
if (!hadOops) |
|
dvander@47
|
103 |
return; |
|
dvander@47
|
104 |
|
|
dvander@58
|
105 |
oom_ &= oopRecords_.append(record); |
|
dvander@47
|
106 |
} |
|
dvander@47
|
107 |
|
|
dvander@70
|
108 |
void |
|
dvander@70
|
109 |
BytecodeEmitter::note_position(const SourcePosition &pos) |
|
dvander@70
|
110 |
{ |
|
dvander@70
|
111 |
assert(pos.line > 0); |
|
dvander@70
|
112 |
assert(unsigned(pos.line) >= firstLine_); |
|
dvander@70
|
113 |
|
|
dvander@70
|
114 |
unsigned lineDelta = unsigned(pos.line) - firstLine_; |
|
dvander@70
|
115 |
unsigned pcDelta = unsigned(position()) - lastCodePosition_; |
|
dvander@70
|
116 |
|
|
dvander@70
|
117 |
sourcemap_.writeUint32(pcDelta); |
|
dvander@70
|
118 |
sourcemap_.writeUint32(lineDelta); |
|
dvander@70
|
119 |
sourcemap_.writeUint32(pos.col); |
|
dvander@70
|
120 |
|
|
dvander@70
|
121 |
lastCodePosition_ = unsigned(position()); |
|
dvander@70
|
122 |
} |