More stack limit and reserved zone renaming.
[WebKit-https.git] / Source / JavaScriptCore / jit / SetupVarargsFrame.cpp
1 /*
2  * Copyright (C) 2015-2016 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "SetupVarargsFrame.h"
28
29 #if ENABLE(JIT)
30
31 #include "Interpreter.h"
32 #include "JSCInlines.h"
33 #include "StackAlignment.h"
34
35 namespace JSC {
36
37 void emitSetVarargsFrame(CCallHelpers& jit, GPRReg lengthGPR, bool lengthIncludesThis, GPRReg numUsedSlotsGPR, GPRReg resultGPR)
38 {
39     jit.move(numUsedSlotsGPR, resultGPR);
40     // We really want to make sure the size of the new call frame is a multiple of
41     // stackAlignmentRegisters(), however it is easier to accomplish this by
42     // rounding numUsedSlotsGPR to the next multiple of stackAlignmentRegisters().
43     // Together with the rounding below, we will assure that the new call frame is
44     // located on a stackAlignmentRegisters() boundary and a multiple of
45     // stackAlignmentRegisters() in size.
46     jit.addPtr(CCallHelpers::TrustedImm32(stackAlignmentRegisters() - 1), resultGPR);
47     jit.andPtr(CCallHelpers::TrustedImm32(~(stackAlignmentRegisters() - 1)), resultGPR);
48
49     jit.addPtr(lengthGPR, resultGPR);
50     jit.addPtr(CCallHelpers::TrustedImm32(CallFrame::headerSizeInRegisters + (lengthIncludesThis? 0 : 1)), resultGPR);
51     
52     // resultGPR now has the required frame size in Register units
53     // Round resultGPR to next multiple of stackAlignmentRegisters()
54     jit.addPtr(CCallHelpers::TrustedImm32(stackAlignmentRegisters() - 1), resultGPR);
55     jit.andPtr(CCallHelpers::TrustedImm32(~(stackAlignmentRegisters() - 1)), resultGPR);
56     
57     // Now resultGPR has the right stack frame offset in Register units.
58     jit.negPtr(resultGPR);
59     jit.lshiftPtr(CCallHelpers::Imm32(3), resultGPR);
60     jit.addPtr(GPRInfo::callFrameRegister, resultGPR);
61 }
62
63 void emitSetupVarargsFrameFastCase(CCallHelpers& jit, GPRReg numUsedSlotsGPR, GPRReg scratchGPR1, GPRReg scratchGPR2, GPRReg scratchGPR3, ValueRecovery argCountRecovery, VirtualRegister firstArgumentReg, unsigned firstVarArgOffset, CCallHelpers::JumpList& slowCase)
64 {
65     CCallHelpers::JumpList end;
66     
67     if (argCountRecovery.isConstant()) {
68         // FIXME: We could constant-fold a lot of the computation below in this case.
69         // https://bugs.webkit.org/show_bug.cgi?id=141486
70         jit.move(CCallHelpers::TrustedImm32(argCountRecovery.constant().asInt32()), scratchGPR1);
71     } else
72         jit.load32(CCallHelpers::payloadFor(argCountRecovery.virtualRegister()), scratchGPR1);
73     if (firstVarArgOffset) {
74         CCallHelpers::Jump sufficientArguments = jit.branch32(CCallHelpers::GreaterThan, scratchGPR1, CCallHelpers::TrustedImm32(firstVarArgOffset + 1));
75         jit.move(CCallHelpers::TrustedImm32(1), scratchGPR1);
76         CCallHelpers::Jump endVarArgs = jit.jump();
77         sufficientArguments.link(&jit);
78         jit.sub32(CCallHelpers::TrustedImm32(firstVarArgOffset), scratchGPR1);
79         endVarArgs.link(&jit);
80     }
81     slowCase.append(jit.branch32(CCallHelpers::Above, scratchGPR1, CCallHelpers::TrustedImm32(maxArguments + 1)));
82     
83     emitSetVarargsFrame(jit, scratchGPR1, true, numUsedSlotsGPR, scratchGPR2);
84
85     slowCase.append(jit.branchPtr(CCallHelpers::Above, CCallHelpers::AbsoluteAddress(jit.vm()->addressOfSoftStackLimit()), scratchGPR2));
86
87     // Initialize ArgumentCount.
88     jit.store32(scratchGPR1, CCallHelpers::Address(scratchGPR2, CallFrameSlot::argumentCount * static_cast<int>(sizeof(Register)) + PayloadOffset));
89
90     // Copy arguments.
91     jit.signExtend32ToPtr(scratchGPR1, scratchGPR1);
92     CCallHelpers::Jump done = jit.branchSubPtr(CCallHelpers::Zero, CCallHelpers::TrustedImm32(1), scratchGPR1);
93     // scratchGPR1: argumentCount
94
95     CCallHelpers::Label copyLoop = jit.label();
96     int argOffset = (firstArgumentReg.offset() - 1 + firstVarArgOffset) * static_cast<int>(sizeof(Register));
97 #if USE(JSVALUE64)
98     jit.load64(CCallHelpers::BaseIndex(GPRInfo::callFrameRegister, scratchGPR1, CCallHelpers::TimesEight, argOffset), scratchGPR3);
99     jit.store64(scratchGPR3, CCallHelpers::BaseIndex(scratchGPR2, scratchGPR1, CCallHelpers::TimesEight, CallFrame::thisArgumentOffset() * static_cast<int>(sizeof(Register))));
100 #else // USE(JSVALUE64), so this begins the 32-bit case
101     jit.load32(CCallHelpers::BaseIndex(GPRInfo::callFrameRegister, scratchGPR1, CCallHelpers::TimesEight, argOffset + TagOffset), scratchGPR3);
102     jit.store32(scratchGPR3, CCallHelpers::BaseIndex(scratchGPR2, scratchGPR1, CCallHelpers::TimesEight, CallFrame::thisArgumentOffset() * static_cast<int>(sizeof(Register)) + TagOffset));
103     jit.load32(CCallHelpers::BaseIndex(GPRInfo::callFrameRegister, scratchGPR1, CCallHelpers::TimesEight, argOffset + PayloadOffset), scratchGPR3);
104     jit.store32(scratchGPR3, CCallHelpers::BaseIndex(scratchGPR2, scratchGPR1, CCallHelpers::TimesEight, CallFrame::thisArgumentOffset() * static_cast<int>(sizeof(Register)) + PayloadOffset));
105 #endif // USE(JSVALUE64), end of 32-bit case
106     jit.branchSubPtr(CCallHelpers::NonZero, CCallHelpers::TrustedImm32(1), scratchGPR1).linkTo(copyLoop, &jit);
107     
108     done.link(&jit);
109 }
110
111 void emitSetupVarargsFrameFastCase(CCallHelpers& jit, GPRReg numUsedSlotsGPR, GPRReg scratchGPR1, GPRReg scratchGPR2, GPRReg scratchGPR3, unsigned firstVarArgOffset, CCallHelpers::JumpList& slowCase)
112 {
113     emitSetupVarargsFrameFastCase(jit, numUsedSlotsGPR, scratchGPR1, scratchGPR2, scratchGPR3, nullptr, firstVarArgOffset, slowCase);
114 }
115
116 void emitSetupVarargsFrameFastCase(CCallHelpers& jit, GPRReg numUsedSlotsGPR, GPRReg scratchGPR1, GPRReg scratchGPR2, GPRReg scratchGPR3, InlineCallFrame* inlineCallFrame, unsigned firstVarArgOffset, CCallHelpers::JumpList& slowCase)
117 {
118     ValueRecovery argumentCountRecovery;
119     VirtualRegister firstArgumentReg;
120     if (inlineCallFrame) {
121         if (inlineCallFrame->isVarargs()) {
122             argumentCountRecovery = ValueRecovery::displacedInJSStack(
123                 inlineCallFrame->argumentCountRegister, DataFormatInt32);
124         } else {
125             argumentCountRecovery = ValueRecovery::constant(
126                 jsNumber(inlineCallFrame->arguments.size()));
127         }
128         if (inlineCallFrame->arguments.size() > 1)
129             firstArgumentReg = inlineCallFrame->arguments[1].virtualRegister();
130         else
131             firstArgumentReg = VirtualRegister(0);
132     } else {
133         argumentCountRecovery = ValueRecovery::displacedInJSStack(
134             VirtualRegister(CallFrameSlot::argumentCount), DataFormatInt32);
135         firstArgumentReg = VirtualRegister(CallFrame::argumentOffset(0));
136     }
137     emitSetupVarargsFrameFastCase(jit, numUsedSlotsGPR, scratchGPR1, scratchGPR2, scratchGPR3, argumentCountRecovery, firstArgumentReg, firstVarArgOffset, slowCase);
138 }
139
140 } // namespace JSC
141
142 #endif // ENABLE(JIT)
143