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/factory.h" | 5 #include "src/factory.h" |
6 | 6 |
7 #include "src/allocation-site-scopes.h" | 7 #include "src/allocation-site-scopes.h" |
8 #include "src/base/bits.h" | 8 #include "src/base/bits.h" |
9 #include "src/bootstrapper.h" | 9 #include "src/bootstrapper.h" |
10 #include "src/conversions.h" | 10 #include "src/conversions.h" |
(...skipping 1918 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1929 | 1929 |
1930 Handle<JSDataView> Factory::NewJSDataView(Handle<JSArrayBuffer> buffer, | 1930 Handle<JSDataView> Factory::NewJSDataView(Handle<JSArrayBuffer> buffer, |
1931 size_t byte_offset, | 1931 size_t byte_offset, |
1932 size_t byte_length) { | 1932 size_t byte_length) { |
1933 Handle<JSDataView> obj = NewJSDataView(); | 1933 Handle<JSDataView> obj = NewJSDataView(); |
1934 SetupArrayBufferView(isolate(), obj, buffer, byte_offset, byte_length); | 1934 SetupArrayBufferView(isolate(), obj, buffer, byte_offset, byte_length); |
1935 return obj; | 1935 return obj; |
1936 } | 1936 } |
1937 | 1937 |
1938 | 1938 |
1939 Handle<JSProxy> Factory::NewJSProxy(Handle<Object> handler, | 1939 Handle<JSProxy> Factory::NewJSProxy(Handle<JSReceiver> target, |
| 1940 Handle<JSReceiver> handler, |
1940 Handle<Object> prototype) { | 1941 Handle<Object> prototype) { |
1941 // Allocate map. | 1942 // Allocate map. |
1942 // TODO(rossberg): Once we optimize proxies, think about a scheme to share | 1943 // TODO(rossberg): Once we optimize proxies, think about a scheme to share |
1943 // maps. Will probably depend on the identity of the handler object, too. | 1944 // maps. Will probably depend on the identity of the handler object, too. |
1944 Handle<Map> map = NewMap(JS_PROXY_TYPE, JSProxy::kSize); | 1945 Handle<Map> map = NewMap(JS_PROXY_TYPE, JSProxy::kSize); |
1945 Map::SetPrototype(map, prototype); | 1946 Map::SetPrototype(map, prototype); |
1946 | 1947 |
1947 // Allocate the proxy object. | 1948 // Allocate the proxy object. |
1948 Handle<JSProxy> result = New<JSProxy>(map, NEW_SPACE); | 1949 Handle<JSProxy> result = New<JSProxy>(map, NEW_SPACE); |
1949 result->InitializeBody(map->instance_size(), Smi::FromInt(0)); | 1950 result->set_target(*target); |
1950 result->set_handler(*handler); | 1951 result->set_handler(*handler); |
1951 result->set_hash(*undefined_value(), SKIP_WRITE_BARRIER); | 1952 result->set_hash(*undefined_value(), SKIP_WRITE_BARRIER); |
1952 return result; | 1953 return result; |
1953 } | 1954 } |
1954 | 1955 |
1955 | 1956 |
1956 Handle<JSProxy> Factory::NewJSFunctionProxy(Handle<Object> handler, | 1957 Handle<JSProxy> Factory::NewJSFunctionProxy(Handle<JSReceiver> target, |
| 1958 Handle<JSReceiver> handler, |
1957 Handle<JSReceiver> call_trap, | 1959 Handle<JSReceiver> call_trap, |
1958 Handle<Object> construct_trap, | 1960 Handle<Object> construct_trap, |
1959 Handle<Object> prototype) { | 1961 Handle<Object> prototype) { |
1960 // Allocate map. | 1962 // Allocate map. |
1961 // TODO(rossberg): Once we optimize proxies, think about a scheme to share | 1963 // TODO(rossberg): Once we optimize proxies, think about a scheme to share |
1962 // maps. Will probably depend on the identity of the handler object, too. | 1964 // maps. Will probably depend on the identity of the handler object, too. |
1963 Handle<Map> map = NewMap(JS_FUNCTION_PROXY_TYPE, JSFunctionProxy::kSize); | 1965 Handle<Map> map = NewMap(JS_FUNCTION_PROXY_TYPE, JSFunctionProxy::kSize); |
1964 Map::SetPrototype(map, prototype); | 1966 Map::SetPrototype(map, prototype); |
1965 map->set_is_callable(); | 1967 map->set_is_callable(); |
1966 map->set_is_constructor(construct_trap->IsCallable()); | 1968 map->set_is_constructor(construct_trap->IsCallable()); |
1967 | 1969 |
1968 // Allocate the proxy object. | 1970 // Allocate the proxy object. |
1969 Handle<JSFunctionProxy> result = New<JSFunctionProxy>(map, NEW_SPACE); | 1971 Handle<JSFunctionProxy> result = New<JSFunctionProxy>(map, NEW_SPACE); |
1970 result->InitializeBody(map->instance_size(), Smi::FromInt(0)); | 1972 result->set_target(*target); |
1971 result->set_handler(*handler); | 1973 result->set_handler(*handler); |
1972 result->set_hash(*undefined_value(), SKIP_WRITE_BARRIER); | 1974 result->set_hash(*undefined_value(), SKIP_WRITE_BARRIER); |
1973 result->set_call_trap(*call_trap); | 1975 result->set_call_trap(*call_trap); |
1974 result->set_construct_trap(*construct_trap); | 1976 result->set_construct_trap(*construct_trap); |
1975 return result; | 1977 return result; |
1976 } | 1978 } |
1977 | 1979 |
1978 | 1980 |
1979 void Factory::ReinitializeJSProxy(Handle<JSProxy> proxy, InstanceType type, | |
1980 int size) { | |
1981 DCHECK(type == JS_OBJECT_TYPE || type == JS_FUNCTION_TYPE); | |
1982 | |
1983 Handle<Map> proxy_map(proxy->map()); | |
1984 Handle<Map> map = Map::FixProxy(proxy_map, type, size); | |
1985 | |
1986 // Check that the receiver has at least the size of the fresh object. | |
1987 int size_difference = proxy_map->instance_size() - map->instance_size(); | |
1988 DCHECK(size_difference >= 0); | |
1989 | |
1990 // Allocate the backing storage for the properties. | |
1991 Handle<FixedArray> properties = empty_fixed_array(); | |
1992 | |
1993 Heap* heap = isolate()->heap(); | |
1994 MaybeHandle<SharedFunctionInfo> shared; | |
1995 if (type == JS_FUNCTION_TYPE) { | |
1996 OneByteStringKey key(STATIC_CHAR_VECTOR("<freezing call trap>"), | |
1997 heap->HashSeed()); | |
1998 Handle<String> name = InternalizeStringWithKey(&key); | |
1999 shared = NewSharedFunctionInfo(name, MaybeHandle<Code>()); | |
2000 } | |
2001 | |
2002 // In order to keep heap in consistent state there must be no allocations | |
2003 // before object re-initialization is finished and filler object is installed. | |
2004 DisallowHeapAllocation no_allocation; | |
2005 | |
2006 // Put in filler if the new object is smaller than the old. | |
2007 if (size_difference > 0) { | |
2008 Address address = proxy->address(); | |
2009 heap->CreateFillerObjectAt(address + map->instance_size(), size_difference); | |
2010 heap->AdjustLiveBytes(*proxy, -size_difference, | |
2011 Heap::CONCURRENT_TO_SWEEPER); | |
2012 } | |
2013 | |
2014 // Reset the map for the object. | |
2015 proxy->synchronized_set_map(*map); | |
2016 Handle<JSObject> jsobj = Handle<JSObject>::cast(proxy); | |
2017 | |
2018 // Reinitialize the object from the constructor map. | |
2019 heap->InitializeJSObjectFromMap(*jsobj, *properties, *map); | |
2020 | |
2021 // The current native context is used to set up certain bits. | |
2022 // TODO(adamk): Using the current context seems wrong, it should be whatever | |
2023 // context the JSProxy originated in. But that context isn't stored anywhere. | |
2024 Handle<Context> context(isolate()->native_context()); | |
2025 | |
2026 // Functions require some minimal initialization. | |
2027 if (type == JS_FUNCTION_TYPE) { | |
2028 map->set_is_constructor(true); | |
2029 map->set_is_callable(); | |
2030 Handle<JSFunction> js_function = Handle<JSFunction>::cast(proxy); | |
2031 InitializeFunction(js_function, shared.ToHandleChecked(), context); | |
2032 } else { | |
2033 // Provide JSObjects with a constructor. | |
2034 map->SetConstructor(context->object_function()); | |
2035 } | |
2036 } | |
2037 | |
2038 | |
2039 Handle<JSGlobalProxy> Factory::NewUninitializedJSGlobalProxy() { | 1981 Handle<JSGlobalProxy> Factory::NewUninitializedJSGlobalProxy() { |
2040 // Create an empty shell of a JSGlobalProxy that needs to be reinitialized | 1982 // Create an empty shell of a JSGlobalProxy that needs to be reinitialized |
2041 // via ReinitializeJSGlobalProxy later. | 1983 // via ReinitializeJSGlobalProxy later. |
2042 Handle<Map> map = NewMap(JS_GLOBAL_PROXY_TYPE, JSGlobalProxy::kSize); | 1984 Handle<Map> map = NewMap(JS_GLOBAL_PROXY_TYPE, JSGlobalProxy::kSize); |
2043 // Maintain invariant expected from any JSGlobalProxy. | 1985 // Maintain invariant expected from any JSGlobalProxy. |
2044 map->set_is_access_check_needed(true); | 1986 map->set_is_access_check_needed(true); |
2045 CALL_HEAP_FUNCTION( | 1987 CALL_HEAP_FUNCTION( |
2046 isolate(), isolate()->heap()->AllocateJSObjectFromMap(*map, NOT_TENURED), | 1988 isolate(), isolate()->heap()->AllocateJSObjectFromMap(*map, NOT_TENURED), |
2047 JSGlobalProxy); | 1989 JSGlobalProxy); |
2048 } | 1990 } |
(...skipping 24 matching lines...) Expand all Loading... |
2073 | 2015 |
2074 Heap* heap = isolate()->heap(); | 2016 Heap* heap = isolate()->heap(); |
2075 // Reinitialize the object from the constructor map. | 2017 // Reinitialize the object from the constructor map. |
2076 heap->InitializeJSObjectFromMap(*object, *properties, *map); | 2018 heap->InitializeJSObjectFromMap(*object, *properties, *map); |
2077 | 2019 |
2078 // Restore the saved hash. | 2020 // Restore the saved hash. |
2079 object->set_hash(*hash); | 2021 object->set_hash(*hash); |
2080 } | 2022 } |
2081 | 2023 |
2082 | 2024 |
2083 void Factory::BecomeJSObject(Handle<JSProxy> proxy) { | |
2084 ReinitializeJSProxy(proxy, JS_OBJECT_TYPE, JSObject::kHeaderSize); | |
2085 } | |
2086 | |
2087 | |
2088 void Factory::BecomeJSFunction(Handle<JSProxy> proxy) { | |
2089 ReinitializeJSProxy(proxy, JS_FUNCTION_TYPE, JSFunction::kSize); | |
2090 } | |
2091 | |
2092 | |
2093 Handle<SharedFunctionInfo> Factory::NewSharedFunctionInfo( | 2025 Handle<SharedFunctionInfo> Factory::NewSharedFunctionInfo( |
2094 Handle<String> name, int number_of_literals, FunctionKind kind, | 2026 Handle<String> name, int number_of_literals, FunctionKind kind, |
2095 Handle<Code> code, Handle<ScopeInfo> scope_info, | 2027 Handle<Code> code, Handle<ScopeInfo> scope_info, |
2096 Handle<TypeFeedbackVector> feedback_vector) { | 2028 Handle<TypeFeedbackVector> feedback_vector) { |
2097 DCHECK(IsValidFunctionKind(kind)); | 2029 DCHECK(IsValidFunctionKind(kind)); |
2098 Handle<SharedFunctionInfo> shared = NewSharedFunctionInfo(name, code); | 2030 Handle<SharedFunctionInfo> shared = NewSharedFunctionInfo(name, code); |
2099 shared->set_scope_info(*scope_info); | 2031 shared->set_scope_info(*scope_info); |
2100 shared->set_feedback_vector(*feedback_vector); | 2032 shared->set_feedback_vector(*feedback_vector); |
2101 shared->set_kind(kind); | 2033 shared->set_kind(kind); |
2102 shared->set_num_literals(number_of_literals); | 2034 shared->set_num_literals(number_of_literals); |
(...skipping 300 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2403 } | 2335 } |
2404 | 2336 |
2405 | 2337 |
2406 Handle<Object> Factory::ToBoolean(bool value) { | 2338 Handle<Object> Factory::ToBoolean(bool value) { |
2407 return value ? true_value() : false_value(); | 2339 return value ? true_value() : false_value(); |
2408 } | 2340 } |
2409 | 2341 |
2410 | 2342 |
2411 } // namespace internal | 2343 } // namespace internal |
2412 } // namespace v8 | 2344 } // namespace v8 |
OLD | NEW |