Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(690)

Side by Side Diff: test/cctest/compiler/c-signature.h

Issue 1513543003: [turbofan] Make MachineType a pair of enums. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Moar rebase Created 5 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/machine-type.cc ('k') | test/cctest/compiler/codegen-tester.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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_C_SIGNATURE_H_ 5 #ifndef V8_COMPILER_C_SIGNATURE_H_
6 #define V8_COMPILER_C_SIGNATURE_H_ 6 #define V8_COMPILER_C_SIGNATURE_H_
7 7
8 #include "src/machine-type.h" 8 #include "src/machine-type.h"
9 9
10 namespace v8 { 10 namespace v8 {
11 namespace internal { 11 namespace internal {
12 namespace compiler { 12 namespace compiler {
13 13
14 #define FOREACH_CTYPE_MACHINE_TYPE_MAPPING(V) \ 14 #define FOREACH_CTYPE_MACHINE_TYPE_MAPPING(V) \
15 V(void, kMachNone) \ 15 V(void, MachineType::None()) \
16 V(bool, kMachUint8) \ 16 V(bool, MachineType::Uint8()) \
17 V(int8_t, kMachInt8) \ 17 V(int8_t, MachineType::Int8()) \
18 V(uint8_t, kMachUint8) \ 18 V(uint8_t, MachineType::Uint8()) \
19 V(int16_t, kMachInt16) \ 19 V(int16_t, MachineType::Int16()) \
20 V(uint16_t, kMachUint16) \ 20 V(uint16_t, MachineType::Uint16()) \
21 V(int32_t, kMachInt32) \ 21 V(int32_t, MachineType::Int32()) \
22 V(uint32_t, kMachUint32) \ 22 V(uint32_t, MachineType::Uint32()) \
23 V(int64_t, kMachInt64) \ 23 V(int64_t, MachineType::Int64()) \
24 V(uint64_t, kMachUint64) \ 24 V(uint64_t, MachineType::Uint64()) \
25 V(float, kMachFloat32) \ 25 V(float, MachineType::Float32()) \
26 V(double, kMachFloat64) \ 26 V(double, MachineType::Float64()) \
27 V(void*, kMachPtr) \ 27 V(void*, MachineType::Pointer()) \
28 V(int*, kMachPtr) 28 V(int*, MachineType::Pointer())
29 29
30 template <typename T> 30 template <typename T>
31 inline MachineType MachineTypeForC() { 31 inline MachineType MachineTypeForC() {
32 while (false) { 32 while (false) {
33 // All other types T must be assignable to Object* 33 // All other types T must be assignable to Object*
34 *(static_cast<Object* volatile*>(0)) = static_cast<T>(0); 34 *(static_cast<Object* volatile*>(0)) = static_cast<T>(0);
35 } 35 }
36 return kMachAnyTagged; 36 return MachineType::AnyTagged();
37 } 37 }
38 38
39 #define DECLARE_TEMPLATE_SPECIALIZATION(ctype, mtype) \ 39 #define DECLARE_TEMPLATE_SPECIALIZATION(ctype, mtype) \
40 template <> \ 40 template <> \
41 inline MachineType MachineTypeForC<ctype>() { \ 41 inline MachineType MachineTypeForC<ctype>() { \
42 return mtype; \ 42 return mtype; \
43 } 43 }
44 FOREACH_CTYPE_MACHINE_TYPE_MAPPING(DECLARE_TEMPLATE_SPECIALIZATION) 44 FOREACH_CTYPE_MACHINE_TYPE_MAPPING(DECLARE_TEMPLATE_SPECIALIZATION)
45 #undef DECLARE_TEMPLATE_SPECIALIZATION 45 #undef DECLARE_TEMPLATE_SPECIALIZATION
46 46
(...skipping 10 matching lines...) Expand all
57 // Verifies the C signature against the machine types. Maximum {5} params. 57 // Verifies the C signature against the machine types. Maximum {5} params.
58 CHECK_LT(parameter_count(), 6u); 58 CHECK_LT(parameter_count(), 6u);
59 const int kMax = 5; 59 const int kMax = 5;
60 MachineType params[] = {MachineTypeForC<P1>(), MachineTypeForC<P2>(), 60 MachineType params[] = {MachineTypeForC<P1>(), MachineTypeForC<P2>(),
61 MachineTypeForC<P3>(), MachineTypeForC<P4>(), 61 MachineTypeForC<P3>(), MachineTypeForC<P4>(),
62 MachineTypeForC<P5>()}; 62 MachineTypeForC<P5>()};
63 for (int p = kMax - 1; p >= 0; p--) { 63 for (int p = kMax - 1; p >= 0; p--) {
64 if (p < static_cast<int>(parameter_count())) { 64 if (p < static_cast<int>(parameter_count())) {
65 CHECK_EQ(GetParam(p), params[p]); 65 CHECK_EQ(GetParam(p), params[p]);
66 } else { 66 } else {
67 CHECK_EQ(kMachNone, params[p]); 67 CHECK_EQ(MachineType::None(), params[p]);
68 } 68 }
69 } 69 }
70 } 70 }
71 71
72 static CSignature* FromMachine(Zone* zone, MachineSignature* msig) { 72 static CSignature* FromMachine(Zone* zone, MachineSignature* msig) {
73 return reinterpret_cast<CSignature*>(msig); 73 return reinterpret_cast<CSignature*>(msig);
74 } 74 }
75 75
76 static CSignature* New(Zone* zone, MachineType ret, 76 static CSignature* New(Zone* zone, MachineType ret,
77 MachineType p1 = kMachNone, MachineType p2 = kMachNone, 77 MachineType p1 = MachineType::None(),
78 MachineType p3 = kMachNone, MachineType p4 = kMachNone, 78 MachineType p2 = MachineType::None(),
79 MachineType p5 = kMachNone) { 79 MachineType p3 = MachineType::None(),
80 MachineType p4 = MachineType::None(),
81 MachineType p5 = MachineType::None()) {
80 MachineType* buffer = zone->NewArray<MachineType>(6); 82 MachineType* buffer = zone->NewArray<MachineType>(6);
81 int pos = 0; 83 int pos = 0;
82 size_t return_count = 0; 84 size_t return_count = 0;
83 if (ret != kMachNone) { 85 if (ret != MachineType::None()) {
84 buffer[pos++] = ret; 86 buffer[pos++] = ret;
85 return_count++; 87 return_count++;
86 } 88 }
87 buffer[pos++] = p1; 89 buffer[pos++] = p1;
88 buffer[pos++] = p2; 90 buffer[pos++] = p2;
89 buffer[pos++] = p3; 91 buffer[pos++] = p3;
90 buffer[pos++] = p4; 92 buffer[pos++] = p4;
91 buffer[pos++] = p5; 93 buffer[pos++] = p5;
92 size_t param_count = 5; 94 size_t param_count = 5;
93 if (p5 == kMachNone) param_count--; 95 if (p5 == MachineType::None()) param_count--;
94 if (p4 == kMachNone) param_count--; 96 if (p4 == MachineType::None()) param_count--;
95 if (p3 == kMachNone) param_count--; 97 if (p3 == MachineType::None()) param_count--;
96 if (p2 == kMachNone) param_count--; 98 if (p2 == MachineType::None()) param_count--;
97 if (p1 == kMachNone) param_count--; 99 if (p1 == MachineType::None()) param_count--;
98 for (size_t i = 0; i < param_count; i++) { 100 for (size_t i = 0; i < param_count; i++) {
99 // Check that there are no kMachNone's in the middle of parameters. 101 // Check that there are no MachineType::None()'s in the middle of
100 CHECK_NE(kMachNone, buffer[return_count + i]); 102 // parameters.
103 CHECK_NE(MachineType::None(), buffer[return_count + i]);
101 } 104 }
102 return new (zone) CSignature(return_count, param_count, buffer); 105 return new (zone) CSignature(return_count, param_count, buffer);
103 } 106 }
104 }; 107 };
105 108
106 109
107 template <typename Ret, uint16_t kParamCount> 110 template <typename Ret, uint16_t kParamCount>
108 class CSignatureOf : public CSignature { 111 class CSignatureOf : public CSignature {
109 protected: 112 protected:
110 MachineType storage_[1 + kParamCount]; 113 MachineType storage_[1 + kParamCount];
111 114
112 CSignatureOf() 115 CSignatureOf()
113 : CSignature(MachineTypeForC<Ret>() != kMachNone ? 1 : 0, kParamCount, 116 : CSignature(MachineTypeForC<Ret>() != MachineType::None() ? 1 : 0,
114 reinterpret_cast<MachineType*>(&storage_)) { 117 kParamCount, reinterpret_cast<MachineType*>(&storage_)) {
115 if (return_count_ == 1) storage_[0] = MachineTypeForC<Ret>(); 118 if (return_count_ == 1) storage_[0] = MachineTypeForC<Ret>();
116 } 119 }
117 void Set(int index, MachineType type) { 120 void Set(int index, MachineType type) {
118 CHECK_LE(0, index); 121 CHECK_LE(0, index);
119 CHECK_LT(index, kParamCount); 122 CHECK_LT(index, kParamCount);
120 reps_[return_count_ + index] = type; 123 reps_[return_count_ + index] = type;
121 } 124 }
122 }; 125 };
123 126
124 // Helper classes for instantiating Signature objects to be callable from C. 127 // Helper classes for instantiating Signature objects to be callable from C.
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after
158 typedef CSignature2<int32_t, int32_t, int32_t> CSignature_i_ii; 161 typedef CSignature2<int32_t, int32_t, int32_t> CSignature_i_ii;
159 typedef CSignature2<uint32_t, uint32_t, uint32_t> CSignature_u_uu; 162 typedef CSignature2<uint32_t, uint32_t, uint32_t> CSignature_u_uu;
160 typedef CSignature2<float, float, float> CSignature_f_ff; 163 typedef CSignature2<float, float, float> CSignature_f_ff;
161 typedef CSignature2<double, double, double> CSignature_d_dd; 164 typedef CSignature2<double, double, double> CSignature_d_dd;
162 typedef CSignature2<Object*, Object*, Object*> CSignature_o_oo; 165 typedef CSignature2<Object*, Object*, Object*> CSignature_o_oo;
163 } // namespace compiler 166 } // namespace compiler
164 } // namespace internal 167 } // namespace internal
165 } // namespace v8 168 } // namespace v8
166 169
167 #endif // V8_COMPILER_C_SIGNATURE_H_ 170 #endif // V8_COMPILER_C_SIGNATURE_H_
OLDNEW
« no previous file with comments | « src/machine-type.cc ('k') | test/cctest/compiler/codegen-tester.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698