Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 #ifndef VM_ASSEMBLER_ARM64_H_ | |
| 6 #define VM_ASSEMBLER_ARM64_H_ | |
| 7 | |
| 8 #ifndef VM_ASSEMBLER_H_ | |
| 9 #error Do not include assembler_arm64.h directly; use assembler.h instead. | |
| 10 #endif | |
| 11 | |
| 12 #include "platform/assert.h" | |
| 13 #include "platform/utils.h" | |
| 14 #include "vm/constants_arm64.h" | |
| 15 #include "vm/object.h" | |
| 16 #include "vm/simulator.h" | |
| 17 | |
| 18 namespace dart { | |
| 19 | |
| 20 // Forward declarations. | |
| 21 class RuntimeEntry; | |
| 22 | |
| 23 // TODO(zra): Label, Address, and FieldAddress are copied from ARM, | |
| 24 // they must be adapted to ARM64. | |
| 25 class Label : public ValueObject { | |
| 26 public: | |
| 27 Label() : position_(0) { } | |
| 28 | |
| 29 ~Label() { | |
| 30 // Assert if label is being destroyed with unresolved branches pending. | |
| 31 ASSERT(!IsLinked()); | |
| 32 } | |
| 33 | |
| 34 // Returns the position for bound and linked labels. Cannot be used | |
| 35 // for unused labels. | |
| 36 intptr_t Position() const { | |
| 37 ASSERT(!IsUnused()); | |
| 38 return IsBound() ? -position_ - kWordSize : position_ - kWordSize; | |
| 39 } | |
| 40 | |
| 41 bool IsBound() const { return position_ < 0; } | |
| 42 bool IsUnused() const { return position_ == 0; } | |
| 43 bool IsLinked() const { return position_ > 0; } | |
| 44 | |
| 45 private: | |
| 46 intptr_t position_; | |
| 47 | |
| 48 void Reinitialize() { | |
| 49 position_ = 0; | |
| 50 } | |
| 51 | |
| 52 void BindTo(intptr_t position) { | |
| 53 ASSERT(!IsBound()); | |
| 54 position_ = -position - kWordSize; | |
| 55 ASSERT(IsBound()); | |
| 56 } | |
| 57 | |
| 58 void LinkTo(intptr_t position) { | |
| 59 ASSERT(!IsBound()); | |
| 60 position_ = position + kWordSize; | |
| 61 ASSERT(IsLinked()); | |
| 62 } | |
| 63 | |
| 64 friend class Assembler; | |
| 65 DISALLOW_COPY_AND_ASSIGN(Label); | |
| 66 }; | |
| 67 | |
| 68 | |
| 69 class Address : public ValueObject { | |
| 70 public: | |
| 71 Address(const Address& other) | |
| 72 : ValueObject(), encoding_(other.encoding_) { | |
| 73 } | |
| 74 | |
| 75 Address& operator=(const Address& other) { | |
| 76 encoding_ = other.encoding_; | |
| 77 return *this; | |
| 78 } | |
| 79 | |
| 80 Address(Register rn, int32_t offset = 0) { | |
| 81 ASSERT(Utils::IsAbsoluteUint(12, offset)); | |
| 82 encoding_ = -1; | |
| 83 } | |
| 84 | |
| 85 private: | |
| 86 uint32_t encoding() const { return encoding_; } | |
| 87 | |
| 88 uint32_t encoding_; | |
| 89 | |
| 90 friend class Assembler; | |
| 91 }; | |
| 92 | |
| 93 | |
| 94 class FieldAddress : public Address { | |
| 95 public: | |
| 96 FieldAddress(Register base, int32_t disp) | |
| 97 : Address(base, disp - kHeapObjectTag) { } | |
| 98 | |
| 99 FieldAddress(const FieldAddress& other) : Address(other) { } | |
| 100 | |
| 101 FieldAddress& operator=(const FieldAddress& other) { | |
| 102 Address::operator=(other); | |
| 103 return *this; | |
| 104 } | |
| 105 }; | |
| 106 | |
| 107 | |
| 108 // Shift or Extend operand for ADD and SUB. | |
| 109 class AddSubOperand : public ValueObject { | |
|
regis
2014/04/01 22:25:15
Is AddSubOperand a good name?
There are more instr
zra
2014/04/02 00:04:25
I had anticipated the bitfield immediate operand t
| |
| 110 public: | |
| 111 // Data-processing operand - Uninitialized. | |
| 112 AddSubOperand() : encoding_(-1) { } | |
| 113 | |
| 114 // Data-processing operands - Copy constructor. | |
| 115 AddSubOperand(const AddSubOperand& other) | |
| 116 : ValueObject(), encoding_(other.encoding_), type_(other.type_) { } | |
| 117 | |
| 118 explicit AddSubOperand(Register rm) { | |
| 119 encoding_ = (static_cast<int32_t>(rm) << kRmShift); | |
| 120 } | |
| 121 | |
| 122 AddSubOperand(Register rm, Shift shift, int32_t imm) { | |
| 123 ASSERT(Utils::IsUint(6, imm)); | |
| 124 encoding_ = | |
| 125 (imm << kImm6Shift) | | |
| 126 (static_cast<int32_t>(rm) << kRmShift) | | |
| 127 (static_cast<int32_t>(shift) << kShiftTypeShift); | |
| 128 type_ = ASShifted; | |
| 129 } | |
| 130 | |
| 131 AddSubOperand(Register rm, Extend extend, int32_t imm) { | |
| 132 ASSERT(Utils::IsUint(3, imm)); | |
| 133 encoding_ = | |
| 134 B21 | | |
| 135 (static_cast<int32_t>(rm) << kRmShift) | | |
| 136 (static_cast<int32_t>(extend) << kExtendTypeShift) | | |
| 137 ((imm & 0x7) << kImm3Shift); | |
| 138 type_ = ASExtended; | |
| 139 } | |
| 140 | |
| 141 explicit AddSubOperand(int32_t imm) { | |
| 142 if (Utils::IsUint(12, imm)) { | |
| 143 encoding_ = imm << kImm12Shift; | |
| 144 } else { | |
| 145 // imm only has bits in [12, 24) set. | |
| 146 ASSERT(((imm & 0xfff) == 0) && (Utils::IsUint(12, imm >> 12))); | |
| 147 encoding_ = B22 | ((imm >> 12) << kImm12Shift); | |
| 148 } | |
| 149 type_ = ASImmediate; | |
| 150 } | |
| 151 | |
| 152 enum ASOpType { | |
|
regis
2014/04/01 22:25:15
Does this mean AddSubOperandType?
How about Opera
zra
2014/04/02 00:04:25
Done.
| |
| 153 ASShifted, | |
| 154 ASExtended, | |
| 155 ASImmediate, | |
| 156 }; | |
| 157 | |
| 158 private: | |
| 159 uint32_t encoding() const { | |
| 160 return encoding_; | |
| 161 } | |
| 162 ASOpType type() const { | |
| 163 return type_; | |
| 164 } | |
| 165 | |
| 166 uint32_t encoding_; | |
| 167 ASOpType type_; | |
| 168 | |
| 169 friend class Assembler; | |
| 170 }; | |
| 171 | |
| 172 | |
| 173 class Assembler : public ValueObject { | |
| 174 public: | |
| 175 explicit Assembler(bool use_far_branches = false) | |
| 176 : buffer_(), | |
| 177 object_pool_(GrowableObjectArray::Handle()), | |
| 178 prologue_offset_(-1), | |
| 179 use_far_branches_(use_far_branches), | |
| 180 comments_() { } | |
| 181 ~Assembler() { } | |
| 182 | |
| 183 void PopRegister(Register r) { | |
| 184 UNIMPLEMENTED(); | |
| 185 } | |
| 186 | |
| 187 void Drop(intptr_t stack_elements) { | |
| 188 UNIMPLEMENTED(); | |
| 189 } | |
| 190 | |
| 191 void Bind(Label* label) { | |
| 192 UNIMPLEMENTED(); | |
| 193 } | |
| 194 | |
| 195 // Misc. functionality | |
| 196 intptr_t CodeSize() const { return buffer_.Size(); } | |
| 197 intptr_t prologue_offset() const { return prologue_offset_; } | |
| 198 | |
| 199 // Count the fixups that produce a pointer offset, without processing | |
| 200 // the fixups. On ARM64 there are no pointers in code. | |
| 201 intptr_t CountPointerOffsets() const { return 0; } | |
| 202 | |
| 203 const ZoneGrowableArray<intptr_t>& GetPointerOffsets() const { | |
| 204 ASSERT(buffer_.pointer_offsets().length() == 0); // No pointers in code. | |
| 205 return buffer_.pointer_offsets(); | |
| 206 } | |
| 207 const GrowableObjectArray& object_pool() const { return object_pool_; } | |
| 208 | |
| 209 bool use_far_branches() const { | |
| 210 return FLAG_use_far_branches || use_far_branches_; | |
| 211 } | |
| 212 | |
| 213 void set_use_far_branches(bool b) { | |
| 214 ASSERT(buffer_.Size() == 0); | |
| 215 use_far_branches_ = b; | |
| 216 } | |
| 217 | |
| 218 void FinalizeInstructions(const MemoryRegion& region) { | |
| 219 buffer_.FinalizeInstructions(region); | |
| 220 } | |
| 221 | |
| 222 // Debugging and bringup support. | |
| 223 void Stop(const char* message); | |
| 224 void Unimplemented(const char* message); | |
| 225 void Untested(const char* message); | |
| 226 void Unreachable(const char* message); | |
| 227 | |
| 228 static void InitializeMemoryWithBreakpoints(uword data, intptr_t length); | |
| 229 | |
| 230 void Comment(const char* format, ...) PRINTF_ATTRIBUTE(2, 3); | |
| 231 | |
| 232 const Code::Comments& GetCodeComments() const; | |
| 233 | |
| 234 static const char* RegisterName(Register reg); | |
| 235 | |
| 236 static const char* FpuRegisterName(FpuRegister reg); | |
| 237 | |
| 238 // TODO(zra): Make sure this is right. | |
| 239 // Instruction pattern from entrypoint is used in Dart frame prologs | |
| 240 // to set up the frame and save a PC which can be used to figure out the | |
| 241 // RawInstruction object corresponding to the code running in the frame. | |
| 242 static const intptr_t kEntryPointToPcMarkerOffset = 0; | |
| 243 | |
| 244 // Emit data (e.g encoded instruction or immediate) in instruction stream. | |
| 245 void Emit(int32_t value); | |
| 246 | |
| 247 // On some other platforms, we draw a distinction between safe and unsafe | |
| 248 // smis. | |
| 249 static bool IsSafe(const Object& object) { return true; } | |
| 250 static bool IsSafeSmi(const Object& object) { return object.IsSmi(); } | |
| 251 | |
| 252 // Add unsigned immediate. | |
| 253 // shifted = true => imm left-shifted by 12 then added. | |
| 254 void addi(OperandSize os, Register rd, Register rn, AddSubOperand aso) { | |
|
regis
2014/04/01 22:25:15
Passing OperandSize explicitly seems strange to me
zra
2014/04/02 00:04:25
Since add() become more complicated, I added a hel
| |
| 255 ASSERT(aso.type() == AddSubOperand::ASImmediate); | |
|
regis
2014/04/01 22:25:15
We will probably have a "macro" instruction AddImm
zra
2014/04/02 00:04:25
Done.
| |
| 256 EmitAddSubImmOp(ADDI, rd, rn, aso, os, false); | |
| 257 } | |
| 258 | |
| 259 // Add register. | |
| 260 void add(OperandSize os, Register rd, Register rn, AddSubOperand aso) { | |
| 261 ASSERT(aso.type() != AddSubOperand::ASImmediate); | |
| 262 EmitAddSubShiftExtOp(ADD, rd, rn, aso, os, false); | |
| 263 } | |
| 264 | |
| 265 // Function return. | |
| 266 void ret(Register rn = R30) { | |
| 267 EmitUnconditionalBranchRegOp(RET, rn); | |
| 268 } | |
| 269 | |
| 270 private: | |
| 271 AssemblerBuffer buffer_; // Contains position independent code. | |
| 272 GrowableObjectArray& object_pool_; // Objects and patchable jump targets. | |
| 273 int32_t prologue_offset_; | |
| 274 | |
| 275 bool use_far_branches_; | |
| 276 | |
| 277 class CodeComment : public ZoneAllocated { | |
| 278 public: | |
| 279 CodeComment(intptr_t pc_offset, const String& comment) | |
| 280 : pc_offset_(pc_offset), comment_(comment) { } | |
| 281 | |
| 282 intptr_t pc_offset() const { return pc_offset_; } | |
| 283 const String& comment() const { return comment_; } | |
| 284 | |
| 285 private: | |
| 286 intptr_t pc_offset_; | |
| 287 const String& comment_; | |
| 288 | |
| 289 DISALLOW_COPY_AND_ASSIGN(CodeComment); | |
| 290 }; | |
| 291 | |
| 292 GrowableArray<CodeComment*> comments_; | |
| 293 | |
| 294 void EmitAddSubImmOp(AddSubImmOp op, Register rd, Register rn, | |
| 295 AddSubOperand aso, OperandSize os, bool set_flags) { | |
| 296 ASSERT((os == kDoubleWord) || (os == kWord)); | |
| 297 const int32_t size = (os == kDoubleWord) ? B31 : 0; | |
| 298 const int32_t s = set_flags ? B29 : 0; | |
| 299 const int32_t encoding = | |
| 300 op | size | s | | |
| 301 (static_cast<int32_t>(rd) << kRdShift) | | |
| 302 (static_cast<int32_t>(rn) << kRnShift) | | |
| 303 aso.encoding(); | |
| 304 Emit(encoding); | |
| 305 } | |
| 306 | |
| 307 void EmitAddSubShiftExtOp(AddSubShiftExtOp op, | |
| 308 Register rd, Register rn, AddSubOperand aso, | |
| 309 OperandSize os, bool set_flags) { | |
| 310 ASSERT((os == kDoubleWord) || (os == kWord)); | |
| 311 const int32_t size = (os == kDoubleWord) ? B31 : 0; | |
| 312 const int32_t s = set_flags ? B29 : 0; | |
| 313 const int32_t encoding = | |
| 314 op | size | s | | |
| 315 (static_cast<int32_t>(rd) << kRdShift) | | |
| 316 (static_cast<int32_t>(rn) << kRnShift) | | |
| 317 aso.encoding(); | |
| 318 Emit(encoding); | |
| 319 } | |
| 320 | |
| 321 void EmitUnconditionalBranchRegOp(UnconditionalBranchRegOp op, Register rn) { | |
| 322 const int32_t encoding = | |
| 323 op | (static_cast<int32_t>(rn) << kRnShift); | |
| 324 Emit(encoding); | |
| 325 } | |
| 326 | |
| 327 DISALLOW_ALLOCATION(); | |
| 328 DISALLOW_COPY_AND_ASSIGN(Assembler); | |
| 329 }; | |
| 330 | |
| 331 } // namespace dart | |
| 332 | |
| 333 #endif // VM_ASSEMBLER_ARM64_H_ | |
| OLD | NEW |