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

Side by Side Diff: src/register-allocator.h

Issue 113837: Change the register allocator so that it no longer tracks references... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: '' Created 11 years, 7 months 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 | Annotate | Revision Log
OLDNEW
1 // Copyright 2008 the V8 project authors. All rights reserved. 1 // Copyright 2008 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 12 matching lines...) Expand all
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 27
28 #ifndef V8_REGISTER_ALLOCATOR_H_ 28 #ifndef V8_REGISTER_ALLOCATOR_H_
29 #define V8_REGISTER_ALLOCATOR_H_ 29 #define V8_REGISTER_ALLOCATOR_H_
30 30
31 #include "macro-assembler.h" 31 #include "macro-assembler.h"
32 32
33 #if V8_TARGET_ARCH_IA32
34 #include "ia32/register-allocator-ia32.h"
35 #elif V8_TARGET_ARCH_X64
36 #include "x64/register-allocator-x64.h"
37 #elif V8_TARGET_ARCH_ARM
38 #include "arm/register-allocator-arm.h"
39 #else
40 #error Unsupported target architecture.
41 #endif
42
33 namespace v8 { 43 namespace v8 {
34 namespace internal { 44 namespace internal {
35 45
36 46
37 // ------------------------------------------------------------------------- 47 // -------------------------------------------------------------------------
38 // StaticType 48 // StaticType
39 // 49 //
40 // StaticType represent the type of an expression or a word at runtime. 50 // StaticType represent the type of an expression or a word at runtime.
41 // The types are ordered by knowledge, so that if a value can come about 51 // The types are ordered by knowledge, so that if a value can come about
42 // in more than one way, and there are different static types inferred 52 // in more than one way, and there are different static types inferred
(...skipping 191 matching lines...) Expand 10 before | Expand all | Expand 10 after
234 class RegisterFile BASE_EMBEDDED { 244 class RegisterFile BASE_EMBEDDED {
235 public: 245 public:
236 RegisterFile() { Reset(); } 246 RegisterFile() { Reset(); }
237 247
238 void Reset() { 248 void Reset() {
239 for (int i = 0; i < kNumRegisters; i++) { 249 for (int i = 0; i < kNumRegisters; i++) {
240 ref_counts_[i] = 0; 250 ref_counts_[i] = 0;
241 } 251 }
242 } 252 }
243 253
244 // Predicates and accessors for the reference counts. The versions 254 // Predicates and accessors for the reference counts.
245 // that take a register code rather than a register are for 255 bool is_used(int num) {
246 // convenience in loops over the register codes. 256 ASSERT(0 <= num && num < kNumRegisters);
247 bool is_used(int reg_code) const { return ref_counts_[reg_code] > 0; } 257 return ref_counts_[num] > 0;
248 bool is_used(Register reg) const { return is_used(reg.code()); } 258 }
249 int count(int reg_code) const { return ref_counts_[reg_code]; } 259
250 int count(Register reg) const { return count(reg.code()); } 260 int count(int num) {
261 ASSERT(0 <= num && num < kNumRegisters);
262 return ref_counts_[num];
263 }
251 264
252 // Record a use of a register by incrementing its reference count. 265 // Record a use of a register by incrementing its reference count.
253 void Use(Register reg) { 266 void Use(int num) {
254 ref_counts_[reg.code()]++; 267 ASSERT(0 <= num && num < kNumRegisters);
268 ref_counts_[num]++;
255 } 269 }
256 270
257 // Record that a register will no longer be used by decrementing its 271 // Record that a register will no longer be used by decrementing its
258 // reference count. 272 // reference count.
259 void Unuse(Register reg) { 273 void Unuse(int num) {
260 ASSERT(!reg.is(no_reg)); 274 ASSERT(is_used(num));
261 ASSERT(is_used(reg.code())); 275 ref_counts_[num]--;
262 ref_counts_[reg.code()]--;
263 } 276 }
264 277
265 // Copy the reference counts from this register file to the other. 278 // Copy the reference counts from this register file to the other.
266 void CopyTo(RegisterFile* other) { 279 void CopyTo(RegisterFile* other) {
267 for (int i = 0; i < kNumRegisters; i++) { 280 for (int i = 0; i < kNumRegisters; i++) {
268 other->ref_counts_[i] = ref_counts_[i]; 281 other->ref_counts_[i] = ref_counts_[i];
269 } 282 }
270 } 283 }
271 284
272 private: 285 private:
286 static const int kNumRegisters = RegisterAllocatorConstants::kNumRegisters;
287
273 int ref_counts_[kNumRegisters]; 288 int ref_counts_[kNumRegisters];
274 289
275 // Very fast inlined loop to find a free register. 290 // Very fast inlined loop to find a free register. Used in
276 // Used in RegisterAllocator::AllocateWithoutSpilling. 291 // RegisterAllocator::AllocateWithoutSpilling. Returns
277 // Returns kNumRegisters if no free register found. 292 // kInvalidRegister if no free register found.
278 inline int ScanForFreeRegister() { 293 int ScanForFreeRegister() {
279 int i = 0; 294 for (int i = 0; i < RegisterAllocatorConstants::kNumRegisters; i++) {
280 for (; i < kNumRegisters ; ++i) { 295 if (!is_used(i)) return i;
281 if (ref_counts_[i] == 0) break;
282 } 296 }
283 return i; 297 return RegisterAllocatorConstants::kInvalidRegister;
284 } 298 }
285 299
286 friend class RegisterAllocator; 300 friend class RegisterAllocator;
287 }; 301 };
288 302
289 303
290 // ------------------------------------------------------------------------- 304 // -------------------------------------------------------------------------
291 // Register allocator 305 // Register allocator
292 // 306 //
293 307
294 class RegisterAllocator BASE_EMBEDDED { 308 class RegisterAllocator BASE_EMBEDDED {
295 public: 309 public:
310 static const int kNumRegisters =
311 RegisterAllocatorConstants::kNumRegisters;
312 static const int kInvalidRegister =
313 RegisterAllocatorConstants::kInvalidRegister;
314
296 explicit RegisterAllocator(CodeGenerator* cgen) : cgen_(cgen) {} 315 explicit RegisterAllocator(CodeGenerator* cgen) : cgen_(cgen) {}
297 316
298 // A register file with each of the reserved registers counted once. 317 // True if the register is reserved by the code generator, false if it
299 static RegisterFile Reserved(); 318 // can be freely used by the allocator Defined in the
319 // platform-specific XXX-inl.h files..
320 static inline bool IsReserved(Register reg);
300 321
301 // Unuse all the reserved registers in a register file. 322 // Convert between (unreserved) assembler registers and allocator
302 static void UnuseReserved(RegisterFile* register_file); 323 // numbers. Defined in the platform-specific XXX-inl.h files.
303 324 static inline int ToNumber(Register reg);
304 // True if the register is reserved by the code generator, false if it 325 static inline Register ToRegister(int num);
305 // can be freely used by the allocator.
306 static bool IsReserved(int reg_code);
307 static bool IsReserved(Register reg) { return IsReserved(reg); }
308 326
309 // Predicates and accessors for the registers' reference counts. 327 // Predicates and accessors for the registers' reference counts.
310 bool is_used(int reg_code) const { return registers_.is_used(reg_code); } 328 bool is_used(int num) { return registers_.is_used(num); }
311 bool is_used(Register reg) const { return registers_.is_used(reg.code()); } 329 bool is_used(Register reg) { return registers_.is_used(ToNumber(reg)); }
312 int count(int reg_code) const { return registers_.count(reg_code); } 330
313 int count(Register reg) const { return registers_.count(reg.code()); } 331 int count(int num) { return registers_.count(num); }
332 int count(Register reg) { return registers_.count(ToNumber(reg)); }
314 333
315 // Explicitly record a reference to a register. 334 // Explicitly record a reference to a register.
316 void Use(Register reg) { registers_.Use(reg); } 335 void Use(int num) { registers_.Use(num); }
336 void Use(Register reg) { registers_.Use(ToNumber(reg)); }
317 337
318 // Explicitly record that a register will no longer be used. 338 // Explicitly record that a register will no longer be used.
319 void Unuse(Register reg) { registers_.Unuse(reg); } 339 void Unuse(int num) { registers_.Unuse(num); }
340 void Unuse(Register reg) { registers_.Unuse(ToNumber(reg)); }
341
342 // Reset the register reference counts to free all non-reserved registers.
343 void Reset() { registers_.Reset(); }
320 344
321 // Initialize the register allocator for entry to a JS function. On 345 // Initialize the register allocator for entry to a JS function. On
322 // entry, the registers used by the JS calling convention are 346 // entry, the (non-reserved) registers used by the JS calling
323 // externally referenced (ie, outside the virtual frame); and the 347 // convention are referenced and the other (non-reserved) registers
324 // other registers are free. 348 // are free.
325 void Initialize(); 349 inline void Initialize();
326
327 // Reset the register reference counts to free all non-reserved registers.
328 // A frame-external reference is kept to each of the reserved registers.
329 void Reset();
330 350
331 // Allocate a free register and return a register result if possible or 351 // Allocate a free register and return a register result if possible or
332 // fail and return an invalid result. 352 // fail and return an invalid result.
333 Result Allocate(); 353 Result Allocate();
334 354
335 // Allocate a specific register if possible, spilling it from the frame if 355 // Allocate a specific register if possible, spilling it from the
336 // necessary, or else fail and return an invalid result. 356 // current frame if necessary, or else fail and return an invalid
357 // result.
337 Result Allocate(Register target); 358 Result Allocate(Register target);
338 359
339 // Allocate a free register without spilling any from the current frame or 360 // Allocate a free register without spilling any from the current
340 // fail and return an invalid result. 361 // frame or fail and return an invalid result.
341 Result AllocateWithoutSpilling(); 362 Result AllocateWithoutSpilling();
342 363
343 // Allocate a free byte register without spilling any from the 364 // Allocate a free byte register without spilling any from the current
344 // current frame or fail and return an invalid result. 365 // frame or fail and return an invalid result.
345 Result AllocateByteRegisterWithoutSpilling(); 366 Result AllocateByteRegisterWithoutSpilling();
346 367
347 // Copy the internal state to a register file, to be restored later by 368 // Copy the internal state to a register file, to be restored later by
348 // RestoreFrom. 369 // RestoreFrom.
349 void SaveTo(RegisterFile* register_file) { 370 void SaveTo(RegisterFile* register_file) {
350 registers_.CopyTo(register_file); 371 registers_.CopyTo(register_file);
351 } 372 }
352 373
374 // Restore the internal state.
353 void RestoreFrom(RegisterFile* register_file) { 375 void RestoreFrom(RegisterFile* register_file) {
354 register_file->CopyTo(&registers_); 376 register_file->CopyTo(&registers_);
355 } 377 }
356 378
357 private: 379 private:
358 CodeGenerator* cgen_; 380 CodeGenerator* cgen_;
359 RegisterFile registers_; 381 RegisterFile registers_;
360 }; 382 };
361 383
362 } } // namespace v8::internal 384 } } // namespace v8::internal
363 385
364 #endif // V8_REGISTER_ALLOCATOR_H_ 386 #endif // V8_REGISTER_ALLOCATOR_H_
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698