OLD | NEW |
1 // Copyright (c) 1994-2006 Sun Microsystems Inc. | 1 // Copyright (c) 1994-2006 Sun Microsystems Inc. |
2 // All Rights Reserved. | 2 // All Rights Reserved. |
3 // | 3 // |
4 // Redistribution and use in source and binary forms, with or without | 4 // Redistribution and use in source and binary forms, with or without |
5 // modification, are permitted provided that the following conditions are | 5 // modification, are permitted provided that the following conditions are |
6 // met: | 6 // met: |
7 // | 7 // |
8 // - Redistributions of source code must retain the above copyright notice, | 8 // - Redistributions of source code must retain the above copyright notice, |
9 // this list of conditions and the following disclaimer. | 9 // this list of conditions and the following disclaimer. |
10 // | 10 // |
(...skipping 24 matching lines...) Expand all Loading... |
35 // A light-weight IA32 Assembler. | 35 // A light-weight IA32 Assembler. |
36 | 36 |
37 #ifndef V8_IA32_ASSEMBLER_IA32_H_ | 37 #ifndef V8_IA32_ASSEMBLER_IA32_H_ |
38 #define V8_IA32_ASSEMBLER_IA32_H_ | 38 #define V8_IA32_ASSEMBLER_IA32_H_ |
39 | 39 |
40 #include <deque> | 40 #include <deque> |
41 | 41 |
42 #include "src/assembler.h" | 42 #include "src/assembler.h" |
43 #include "src/compiler.h" | 43 #include "src/compiler.h" |
44 #include "src/isolate.h" | 44 #include "src/isolate.h" |
45 #include "src/utils.h" | |
46 | 45 |
47 namespace v8 { | 46 namespace v8 { |
48 namespace internal { | 47 namespace internal { |
49 | 48 |
50 #define GENERAL_REGISTERS(V) \ | |
51 V(eax) \ | |
52 V(ecx) \ | |
53 V(edx) \ | |
54 V(ebx) \ | |
55 V(esp) \ | |
56 V(ebp) \ | |
57 V(esi) \ | |
58 V(edi) | |
59 | |
60 #define ALLOCATABLE_GENERAL_REGISTERS(V) \ | |
61 V(eax) \ | |
62 V(ecx) \ | |
63 V(edx) \ | |
64 V(ebx) \ | |
65 V(esi) \ | |
66 V(edi) | |
67 | |
68 #define DOUBLE_REGISTERS(V) \ | |
69 V(xmm0) \ | |
70 V(xmm1) \ | |
71 V(xmm2) \ | |
72 V(xmm3) \ | |
73 V(xmm4) \ | |
74 V(xmm5) \ | |
75 V(xmm6) \ | |
76 V(xmm7) | |
77 | |
78 #define ALLOCATABLE_DOUBLE_REGISTERS(V) \ | |
79 V(xmm1) \ | |
80 V(xmm2) \ | |
81 V(xmm3) \ | |
82 V(xmm4) \ | |
83 V(xmm5) \ | |
84 V(xmm6) \ | |
85 V(xmm7) | |
86 | |
87 // CPU Registers. | 49 // CPU Registers. |
88 // | 50 // |
89 // 1) We would prefer to use an enum, but enum values are assignment- | 51 // 1) We would prefer to use an enum, but enum values are assignment- |
90 // compatible with int, which has caused code-generation bugs. | 52 // compatible with int, which has caused code-generation bugs. |
91 // | 53 // |
92 // 2) We would prefer to use a class instead of a struct but we don't like | 54 // 2) We would prefer to use a class instead of a struct but we don't like |
93 // the register initialization to depend on the particular initialization | 55 // the register initialization to depend on the particular initialization |
94 // order (which appears to be different on OS X, Linux, and Windows for the | 56 // order (which appears to be different on OS X, Linux, and Windows for the |
95 // installed versions of C++ we tried). Using a struct permits C-style | 57 // installed versions of C++ we tried). Using a struct permits C-style |
96 // "initialization". Also, the Register objects cannot be const as this | 58 // "initialization". Also, the Register objects cannot be const as this |
97 // forces initialization stubs in MSVC, making us dependent on initialization | 59 // forces initialization stubs in MSVC, making us dependent on initialization |
98 // order. | 60 // order. |
99 // | 61 // |
100 // 3) By not using an enum, we are possibly preventing the compiler from | 62 // 3) By not using an enum, we are possibly preventing the compiler from |
101 // doing certain constant folds, which may significantly reduce the | 63 // doing certain constant folds, which may significantly reduce the |
102 // code generated for some assembly instructions (because they boil down | 64 // code generated for some assembly instructions (because they boil down |
103 // to a few constants). If this is a problem, we could change the code | 65 // to a few constants). If this is a problem, we could change the code |
104 // such that we use an enum in optimized mode, and the struct in debug | 66 // such that we use an enum in optimized mode, and the struct in debug |
105 // mode. This way we get the compile-time error checking in debug mode | 67 // mode. This way we get the compile-time error checking in debug mode |
106 // and best performance in optimized code. | 68 // and best performance in optimized code. |
107 // | 69 // |
108 struct Register { | 70 struct Register { |
109 enum Code { | 71 static const int kMaxNumAllocatableRegisters = 6; |
110 #define REGISTER_CODE(R) kCode_##R, | 72 static int NumAllocatableRegisters() { |
111 GENERAL_REGISTERS(REGISTER_CODE) | 73 return kMaxNumAllocatableRegisters; |
112 #undef REGISTER_CODE | 74 } |
113 kAfterLast, | 75 static const int kNumRegisters = 8; |
114 kCode_no_reg = -1 | |
115 }; | |
116 | 76 |
117 static const int kNumRegisters = Code::kAfterLast; | 77 static inline const char* AllocationIndexToString(int index); |
| 78 |
| 79 static inline int ToAllocationIndex(Register reg); |
| 80 |
| 81 static inline Register FromAllocationIndex(int index); |
118 | 82 |
119 static Register from_code(int code) { | 83 static Register from_code(int code) { |
120 DCHECK(code >= 0); | 84 DCHECK(code >= 0); |
121 DCHECK(code < kNumRegisters); | 85 DCHECK(code < kNumRegisters); |
122 Register r = {code}; | 86 Register r = { code }; |
123 return r; | 87 return r; |
124 } | 88 } |
125 const char* ToString(); | 89 bool is_valid() const { return 0 <= code_ && code_ < kNumRegisters; } |
126 bool IsAllocatable() const; | 90 bool is(Register reg) const { return code_ == reg.code_; } |
127 bool is_valid() const { return 0 <= reg_code && reg_code < kNumRegisters; } | 91 // eax, ebx, ecx and edx are byte registers, the rest are not. |
128 bool is(Register reg) const { return reg_code == reg.reg_code; } | 92 bool is_byte_register() const { return code_ <= 3; } |
129 int code() const { | 93 int code() const { |
130 DCHECK(is_valid()); | 94 DCHECK(is_valid()); |
131 return reg_code; | 95 return code_; |
132 } | 96 } |
133 int bit() const { | 97 int bit() const { |
134 DCHECK(is_valid()); | 98 DCHECK(is_valid()); |
135 return 1 << reg_code; | 99 return 1 << code_; |
136 } | 100 } |
137 | 101 |
138 bool is_byte_register() const { return reg_code <= 3; } | 102 // Unfortunately we can't make this private in a struct. |
| 103 int code_; |
| 104 }; |
139 | 105 |
140 // Unfortunately we can't make this private in a struct. | 106 const int kRegister_eax_Code = 0; |
141 int reg_code; | 107 const int kRegister_ecx_Code = 1; |
| 108 const int kRegister_edx_Code = 2; |
| 109 const int kRegister_ebx_Code = 3; |
| 110 const int kRegister_esp_Code = 4; |
| 111 const int kRegister_ebp_Code = 5; |
| 112 const int kRegister_esi_Code = 6; |
| 113 const int kRegister_edi_Code = 7; |
| 114 const int kRegister_no_reg_Code = -1; |
| 115 |
| 116 const Register eax = { kRegister_eax_Code }; |
| 117 const Register ecx = { kRegister_ecx_Code }; |
| 118 const Register edx = { kRegister_edx_Code }; |
| 119 const Register ebx = { kRegister_ebx_Code }; |
| 120 const Register esp = { kRegister_esp_Code }; |
| 121 const Register ebp = { kRegister_ebp_Code }; |
| 122 const Register esi = { kRegister_esi_Code }; |
| 123 const Register edi = { kRegister_edi_Code }; |
| 124 const Register no_reg = { kRegister_no_reg_Code }; |
| 125 |
| 126 |
| 127 inline const char* Register::AllocationIndexToString(int index) { |
| 128 DCHECK(index >= 0 && index < kMaxNumAllocatableRegisters); |
| 129 // This is the mapping of allocation indices to registers. |
| 130 const char* const kNames[] = { "eax", "ecx", "edx", "ebx", "esi", "edi" }; |
| 131 return kNames[index]; |
| 132 } |
| 133 |
| 134 |
| 135 inline int Register::ToAllocationIndex(Register reg) { |
| 136 DCHECK(reg.is_valid() && !reg.is(esp) && !reg.is(ebp)); |
| 137 return (reg.code() >= 6) ? reg.code() - 2 : reg.code(); |
| 138 } |
| 139 |
| 140 |
| 141 inline Register Register::FromAllocationIndex(int index) { |
| 142 DCHECK(index >= 0 && index < kMaxNumAllocatableRegisters); |
| 143 return (index >= 4) ? from_code(index + 2) : from_code(index); |
| 144 } |
| 145 |
| 146 |
| 147 struct XMMRegister { |
| 148 static const int kMaxNumAllocatableRegisters = 7; |
| 149 static const int kMaxNumRegisters = 8; |
| 150 static int NumAllocatableRegisters() { |
| 151 return kMaxNumAllocatableRegisters; |
| 152 } |
| 153 |
| 154 // TODO(turbofan): Proper support for float32. |
| 155 static int NumAllocatableAliasedRegisters() { |
| 156 return NumAllocatableRegisters(); |
| 157 } |
| 158 |
| 159 static int ToAllocationIndex(XMMRegister reg) { |
| 160 DCHECK(reg.code() != 0); |
| 161 return reg.code() - 1; |
| 162 } |
| 163 |
| 164 static XMMRegister FromAllocationIndex(int index) { |
| 165 DCHECK(index >= 0 && index < kMaxNumAllocatableRegisters); |
| 166 return from_code(index + 1); |
| 167 } |
| 168 |
| 169 static XMMRegister from_code(int code) { |
| 170 XMMRegister result = { code }; |
| 171 return result; |
| 172 } |
| 173 |
| 174 bool is_valid() const { |
| 175 return 0 <= code_ && code_ < kMaxNumRegisters; |
| 176 } |
| 177 |
| 178 int code() const { |
| 179 DCHECK(is_valid()); |
| 180 return code_; |
| 181 } |
| 182 |
| 183 bool is(XMMRegister reg) const { return code_ == reg.code_; } |
| 184 |
| 185 static const char* AllocationIndexToString(int index) { |
| 186 DCHECK(index >= 0 && index < kMaxNumAllocatableRegisters); |
| 187 const char* const names[] = { |
| 188 "xmm1", |
| 189 "xmm2", |
| 190 "xmm3", |
| 191 "xmm4", |
| 192 "xmm5", |
| 193 "xmm6", |
| 194 "xmm7" |
| 195 }; |
| 196 return names[index]; |
| 197 } |
| 198 |
| 199 int code_; |
142 }; | 200 }; |
143 | 201 |
144 | 202 |
145 #define DECLARE_REGISTER(R) const Register R = {Register::kCode_##R}; | 203 typedef XMMRegister DoubleRegister; |
146 GENERAL_REGISTERS(DECLARE_REGISTER) | |
147 #undef DECLARE_REGISTER | |
148 const Register no_reg = {Register::kCode_no_reg}; | |
149 | 204 |
150 | 205 |
151 struct DoubleRegister { | 206 const XMMRegister xmm0 = { 0 }; |
152 enum Code { | 207 const XMMRegister xmm1 = { 1 }; |
153 #define REGISTER_CODE(R) kCode_##R, | 208 const XMMRegister xmm2 = { 2 }; |
154 DOUBLE_REGISTERS(REGISTER_CODE) | 209 const XMMRegister xmm3 = { 3 }; |
155 #undef REGISTER_CODE | 210 const XMMRegister xmm4 = { 4 }; |
156 kAfterLast, | 211 const XMMRegister xmm5 = { 5 }; |
157 kCode_no_reg = -1 | 212 const XMMRegister xmm6 = { 6 }; |
158 }; | 213 const XMMRegister xmm7 = { 7 }; |
| 214 const XMMRegister no_xmm_reg = { -1 }; |
159 | 215 |
160 static const int kMaxNumRegisters = Code::kAfterLast; | |
161 | |
162 static DoubleRegister from_code(int code) { | |
163 DoubleRegister result = {code}; | |
164 return result; | |
165 } | |
166 | |
167 bool IsAllocatable() const; | |
168 bool is_valid() const { return 0 <= reg_code && reg_code < kMaxNumRegisters; } | |
169 | |
170 int code() const { | |
171 DCHECK(is_valid()); | |
172 return reg_code; | |
173 } | |
174 | |
175 bool is(DoubleRegister reg) const { return reg_code == reg.reg_code; } | |
176 | |
177 const char* ToString(); | |
178 | |
179 int reg_code; | |
180 }; | |
181 | |
182 #define DECLARE_REGISTER(R) \ | |
183 const DoubleRegister R = {DoubleRegister::kCode_##R}; | |
184 DOUBLE_REGISTERS(DECLARE_REGISTER) | |
185 #undef DECLARE_REGISTER | |
186 const DoubleRegister no_double_reg = {DoubleRegister::kCode_no_reg}; | |
187 | |
188 typedef DoubleRegister XMMRegister; | |
189 | 216 |
190 enum Condition { | 217 enum Condition { |
191 // any value < 0 is considered no_condition | 218 // any value < 0 is considered no_condition |
192 no_condition = -1, | 219 no_condition = -1, |
193 | 220 |
194 overflow = 0, | 221 overflow = 0, |
195 no_overflow = 1, | 222 no_overflow = 1, |
196 below = 2, | 223 below = 2, |
197 above_equal = 3, | 224 above_equal = 3, |
198 equal = 4, | 225 equal = 4, |
(...skipping 1365 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1564 private: | 1591 private: |
1565 Assembler* assembler_; | 1592 Assembler* assembler_; |
1566 #ifdef DEBUG | 1593 #ifdef DEBUG |
1567 int space_before_; | 1594 int space_before_; |
1568 #endif | 1595 #endif |
1569 }; | 1596 }; |
1570 | 1597 |
1571 } } // namespace v8::internal | 1598 } } // namespace v8::internal |
1572 | 1599 |
1573 #endif // V8_IA32_ASSEMBLER_IA32_H_ | 1600 #endif // V8_IA32_ASSEMBLER_IA32_H_ |
OLD | NEW |