| OLD | NEW |
| 1 //===- subzero/src/IceAssembler.cpp - Assembler base class ----------------===// | 1 //===- subzero/src/IceAssembler.cpp - Assembler base class ----------------===// |
| 2 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 2 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 3 // for details. All rights reserved. Use of this source code is governed by a | 3 // for details. All rights reserved. Use of this source code is governed by a |
| 4 // BSD-style license that can be found in the LICENSE file. | 4 // BSD-style license that can be found in the LICENSE file. |
| 5 // | 5 // |
| 6 // Modified by the Subzero authors. | 6 // Modified by the Subzero authors. |
| 7 // | 7 // |
| 8 // This is forked from Dart revision 39313. | 8 // This is forked from Dart revision 39313. |
| 9 // Please update the revision if we merge back changes from Dart. | 9 // Please update the revision if we merge back changes from Dart. |
| 10 // https://code.google.com/p/dart/wiki/GettingTheSource | 10 // https://code.google.com/p/dart/wiki/GettingTheSource |
| (...skipping 30 matching lines...) Expand all Loading... |
| 41 new (Assemblr.allocate<AssemblerFixup>()) AssemblerFixup(); | 41 new (Assemblr.allocate<AssemblerFixup>()) AssemblerFixup(); |
| 42 F->set_position(0); | 42 F->set_position(0); |
| 43 F->set_kind(Kind); | 43 F->set_kind(Kind); |
| 44 F->set_value(Value); | 44 F->set_value(Value); |
| 45 if (!Assemblr.getPreliminary()) | 45 if (!Assemblr.getPreliminary()) |
| 46 Fixups.push_back(F); | 46 Fixups.push_back(F); |
| 47 return F; | 47 return F; |
| 48 } | 48 } |
| 49 | 49 |
| 50 void AssemblerBuffer::EnsureCapacity::validate(AssemblerBuffer *buffer) { | 50 void AssemblerBuffer::EnsureCapacity::validate(AssemblerBuffer *buffer) { |
| 51 // In debug mode, we save the assembler buffer along with the gap | 51 // In debug mode, we save the assembler buffer along with the gap size before |
| 52 // size before we start emitting to the buffer. This allows us to | 52 // we start emitting to the buffer. This allows us to check that any single |
| 53 // check that any single generated instruction doesn't overflow the | 53 // generated instruction doesn't overflow the limit implied by the minimum |
| 54 // limit implied by the minimum gap size. | 54 // gap size. |
| 55 Gap = computeGap(); | 55 Gap = computeGap(); |
| 56 // Make sure that extending the capacity leaves a big enough gap | 56 // Make sure that extending the capacity leaves a big enough gap for any kind |
| 57 // for any kind of instruction. | 57 // of instruction. |
| 58 assert(Gap >= kMinimumGap); | 58 assert(Gap >= kMinimumGap); |
| 59 // Mark the buffer as having ensured the capacity. | 59 // Mark the buffer as having ensured the capacity. |
| 60 assert(!buffer->hasEnsuredCapacity()); // Cannot nest. | 60 assert(!buffer->hasEnsuredCapacity()); // Cannot nest. |
| 61 buffer->HasEnsuredCapacity = true; | 61 buffer->HasEnsuredCapacity = true; |
| 62 } | 62 } |
| 63 | 63 |
| 64 AssemblerBuffer::EnsureCapacity::~EnsureCapacity() { | 64 AssemblerBuffer::EnsureCapacity::~EnsureCapacity() { |
| 65 // Unmark the buffer, so we cannot emit after this. | 65 // Unmark the buffer, so we cannot emit after this. |
| 66 Buffer->HasEnsuredCapacity = false; | 66 Buffer->HasEnsuredCapacity = false; |
| 67 // Make sure the generated instruction doesn't take up more | 67 // Make sure the generated instruction doesn't take up more space than the |
| 68 // space than the minimum gap. | 68 // minimum gap. |
| 69 intptr_t delta = Gap - computeGap(); | 69 intptr_t delta = Gap - computeGap(); |
| 70 (void)delta; | 70 (void)delta; |
| 71 assert(delta <= kMinimumGap); | 71 assert(delta <= kMinimumGap); |
| 72 } | 72 } |
| 73 | 73 |
| 74 AssemblerBuffer::AssemblerBuffer(Assembler &Asm) : Assemblr(Asm) { | 74 AssemblerBuffer::AssemblerBuffer(Assembler &Asm) : Assemblr(Asm) { |
| 75 const intptr_t OneKB = 1024; | 75 const intptr_t OneKB = 1024; |
| 76 static const intptr_t kInitialBufferCapacity = 4 * OneKB; | 76 static const intptr_t kInitialBufferCapacity = 4 * OneKB; |
| 77 Contents = NewContents(Assemblr, kInitialBufferCapacity); | 77 Contents = NewContents(Assemblr, kInitialBufferCapacity); |
| 78 Cursor = Contents; | 78 Cursor = Contents; |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 126 const intptr_t FixupSize = 4; | 126 const intptr_t FixupSize = 4; |
| 127 for (const AssemblerFixup *NextFixup : fixups()) { | 127 for (const AssemblerFixup *NextFixup : fixups()) { |
| 128 intptr_t NextFixupLoc = NextFixup->position(); | 128 intptr_t NextFixupLoc = NextFixup->position(); |
| 129 for (intptr_t i = CurPosition; i < NextFixupLoc; ++i) { | 129 for (intptr_t i = CurPosition; i < NextFixupLoc; ++i) { |
| 130 Str << "\t.byte 0x"; | 130 Str << "\t.byte 0x"; |
| 131 Str.write_hex(Buffer.load<uint8_t>(i)); | 131 Str.write_hex(Buffer.load<uint8_t>(i)); |
| 132 Str << "\n"; | 132 Str << "\n"; |
| 133 } | 133 } |
| 134 Str << "\t.long "; | 134 Str << "\t.long "; |
| 135 // For PCRel fixups, we write the pc-offset from a symbol into the Buffer | 135 // For PCRel fixups, we write the pc-offset from a symbol into the Buffer |
| 136 // (e.g., -4), but we don't represent that in the fixup's offset. | 136 // (e.g., -4), but we don't represent that in the fixup's offset. Otherwise |
| 137 // Otherwise the fixup holds the true offset, and so does the Buffer. | 137 // the fixup holds the true offset, and so does the Buffer. Just load the |
| 138 // Just load the offset from the buffer. | 138 // offset from the buffer. |
| 139 NextFixup->emit(Ctx, Buffer.load<RelocOffsetT>(NextFixupLoc)); | 139 NextFixup->emit(Ctx, Buffer.load<RelocOffsetT>(NextFixupLoc)); |
| 140 if (fixupIsPCRel(NextFixup->kind())) | 140 if (fixupIsPCRel(NextFixup->kind())) |
| 141 Str << " - ."; | 141 Str << " - ."; |
| 142 Str << "\n"; | 142 Str << "\n"; |
| 143 CurPosition = NextFixupLoc + FixupSize; | 143 CurPosition = NextFixupLoc + FixupSize; |
| 144 assert(CurPosition <= EndPosition); | 144 assert(CurPosition <= EndPosition); |
| 145 } | 145 } |
| 146 // Handle any bytes that are not prefixed by a fixup. | 146 // Handle any bytes that are not prefixed by a fixup. |
| 147 for (intptr_t i = CurPosition; i < EndPosition; ++i) { | 147 for (intptr_t i = CurPosition; i < EndPosition; ++i) { |
| 148 Str << "\t.byte 0x"; | 148 Str << "\t.byte 0x"; |
| 149 Str.write_hex(Buffer.load<uint8_t>(i)); | 149 Str.write_hex(Buffer.load<uint8_t>(i)); |
| 150 Str << "\n"; | 150 Str << "\n"; |
| 151 } | 151 } |
| 152 } | 152 } |
| 153 | 153 |
| 154 } // end of namespace Ice | 154 } // end of namespace Ice |
| OLD | NEW |