1 // Copyright 2011 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. 4 5 #ifndef V8_CRANKSHAFT_X87_LITHIUM_GAP_RESOLVER_X87_H_ 6 #define V8_CRANKSHAFT_X87_LITHIUM_GAP_RESOLVER_X87_H_ 7 8 #include "src/crankshaft/lithium.h" 9 10 namespace v8 { 11 namespace internal { 12 13 class LCodeGen; 14 class LGapResolver; 15 16 class LGapResolver final BASE_EMBEDDED { 17 public: 18 explicit LGapResolver(LCodeGen* owner); 19 20 // Resolve a set of parallel moves, emitting assembler instructions. 21 void Resolve(LParallelMove* parallel_move); 22 23 private: 24 // Build the initial list of moves. 25 void BuildInitialMoveList(LParallelMove* parallel_move); 26 27 // Perform the move at the moves_ index in question (possibly requiring 28 // other moves to satisfy dependencies). 29 void PerformMove(int index); 30 31 // Emit any code necessary at the end of a gap move. 32 void Finish(); 33 34 // Add or delete a move from the move graph without emitting any code. 35 // Used to build up the graph and remove trivial moves. 36 void AddMove(LMoveOperands move); 37 void RemoveMove(int index); 38 39 // Report the count of uses of operand as a source in a not-yet-performed 40 // move. Used to rebuild use counts. 41 int CountSourceUses(LOperand* operand); 42 43 // Emit a move and remove it from the move graph. 44 void EmitMove(int index); 45 46 // Execute a move by emitting a swap of two operands. The move from 47 // source to destination is removed from the move graph. 48 void EmitSwap(int index); 49 50 // Ensure that the given operand is not spilled. 51 void EnsureRestored(LOperand* operand); 52 53 // Return a register that can be used as a temp register, spilling 54 // something if necessary. 55 Register EnsureTempRegister(); 56 57 // Return a known free register different from the given one (which could 58 // be no_reg---returning any free register), or no_reg if there is no such 59 // register. 60 Register GetFreeRegisterNot(Register reg); 61 62 // Verify that the state is the initial one, ready to resolve a single 63 // parallel move. 64 bool HasBeenReset(); 65 66 // Verify the move list before performing moves. 67 void Verify(); 68 69 LCodeGen* cgen_; 70 71 // List of moves not yet resolved. 72 ZoneList<LMoveOperands> moves_; 73 74 // Source and destination use counts for the general purpose registers. 75 int source_uses_[Register::kNumRegisters]; 76 int destination_uses_[DoubleRegister::kMaxNumRegisters]; 77 78 // If we had to spill on demand, the currently spilled register's 79 // allocation index. 80 int spilled_register_; 81 }; 82 83 } // namespace internal 84 } // namespace v8 85 86 #endif // V8_CRANKSHAFT_X87_LITHIUM_GAP_RESOLVER_X87_H_ 87