1e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch// Copyright 2011 the V8 project authors. All rights reserved.
2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be
3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file.
4e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
5e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch#ifndef V8_ARM_LITHIUM_GAP_RESOLVER_ARM_H_
6e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch#define V8_ARM_LITHIUM_GAP_RESOLVER_ARM_H_
7e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/v8.h"
9e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/lithium.h"
11e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
12e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdochnamespace v8 {
13e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdochnamespace internal {
14e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
15e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdochclass LCodeGen;
16e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdochclass LGapResolver;
17e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochclass LGapResolver FINAL BASE_EMBEDDED {
19e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch public:
20e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  explicit LGapResolver(LCodeGen* owner);
21e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
22e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // Resolve a set of parallel moves, emitting assembler instructions.
23e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void Resolve(LParallelMove* parallel_move);
24e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
25e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch private:
26e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // Build the initial list of moves.
27e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void BuildInitialMoveList(LParallelMove* parallel_move);
28e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
29e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // Perform the move at the moves_ index in question (possibly requiring
30e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // other moves to satisfy dependencies).
31e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void PerformMove(int index);
32e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
33e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // If a cycle is found in the series of moves, save the blocking value to
34e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // a scratch register.  The cycle must be found by hitting the root of the
35e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // depth-first search.
36e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void BreakCycle(int index);
37e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
38e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // After a cycle has been resolved, restore the value from the scratch
39e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // register to its proper destination.
40e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void RestoreValue();
41e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
42e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // Emit a move and remove it from the move graph.
43e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void EmitMove(int index);
44e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
45e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // Verify the move list before performing moves.
46e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  void Verify();
47e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
48e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  LCodeGen* cgen_;
49e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
50e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // List of moves not yet resolved.
51e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  ZoneList<LMoveOperands> moves_;
52e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
53e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  int root_index_;
54e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  bool in_cycle_;
55e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  LOperand* saved_destination_;
56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // We use the root register as a scratch in a few places. When that happens,
58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // this flag is set to indicate that it needs to be restored.
59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  bool need_to_restore_root_;
60e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch};
61e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
62e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch} }  // namespace v8::internal
63e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
64e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch#endif  // V8_ARM_LITHIUM_GAP_RESOLVER_ARM_H_
65