We should support the ability to do a non-effectful getById
[WebKit-https.git] / Source / JavaScriptCore / builtins / BuiltinExecutables.cpp
1 /*
2  * Copyright (C) 2014 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
27 #include "config.h"
28 #include "BuiltinExecutables.h"
29
30 #include "BuiltinNames.h"
31 #include "Executable.h"
32 #include "JSCInlines.h"
33 #include "Parser.h"
34 #include <wtf/NeverDestroyed.h>
35
36 namespace JSC {
37
38 BuiltinExecutables::BuiltinExecutables(VM& vm)
39     : m_vm(vm)
40 #define INITIALIZE_BUILTIN_SOURCE_MEMBERS(name, functionName, length) , m_##name##Source(makeSource(StringImpl::createFromLiteral(s_##name, length)))
41     JSC_FOREACH_BUILTIN_CODE(INITIALIZE_BUILTIN_SOURCE_MEMBERS)
42 #undef EXPOSE_BUILTIN_STRINGS
43 {
44 }
45
46 UnlinkedFunctionExecutable* BuiltinExecutables::createDefaultConstructor(ConstructorKind constructorKind, const Identifier& name)
47 {
48     static NeverDestroyed<const String> baseConstructorCode(ASCIILiteral("(function () { })"));
49     static NeverDestroyed<const String> derivedConstructorCode(ASCIILiteral("(function () { super(...arguments); })"));
50
51     switch (constructorKind) {
52     case ConstructorKind::None:
53         break;
54     case ConstructorKind::Base:
55         return createExecutable(m_vm, makeSource(baseConstructorCode), name, constructorKind, ConstructAbility::CanConstruct);
56     case ConstructorKind::Derived:
57         return createExecutable(m_vm, makeSource(derivedConstructorCode), name, constructorKind, ConstructAbility::CanConstruct);
58     }
59     ASSERT_NOT_REACHED();
60     return nullptr;
61 }
62
63 UnlinkedFunctionExecutable* BuiltinExecutables::createBuiltinExecutable(const SourceCode& code, const Identifier& name, ConstructAbility constructAbility)
64 {
65     return createExecutable(m_vm, code, name, ConstructorKind::None, constructAbility);
66 }
67
68 UnlinkedFunctionExecutable* createBuiltinExecutable(VM& vm, const SourceCode& code, const Identifier& name, ConstructAbility constructAbility)
69 {
70     return BuiltinExecutables::createExecutable(vm, code, name, ConstructorKind::None, constructAbility);
71 }
72
73 UnlinkedFunctionExecutable* BuiltinExecutables::createExecutable(VM& vm, const SourceCode& source, const Identifier& name, ConstructorKind constructorKind, ConstructAbility constructAbility)
74 {
75     JSTextPosition positionBeforeLastNewline;
76     ParserError error;
77     bool isParsingDefaultConstructor = constructorKind != ConstructorKind::None;
78     JSParserBuiltinMode builtinMode = isParsingDefaultConstructor ? JSParserBuiltinMode::NotBuiltin : JSParserBuiltinMode::Builtin;
79     UnlinkedFunctionKind kind = isParsingDefaultConstructor ? UnlinkedNormalFunction : UnlinkedBuiltinFunction;
80     RefPtr<SourceProvider> sourceOverride = isParsingDefaultConstructor ? source.provider() : nullptr;
81     std::unique_ptr<ProgramNode> program = parse<ProgramNode>(
82         &vm, source, Identifier(), builtinMode,
83         JSParserStrictMode::NotStrict, SourceParseMode::ProgramMode, SuperBinding::NotNeeded, error,
84         &positionBeforeLastNewline, constructorKind);
85
86     if (!program) {
87         dataLog("Fatal error compiling builtin function '", name.string(), "': ", error.message());
88         CRASH();
89     }
90
91     StatementNode* exprStatement = program->singleStatement();
92     RELEASE_ASSERT(exprStatement);
93     RELEASE_ASSERT(exprStatement->isExprStatement());
94     ExpressionNode* funcExpr = static_cast<ExprStatementNode*>(exprStatement)->expr();
95     RELEASE_ASSERT(funcExpr);
96     RELEASE_ASSERT(funcExpr->isFuncExprNode());
97     FunctionMetadataNode* metadata = static_cast<FuncExprNode*>(funcExpr)->metadata();
98     RELEASE_ASSERT(!program->hasCapturedVariables());
99     
100     metadata->setEndPosition(positionBeforeLastNewline);
101     RELEASE_ASSERT(metadata);
102     RELEASE_ASSERT(metadata->ident().isNull());
103     
104     // This function assumes an input string that would result in a single anonymous function expression.
105     metadata->setEndPosition(positionBeforeLastNewline);
106     RELEASE_ASSERT(metadata);
107     metadata->overrideName(name);
108     VariableEnvironment dummyTDZVariables;
109     UnlinkedFunctionExecutable* functionExecutable = UnlinkedFunctionExecutable::create(&vm, source, metadata, kind, constructAbility, dummyTDZVariables, DerivedContextType::None, WTFMove(sourceOverride));
110     return functionExecutable;
111 }
112
113 void BuiltinExecutables::finalize(Handle<Unknown>, void* context)
114 {
115     static_cast<Weak<UnlinkedFunctionExecutable>*>(context)->clear();
116 }
117
118 #define DEFINE_BUILTIN_EXECUTABLES(name, functionName, length) \
119 UnlinkedFunctionExecutable* BuiltinExecutables::name##Executable() \
120 {\
121     if (!m_##name##Executable)\
122         m_##name##Executable = Weak<UnlinkedFunctionExecutable>(createBuiltinExecutable(m_##name##Source, m_vm.propertyNames->builtinNames().functionName##PublicName(), s_##name##ConstructAbility), this, &m_##name##Executable);\
123     return m_##name##Executable.get();\
124 }
125 JSC_FOREACH_BUILTIN_CODE(DEFINE_BUILTIN_EXECUTABLES)
126 #undef EXPOSE_BUILTIN_SOURCES
127
128 }