| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/compiler/code-generator.h" | 5 #include "src/compiler/code-generator.h" |
| 6 | 6 |
| 7 #include "src/arm64/frames-arm64.h" | 7 #include "src/arm64/frames-arm64.h" |
| 8 #include "src/arm64/macro-assembler-arm64.h" | 8 #include "src/arm64/macro-assembler-arm64.h" |
| 9 #include "src/compiler/code-generator-impl.h" | 9 #include "src/compiler/code-generator-impl.h" |
| 10 #include "src/compiler/gap-resolver.h" | 10 #include "src/compiler/gap-resolver.h" |
| 11 #include "src/compiler/node-matchers.h" | 11 #include "src/compiler/node-matchers.h" |
| 12 #include "src/compiler/osr.h" |
| 12 #include "src/scopes.h" | 13 #include "src/scopes.h" |
| 13 | 14 |
| 14 namespace v8 { | 15 namespace v8 { |
| 15 namespace internal { | 16 namespace internal { |
| 16 namespace compiler { | 17 namespace compiler { |
| 17 | 18 |
| 18 #define __ masm()-> | 19 #define __ masm()-> |
| 19 | 20 |
| 20 | 21 |
| 21 // Adds Arm64-specific methods to convert InstructionOperands. | 22 // Adds Arm64-specific methods to convert InstructionOperands. |
| (...skipping 1054 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1076 | 1077 |
| 1077 // TODO(dcarney): increase stack slots in frame once before first use. | 1078 // TODO(dcarney): increase stack slots in frame once before first use. |
| 1078 static int AlignedStackSlots(int stack_slots) { | 1079 static int AlignedStackSlots(int stack_slots) { |
| 1079 if (stack_slots & 1) stack_slots++; | 1080 if (stack_slots & 1) stack_slots++; |
| 1080 return stack_slots; | 1081 return stack_slots; |
| 1081 } | 1082 } |
| 1082 | 1083 |
| 1083 | 1084 |
| 1084 void CodeGenerator::AssemblePrologue() { | 1085 void CodeGenerator::AssemblePrologue() { |
| 1085 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); | 1086 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); |
| 1086 int stack_slots = frame()->GetSpillSlotCount(); | |
| 1087 if (descriptor->kind() == CallDescriptor::kCallAddress) { | 1087 if (descriptor->kind() == CallDescriptor::kCallAddress) { |
| 1088 __ SetStackPointer(csp); | 1088 __ SetStackPointer(csp); |
| 1089 __ Push(lr, fp); | 1089 __ Push(lr, fp); |
| 1090 __ Mov(fp, csp); | 1090 __ Mov(fp, csp); |
| 1091 | |
| 1092 // Save FP registers. | |
| 1093 CPURegList saves_fp = CPURegList(CPURegister::kFPRegister, kDRegSizeInBits, | |
| 1094 descriptor->CalleeSavedFPRegisters()); | |
| 1095 DCHECK(saves_fp.list() == CPURegList::GetCalleeSavedFP().list()); | |
| 1096 int saved_count = saves_fp.Count(); | |
| 1097 __ PushCPURegList(saves_fp); | |
| 1098 // Save registers. | |
| 1099 CPURegList saves = CPURegList(CPURegister::kRegister, kXRegSizeInBits, | |
| 1100 descriptor->CalleeSavedRegisters()); | |
| 1101 // TODO(palfia): TF save list is not in sync with | |
| 1102 // CPURegList::GetCalleeSaved(): x30 is missing. | |
| 1103 // DCHECK(saves.list() == CPURegList::GetCalleeSaved().list()); | |
| 1104 saved_count += saves.Count(); | |
| 1105 __ PushCPURegList(saves); | |
| 1106 | |
| 1107 frame()->SetRegisterSaveAreaSize(saved_count * kPointerSize); | |
| 1108 } else if (descriptor->IsJSFunctionCall()) { | 1091 } else if (descriptor->IsJSFunctionCall()) { |
| 1109 CompilationInfo* info = this->info(); | 1092 CompilationInfo* info = this->info(); |
| 1110 __ SetStackPointer(jssp); | 1093 __ SetStackPointer(jssp); |
| 1111 __ Prologue(info->IsCodePreAgingActive()); | 1094 __ Prologue(info->IsCodePreAgingActive()); |
| 1112 frame()->SetRegisterSaveAreaSize( | |
| 1113 StandardFrameConstants::kFixedFrameSizeFromFp); | |
| 1114 } else if (needs_frame_) { | 1095 } else if (needs_frame_) { |
| 1115 __ SetStackPointer(jssp); | 1096 __ SetStackPointer(jssp); |
| 1116 __ StubPrologue(); | 1097 __ StubPrologue(); |
| 1117 frame()->SetRegisterSaveAreaSize( | |
| 1118 StandardFrameConstants::kFixedFrameSizeFromFp); | |
| 1119 } else { | 1098 } else { |
| 1120 frame()->SetPCOnStack(false); | 1099 frame()->SetElidedFrameSizeInSlots(0); |
| 1121 } | 1100 } |
| 1122 | 1101 |
| 1102 int stack_shrink_slots = frame()->GetSpillSlotCount(); |
| 1123 if (info()->is_osr()) { | 1103 if (info()->is_osr()) { |
| 1124 // TurboFan OSR-compiled functions cannot be entered directly. | 1104 // TurboFan OSR-compiled functions cannot be entered directly. |
| 1125 __ Abort(kShouldNotDirectlyEnterOsrFunction); | 1105 __ Abort(kShouldNotDirectlyEnterOsrFunction); |
| 1126 | 1106 |
| 1127 // Unoptimized code jumps directly to this entrypoint while the unoptimized | 1107 // Unoptimized code jumps directly to this entrypoint while the unoptimized |
| 1128 // frame is still on the stack. Optimized code uses OSR values directly from | 1108 // frame is still on the stack. Optimized code uses OSR values directly from |
| 1129 // the unoptimized frame. Thus, all that needs to be done is to allocate the | 1109 // the unoptimized frame. Thus, all that needs to be done is to allocate the |
| 1130 // remaining stack slots. | 1110 // remaining stack slots. |
| 1131 if (FLAG_code_comments) __ RecordComment("-- OSR entrypoint --"); | 1111 if (FLAG_code_comments) __ RecordComment("-- OSR entrypoint --"); |
| 1132 osr_pc_offset_ = __ pc_offset(); | 1112 osr_pc_offset_ = __ pc_offset(); |
| 1133 // TODO(titzer): cannot address target function == local #-1 | 1113 // TODO(titzer): cannot address target function == local #-1 |
| 1134 __ ldr(x1, MemOperand(fp, JavaScriptFrameConstants::kFunctionOffset)); | 1114 __ ldr(x1, MemOperand(fp, JavaScriptFrameConstants::kFunctionOffset)); |
| 1135 DCHECK(stack_slots >= frame()->GetOsrStackSlotCount()); | 1115 stack_shrink_slots -= OsrHelper(info()).UnoptimizedFrameSlots(); |
| 1136 stack_slots -= frame()->GetOsrStackSlotCount(); | |
| 1137 } | 1116 } |
| 1138 | 1117 |
| 1139 if (stack_slots > 0) { | 1118 if (stack_shrink_slots > 0) { |
| 1140 Register sp = __ StackPointer(); | 1119 Register sp = __ StackPointer(); |
| 1141 if (!sp.Is(csp)) { | 1120 if (!sp.Is(csp)) { |
| 1142 __ Sub(sp, sp, stack_slots * kPointerSize); | 1121 __ Sub(sp, sp, stack_shrink_slots * kPointerSize); |
| 1143 } | 1122 } |
| 1144 __ Sub(csp, csp, AlignedStackSlots(stack_slots) * kPointerSize); | 1123 __ Sub(csp, csp, AlignedStackSlots(stack_shrink_slots) * kPointerSize); |
| 1124 } |
| 1125 |
| 1126 // Save FP registers. |
| 1127 CPURegList saves_fp = CPURegList(CPURegister::kFPRegister, kDRegSizeInBits, |
| 1128 descriptor->CalleeSavedFPRegisters()); |
| 1129 int saved_count = saves_fp.Count(); |
| 1130 if (saved_count != 0) { |
| 1131 DCHECK(saves_fp.list() == CPURegList::GetCalleeSavedFP().list()); |
| 1132 __ PushCPURegList(saves_fp); |
| 1133 frame()->AllocateSavedCalleeRegisterSlots(saved_count * |
| 1134 (kDoubleSize / kPointerSize)); |
| 1135 } |
| 1136 // Save registers. |
| 1137 // TODO(palfia): TF save list is not in sync with |
| 1138 // CPURegList::GetCalleeSaved(): x30 is missing. |
| 1139 // DCHECK(saves.list() == CPURegList::GetCalleeSaved().list()); |
| 1140 CPURegList saves = CPURegList(CPURegister::kRegister, kXRegSizeInBits, |
| 1141 descriptor->CalleeSavedRegisters()); |
| 1142 saved_count = saves.Count(); |
| 1143 if (saved_count != 0) { |
| 1144 __ PushCPURegList(saves); |
| 1145 frame()->AllocateSavedCalleeRegisterSlots(saved_count); |
| 1145 } | 1146 } |
| 1146 } | 1147 } |
| 1147 | 1148 |
| 1148 | 1149 |
| 1149 void CodeGenerator::AssembleReturn() { | 1150 void CodeGenerator::AssembleReturn() { |
| 1150 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); | 1151 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); |
| 1151 int stack_slots = frame()->GetSpillSlotCount(); | 1152 |
| 1153 // Restore registers. |
| 1154 CPURegList saves = CPURegList(CPURegister::kRegister, kXRegSizeInBits, |
| 1155 descriptor->CalleeSavedRegisters()); |
| 1156 if (saves.Count() != 0) { |
| 1157 __ PopCPURegList(saves); |
| 1158 } |
| 1159 |
| 1160 // Restore fp registers. |
| 1161 CPURegList saves_fp = CPURegList(CPURegister::kFPRegister, kDRegSizeInBits, |
| 1162 descriptor->CalleeSavedFPRegisters()); |
| 1163 if (saves_fp.Count() != 0) { |
| 1164 __ PopCPURegList(saves_fp); |
| 1165 } |
| 1166 |
| 1152 int pop_count = static_cast<int>(descriptor->StackParameterCount()); | 1167 int pop_count = static_cast<int>(descriptor->StackParameterCount()); |
| 1153 if (descriptor->kind() == CallDescriptor::kCallAddress) { | 1168 if (descriptor->kind() == CallDescriptor::kCallAddress) { |
| 1154 if (frame()->GetRegisterSaveAreaSize() > 0) { | |
| 1155 // Remove this frame's spill slots first. | |
| 1156 if (stack_slots > 0) { | |
| 1157 __ Add(csp, csp, AlignedStackSlots(stack_slots) * kPointerSize); | |
| 1158 } | |
| 1159 | |
| 1160 // Restore registers. | |
| 1161 CPURegList saves = CPURegList(CPURegister::kRegister, kXRegSizeInBits, | |
| 1162 descriptor->CalleeSavedRegisters()); | |
| 1163 __ PopCPURegList(saves); | |
| 1164 | |
| 1165 CPURegList saves_fp = | |
| 1166 CPURegList(CPURegister::kFPRegister, kDRegSizeInBits, | |
| 1167 descriptor->CalleeSavedFPRegisters()); | |
| 1168 __ PopCPURegList(saves_fp); | |
| 1169 } | |
| 1170 | |
| 1171 __ Mov(csp, fp); | 1169 __ Mov(csp, fp); |
| 1172 __ Pop(fp, lr); | 1170 __ Pop(fp, lr); |
| 1173 } else if (descriptor->IsJSFunctionCall() || needs_frame_) { | 1171 } else if (descriptor->IsJSFunctionCall() || needs_frame_) { |
| 1174 // Canonicalize JSFunction return sites for now. | 1172 // Canonicalize JSFunction return sites for now. |
| 1175 if (return_label_.is_bound()) { | 1173 if (return_label_.is_bound()) { |
| 1176 __ B(&return_label_); | 1174 __ B(&return_label_); |
| 1177 return; | 1175 return; |
| 1178 } else { | 1176 } else { |
| 1179 __ Bind(&return_label_); | 1177 __ Bind(&return_label_); |
| 1180 __ Mov(jssp, fp); | 1178 __ Mov(jssp, fp); |
| (...skipping 185 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1366 } | 1364 } |
| 1367 } | 1365 } |
| 1368 } | 1366 } |
| 1369 } | 1367 } |
| 1370 | 1368 |
| 1371 #undef __ | 1369 #undef __ |
| 1372 | 1370 |
| 1373 } // namespace compiler | 1371 } // namespace compiler |
| 1374 } // namespace internal | 1372 } // namespace internal |
| 1375 } // namespace v8 | 1373 } // namespace v8 |
| OLD | NEW |