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
3 // found in the LICENSE file.
5 #include "src/compiler/access-builder.h"
6 #include "src/types-inl.h"
13 FieldAccess AccessBuilder::ForMap() {
14 FieldAccess access = {kTaggedBase, HeapObject::kMapOffset,
15 MaybeHandle<Name>(), Type::Any(), kMachAnyTagged};
21 FieldAccess AccessBuilder::ForJSObjectProperties() {
22 FieldAccess access = {kTaggedBase, JSObject::kPropertiesOffset,
23 MaybeHandle<Name>(), Type::Any(), kMachAnyTagged};
29 FieldAccess AccessBuilder::ForJSObjectElements() {
30 FieldAccess access = {kTaggedBase, JSObject::kElementsOffset,
31 MaybeHandle<Name>(), Type::Internal(), kMachAnyTagged};
37 FieldAccess AccessBuilder::ForJSFunctionContext() {
38 FieldAccess access = {kTaggedBase, JSFunction::kContextOffset,
39 MaybeHandle<Name>(), Type::Internal(), kMachAnyTagged};
45 FieldAccess AccessBuilder::ForJSFunctionSharedFunctionInfo() {
46 FieldAccess access = {kTaggedBase, JSFunction::kSharedFunctionInfoOffset,
47 Handle<Name>(), Type::Any(), kMachAnyTagged};
53 FieldAccess AccessBuilder::ForJSArrayBufferBackingStore() {
54 FieldAccess access = {kTaggedBase, JSArrayBuffer::kBackingStoreOffset,
55 MaybeHandle<Name>(), Type::UntaggedPointer(), kMachPtr};
61 FieldAccess AccessBuilder::ForJSDateField(JSDate::FieldIndex index) {
62 FieldAccess access = {kTaggedBase,
63 JSDate::kValueOffset + index * kPointerSize,
64 MaybeHandle<Name>(), Type::Number(), kMachAnyTagged};
70 FieldAccess AccessBuilder::ForFixedArrayLength() {
71 // TODO(turbofan): 2^30 is a valid upper limit for the FixedArray::length
72 // field, although it's not the best. If we had a Zone we could create an
73 // appropriate range type instead.
74 STATIC_ASSERT(FixedArray::kMaxLength <= 1 << 30);
75 FieldAccess access = {
76 kTaggedBase, FixedArray::kLengthOffset, MaybeHandle<Name>(),
77 Type::Intersect(Type::Unsigned30(), Type::TaggedSigned()),
84 FieldAccess AccessBuilder::ForExternalArrayPointer() {
85 FieldAccess access = {kTaggedBase, ExternalArray::kExternalPointerOffset,
86 MaybeHandle<Name>(), Type::UntaggedPointer(), kMachPtr};
92 FieldAccess AccessBuilder::ForDescriptorArrayEnumCache() {
93 FieldAccess access = {kTaggedBase, DescriptorArray::kEnumCacheOffset,
94 Handle<Name>(), Type::TaggedPointer(), kMachAnyTagged};
100 FieldAccess AccessBuilder::ForDescriptorArrayEnumCacheBridgeCache() {
101 FieldAccess access = {kTaggedBase,
102 DescriptorArray::kEnumCacheBridgeCacheOffset,
103 Handle<Name>(), Type::TaggedPointer(), kMachAnyTagged};
109 FieldAccess AccessBuilder::ForMapBitField3() {
110 FieldAccess access = {kTaggedBase, Map::kBitField3Offset, Handle<Name>(),
111 Type::UntaggedUnsigned32(), kMachUint32};
117 FieldAccess AccessBuilder::ForMapDescriptors() {
118 FieldAccess access = {kTaggedBase, Map::kDescriptorsOffset, Handle<Name>(),
119 Type::TaggedPointer(), kMachAnyTagged};
125 FieldAccess AccessBuilder::ForMapInstanceType() {
126 FieldAccess access = {kTaggedBase, Map::kInstanceTypeOffset, Handle<Name>(),
127 Type::UntaggedUnsigned8(), kMachUint8};
133 FieldAccess AccessBuilder::ForStringLength(Zone* zone) {
134 FieldAccess access = {
135 kTaggedBase, String::kLengthOffset, Handle<Name>(),
136 Type::Intersect(Type::Range(0, String::kMaxLength, zone),
137 Type::TaggedSigned(), zone),
144 FieldAccess AccessBuilder::ForValue() {
145 FieldAccess access = {kTaggedBase, JSValue::kValueOffset, Handle<Name>(),
146 Type::Any(), kMachAnyTagged};
152 FieldAccess AccessBuilder::ForContextSlot(size_t index) {
153 int offset = Context::kHeaderSize + static_cast<int>(index) * kPointerSize;
155 Context::SlotOffset(static_cast<int>(index)) + kHeapObjectTag);
156 FieldAccess access = {kTaggedBase, offset, Handle<Name>(), Type::Any(),
163 FieldAccess AccessBuilder::ForPropertyCellValue() {
164 FieldAccess access = {kTaggedBase, PropertyCell::kValueOffset, Handle<Name>(),
165 Type::Any(), kMachAnyTagged};
171 FieldAccess AccessBuilder::ForSharedFunctionInfoTypeFeedbackVector() {
172 FieldAccess access = {kTaggedBase, SharedFunctionInfo::kFeedbackVectorOffset,
173 Handle<Name>(), Type::Any(), kMachAnyTagged};
179 ElementAccess AccessBuilder::ForFixedArrayElement() {
180 ElementAccess access = {kTaggedBase, FixedArray::kHeaderSize, Type::Any(),
187 ElementAccess AccessBuilder::ForTypedArrayElement(ExternalArrayType type,
189 BaseTaggedness taggedness = is_external ? kUntaggedBase : kTaggedBase;
190 int header_size = is_external ? 0 : FixedTypedArrayBase::kDataOffset;
192 case kExternalInt8Array: {
193 ElementAccess access = {taggedness, header_size, Type::Signed32(),
197 case kExternalUint8Array:
198 case kExternalUint8ClampedArray: {
199 ElementAccess access = {taggedness, header_size, Type::Unsigned32(),
203 case kExternalInt16Array: {
204 ElementAccess access = {taggedness, header_size, Type::Signed32(),
208 case kExternalUint16Array: {
209 ElementAccess access = {taggedness, header_size, Type::Unsigned32(),
213 case kExternalInt32Array: {
214 ElementAccess access = {taggedness, header_size, Type::Signed32(),
218 case kExternalUint32Array: {
219 ElementAccess access = {taggedness, header_size, Type::Unsigned32(),
223 case kExternalFloat32Array: {
224 ElementAccess access = {taggedness, header_size, Type::Number(),
228 case kExternalFloat64Array: {
229 ElementAccess access = {taggedness, header_size, Type::Number(),
235 ElementAccess access = {kUntaggedBase, 0, Type::None(), kMachNone};
241 ElementAccess AccessBuilder::ForSeqStringChar(String::Encoding encoding) {
243 case String::ONE_BYTE_ENCODING: {
244 ElementAccess access = {kTaggedBase, SeqString::kHeaderSize,
245 Type::Unsigned32(), kMachUint8};
248 case String::TWO_BYTE_ENCODING: {
249 ElementAccess access = {kTaggedBase, SeqString::kHeaderSize,
250 Type::Unsigned32(), kMachUint16};
255 ElementAccess access = {kUntaggedBase, 0, Type::None(), kMachNone};
261 FieldAccess AccessBuilder::ForStatsCounter() {
262 FieldAccess access = {kUntaggedBase, 0, MaybeHandle<Name>(), Type::Signed32(),
269 FieldAccess AccessBuilder::ForFrameCallerFramePtr() {
270 FieldAccess access = {kUntaggedBase, StandardFrameConstants::kCallerFPOffset,
271 MaybeHandle<Name>(), Type::Internal(), kMachPtr};
277 FieldAccess AccessBuilder::ForFrameMarker() {
278 FieldAccess access = {kUntaggedBase, StandardFrameConstants::kMarkerOffset,
279 MaybeHandle<Name>(), Type::Tagged(), kMachAnyTagged};
283 } // namespace compiler
284 } // namespace internal