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/arm/macro-assembler-arm.h" | 7 #include "src/arm/macro-assembler-arm.h" |
8 #include "src/assembler-inl.h" | 8 #include "src/assembler-inl.h" |
9 #include "src/compilation-info.h" | 9 #include "src/compilation-info.h" |
10 #include "src/compiler/code-generator-impl.h" | 10 #include "src/compiler/code-generator-impl.h" |
(...skipping 2381 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
2392 // frame is still on the stack. Optimized code uses OSR values directly from | 2392 // frame is still on the stack. Optimized code uses OSR values directly from |
2393 // the unoptimized frame. Thus, all that needs to be done is to allocate the | 2393 // the unoptimized frame. Thus, all that needs to be done is to allocate the |
2394 // remaining stack slots. | 2394 // remaining stack slots. |
2395 if (FLAG_code_comments) __ RecordComment("-- OSR entrypoint --"); | 2395 if (FLAG_code_comments) __ RecordComment("-- OSR entrypoint --"); |
2396 osr_pc_offset_ = __ pc_offset(); | 2396 osr_pc_offset_ = __ pc_offset(); |
2397 shrink_slots -= OsrHelper(info()).UnoptimizedFrameSlots(); | 2397 shrink_slots -= OsrHelper(info()).UnoptimizedFrameSlots(); |
2398 } | 2398 } |
2399 | 2399 |
2400 const RegList saves_fp = descriptor->CalleeSavedFPRegisters(); | 2400 const RegList saves_fp = descriptor->CalleeSavedFPRegisters(); |
2401 if (shrink_slots > 0) { | 2401 if (shrink_slots > 0) { |
2402 if (info()->IsWasm()) { | |
2403 if (shrink_slots > 128) { | |
2404 // For WebAssembly functions with big frames we have to do the stack | |
2405 // overflow check before we construct the frame. Otherwise we may not | |
2406 // have enough space on the stack to call the runtime for the stack | |
2407 // overflow. | |
2408 Label done; | |
2409 | |
2410 // If the frame is bigger than the stack, we throw the stack overflow | |
2411 // exception unconditionally. Thereby we can avoid the integer overflow | |
2412 // check in the condition code. | |
2413 if (shrink_slots * kPointerSize < FLAG_stack_size * 1024) { | |
2414 __ Move(kScratchReg, | |
2415 Operand(ExternalReference::address_of_real_stack_limit( | |
2416 isolate()))); | |
2417 __ ldr(kScratchReg, MemOperand(kScratchReg)); | |
2418 __ add(kScratchReg, kScratchReg, | |
2419 Operand(shrink_slots * kPointerSize)); | |
2420 __ cmp(sp, kScratchReg); | |
2421 __ b(cs, &done); | |
2422 } | |
2423 | |
2424 if (!frame_access_state()->has_frame()) { | |
2425 __ set_has_frame(true); | |
2426 // There is no need to leave the frame, we will not return from the | |
2427 // runtime call. | |
2428 __ EnterFrame(StackFrame::WASM_COMPILED); | |
2429 } | |
2430 __ Move(cp, Smi::kZero); | |
2431 __ CallRuntime(Runtime::kThrowWasmStackOverflow); | |
2432 // We come from WebAssembly, there are no references for the GC. | |
2433 ReferenceMap* reference_map = new (zone()) ReferenceMap(zone()); | |
2434 RecordSafepoint(reference_map, Safepoint::kSimple, 0, | |
2435 Safepoint::kNoLazyDeopt); | |
2436 if (FLAG_debug_code) { | |
2437 __ stop(GetBailoutReason(kUnexpectedReturnFromThrow)); | |
2438 } | |
2439 | |
2440 __ bind(&done); | |
2441 } | |
2442 } | |
2402 __ sub(sp, sp, Operand(shrink_slots * kPointerSize)); | 2443 __ sub(sp, sp, Operand(shrink_slots * kPointerSize)); |
2403 } | 2444 } |
2404 | 2445 |
2405 if (saves_fp != 0) { | 2446 if (saves_fp != 0) { |
Rodolph Perfetta
2017/03/23 13:02:20
this code will decrement the stack further, so sho
ahaas
2017/03/23 14:14:09
Good observation, but I think it does not matter.
| |
2406 // Save callee-saved FP registers. | 2447 // Save callee-saved FP registers. |
2407 STATIC_ASSERT(DwVfpRegister::kMaxNumRegisters == 32); | 2448 STATIC_ASSERT(DwVfpRegister::kMaxNumRegisters == 32); |
2408 uint32_t last = base::bits::CountLeadingZeros32(saves_fp) - 1; | 2449 uint32_t last = base::bits::CountLeadingZeros32(saves_fp) - 1; |
2409 uint32_t first = base::bits::CountTrailingZeros32(saves_fp); | 2450 uint32_t first = base::bits::CountTrailingZeros32(saves_fp); |
2410 DCHECK_EQ((last - first + 1), base::bits::CountPopulation32(saves_fp)); | 2451 DCHECK_EQ((last - first + 1), base::bits::CountPopulation32(saves_fp)); |
2411 __ vstm(db_w, sp, DwVfpRegister::from_code(first), | 2452 __ vstm(db_w, sp, DwVfpRegister::from_code(first), |
2412 DwVfpRegister::from_code(last)); | 2453 DwVfpRegister::from_code(last)); |
2413 } | 2454 } |
2414 const RegList saves = FLAG_enable_embedded_constant_pool | 2455 const RegList saves = FLAG_enable_embedded_constant_pool |
2415 ? (descriptor->CalleeSavedRegisters() & ~pp.bit()) | 2456 ? (descriptor->CalleeSavedRegisters() & ~pp.bit()) |
2416 : descriptor->CalleeSavedRegisters(); | 2457 : descriptor->CalleeSavedRegisters(); |
2417 if (saves != 0) { | 2458 if (saves != 0) { |
Rodolph Perfetta
2017/03/23 13:02:20
ditto.
| |
2418 // Save callee-saved registers. | 2459 // Save callee-saved registers. |
2419 __ stm(db_w, sp, saves); | 2460 __ stm(db_w, sp, saves); |
2420 } | 2461 } |
2421 } | 2462 } |
2422 | 2463 |
2423 void CodeGenerator::AssembleReturn(InstructionOperand* pop) { | 2464 void CodeGenerator::AssembleReturn(InstructionOperand* pop) { |
2424 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); | 2465 CallDescriptor* descriptor = linkage()->GetIncomingDescriptor(); |
2425 int pop_count = static_cast<int>(descriptor->StackParameterCount()); | 2466 int pop_count = static_cast<int>(descriptor->StackParameterCount()); |
2426 | 2467 |
2427 // Restore registers. | 2468 // Restore registers. |
(...skipping 352 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
2780 padding_size -= v8::internal::Assembler::kInstrSize; | 2821 padding_size -= v8::internal::Assembler::kInstrSize; |
2781 } | 2822 } |
2782 } | 2823 } |
2783 } | 2824 } |
2784 | 2825 |
2785 #undef __ | 2826 #undef __ |
2786 | 2827 |
2787 } // namespace compiler | 2828 } // namespace compiler |
2788 } // namespace internal | 2829 } // namespace internal |
2789 } // namespace v8 | 2830 } // namespace v8 |
OLD | NEW |