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 #ifndef V8_COMPILER_SIMPLIFIED_OPERATOR_H_ | 5 #ifndef V8_COMPILER_SIMPLIFIED_OPERATOR_H_ |
6 #define V8_COMPILER_SIMPLIFIED_OPERATOR_H_ | 6 #define V8_COMPILER_SIMPLIFIED_OPERATOR_H_ |
7 | 7 |
8 #include "src/compiler/machine-operator.h" | 8 #include "src/compiler/machine-operator.h" |
9 #include "src/compiler/opcodes.h" | 9 #include "src/compiler/opcodes.h" |
10 #include "src/zone.h" | 10 #include "src/zone.h" |
11 | 11 |
12 namespace v8 { | 12 namespace v8 { |
13 namespace internal { | 13 namespace internal { |
14 namespace compiler { | 14 namespace compiler { |
15 | 15 |
16 enum BaseTaggedness { kUntaggedBase, kTaggedBase }; | 16 enum BaseTaggedness { kUntaggedBase, kTaggedBase }; |
17 | 17 |
18 // An access descriptor for loads/stores of fixed structures like field | 18 // An access descriptor for loads/stores of fixed structures like field |
19 // accesses of heap objects. Accesses from either tagged or untagged base | 19 // accesses of heap objects. Accesses from either tagged or untagged base |
20 // pointers are supported; untagging is done automatically during lowering. | 20 // pointers are supported; untagging is done automatically during lowering. |
21 struct FieldAccess { | 21 struct FieldAccess { |
22 BaseTaggedness base_is_tagged; // specifies if the base pointer is tagged. | 22 BaseTaggedness base_is_tagged; // specifies if the base pointer is tagged. |
23 int offset; // offset of the field, without tag. | 23 int offset; // offset of the field, without tag. |
24 Handle<Name> name; // debugging only. | 24 Handle<Name> name; // debugging only. |
25 Type* type; // type of the field. | 25 Type* type; // type of the field. |
26 MachineType representation; // machine representation of field. | 26 MachineType machine_type; // machine type of the field. |
27 | 27 |
28 int tag() const { return base_is_tagged == kTaggedBase ? kHeapObjectTag : 0; } | 28 int tag() const { return base_is_tagged == kTaggedBase ? kHeapObjectTag : 0; } |
29 }; | 29 }; |
30 | 30 |
31 | 31 |
32 // An access descriptor for loads/stores of indexed structures like characters | 32 // An access descriptor for loads/stores of indexed structures like characters |
33 // in strings or off-heap backing stores. Accesses from either tagged or | 33 // in strings or off-heap backing stores. Accesses from either tagged or |
34 // untagged base pointers are supported; untagging is done automatically during | 34 // untagged base pointers are supported; untagging is done automatically during |
35 // lowering. | 35 // lowering. |
36 struct ElementAccess { | 36 struct ElementAccess { |
37 BaseTaggedness base_is_tagged; // specifies if the base pointer is tagged. | 37 BaseTaggedness base_is_tagged; // specifies if the base pointer is tagged. |
38 int header_size; // size of the header, without tag. | 38 int header_size; // size of the header, without tag. |
39 Type* type; // type of the element. | 39 Type* type; // type of the element. |
40 MachineType representation; // machine representation of element. | 40 MachineType machine_type; // machine type of the element. |
41 | 41 |
42 int tag() const { return base_is_tagged == kTaggedBase ? kHeapObjectTag : 0; } | 42 int tag() const { return base_is_tagged == kTaggedBase ? kHeapObjectTag : 0; } |
43 }; | 43 }; |
44 | 44 |
45 | 45 |
46 // If the accessed object is not a heap object, add this to the header_size. | 46 // If the accessed object is not a heap object, add this to the header_size. |
47 static const int kNonHeapObjectHeaderSize = kHeapObjectTag; | 47 static const int kNonHeapObjectHeaderSize = kHeapObjectTag; |
48 | 48 |
49 | 49 |
50 // Specialization for static parameters of type {FieldAccess}. | 50 // Specialization for static parameters of type {FieldAccess}. |
51 template <> | 51 template <> |
52 struct StaticParameterTraits<const FieldAccess> { | 52 struct StaticParameterTraits<const FieldAccess> { |
53 static OStream& PrintTo(OStream& os, const FieldAccess& val) { // NOLINT | 53 static OStream& PrintTo(OStream& os, const FieldAccess& val) { // NOLINT |
54 return os << val.offset; | 54 return os << val.offset; |
55 } | 55 } |
56 static int HashCode(const FieldAccess& val) { | 56 static int HashCode(const FieldAccess& val) { |
57 return (val.offset < 16) | (val.representation & 0xffff); | 57 return (val.offset < 16) | (val.machine_type & 0xffff); |
58 } | 58 } |
59 static bool Equals(const FieldAccess& a, const FieldAccess& b) { | 59 static bool Equals(const FieldAccess& a, const FieldAccess& b) { |
60 return a.base_is_tagged == b.base_is_tagged && a.offset == b.offset && | 60 return a.base_is_tagged == b.base_is_tagged && a.offset == b.offset && |
61 a.representation == b.representation && a.type->Is(b.type); | 61 a.machine_type == b.machine_type && a.type->Is(b.type); |
62 } | 62 } |
63 }; | 63 }; |
64 | 64 |
65 | 65 |
66 // Specialization for static parameters of type {ElementAccess}. | 66 // Specialization for static parameters of type {ElementAccess}. |
67 template <> | 67 template <> |
68 struct StaticParameterTraits<const ElementAccess> { | 68 struct StaticParameterTraits<const ElementAccess> { |
69 static OStream& PrintTo(OStream& os, const ElementAccess& val) { // NOLINT | 69 static OStream& PrintTo(OStream& os, const ElementAccess& val) { // NOLINT |
70 return os << val.header_size; | 70 return os << val.header_size; |
71 } | 71 } |
72 static int HashCode(const ElementAccess& val) { | 72 static int HashCode(const ElementAccess& val) { |
73 return (val.header_size < 16) | (val.representation & 0xffff); | 73 return (val.header_size < 16) | (val.machine_type & 0xffff); |
74 } | 74 } |
75 static bool Equals(const ElementAccess& a, const ElementAccess& b) { | 75 static bool Equals(const ElementAccess& a, const ElementAccess& b) { |
76 return a.base_is_tagged == b.base_is_tagged && | 76 return a.base_is_tagged == b.base_is_tagged && |
77 a.header_size == b.header_size && | 77 a.header_size == b.header_size && a.machine_type == b.machine_type && |
78 a.representation == b.representation && a.type->Is(b.type); | 78 a.type->Is(b.type); |
79 } | 79 } |
80 }; | 80 }; |
81 | 81 |
82 | 82 |
83 inline const FieldAccess FieldAccessOf(Operator* op) { | 83 inline const FieldAccess FieldAccessOf(Operator* op) { |
84 DCHECK(op->opcode() == IrOpcode::kLoadField || | 84 DCHECK(op->opcode() == IrOpcode::kLoadField || |
85 op->opcode() == IrOpcode::kStoreField); | 85 op->opcode() == IrOpcode::kStoreField); |
86 return static_cast<Operator1<FieldAccess>*>(op)->parameter(); | 86 return static_cast<Operator1<FieldAccess>*>(op)->parameter(); |
87 } | 87 } |
88 | 88 |
(...skipping 91 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
180 #undef SIMPLE | 180 #undef SIMPLE |
181 | 181 |
182 private: | 182 private: |
183 Zone* zone_; | 183 Zone* zone_; |
184 }; | 184 }; |
185 } | 185 } |
186 } | 186 } |
187 } // namespace v8::internal::compiler | 187 } // namespace v8::internal::compiler |
188 | 188 |
189 #endif // V8_COMPILER_SIMPLIFIED_OPERATOR_H_ | 189 #endif // V8_COMPILER_SIMPLIFIED_OPERATOR_H_ |
OLD | NEW |