blob: c78da1e5178adcb66bd5db2cccd4c61889aac78e [file] [log] [blame]
Emily Bernier958fae72015-03-24 16:35:39 -04001// 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
3// found in the LICENSE file.
4
Rubin Xu2894c6a2019-02-07 16:01:35 +00005#ifndef V8_COMPILER_MOVE_OPTIMIZER_H_
6#define V8_COMPILER_MOVE_OPTIMIZER_H_
Emily Bernier958fae72015-03-24 16:35:39 -04007
8#include "src/compiler/instruction.h"
Ben Murdochc8c1d9e2017-03-08 14:04:23 +00009#include "src/globals.h"
Ben Murdochf3b273f2017-01-17 12:11:28 +000010#include "src/zone/zone-containers.h"
Emily Bernier958fae72015-03-24 16:35:39 -040011
12namespace v8 {
13namespace internal {
14namespace compiler {
15
Ben Murdochc8c1d9e2017-03-08 14:04:23 +000016class V8_EXPORT_PRIVATE MoveOptimizer final {
Emily Bernier958fae72015-03-24 16:35:39 -040017 public:
18 MoveOptimizer(Zone* local_zone, InstructionSequence* code);
19 void Run();
20
21 private:
22 typedef ZoneVector<MoveOperands*> MoveOpVector;
Ben Murdoch014dc512016-03-22 12:00:34 +000023 typedef ZoneVector<Instruction*> Instructions;
Emily Bernier958fae72015-03-24 16:35:39 -040024
25 InstructionSequence* code() const { return code_; }
26 Zone* local_zone() const { return local_zone_; }
27 Zone* code_zone() const { return code()->zone(); }
Ben Murdoch014dc512016-03-22 12:00:34 +000028 MoveOpVector& local_vector() { return local_vector_; }
Emily Bernier958fae72015-03-24 16:35:39 -040029
Ben Murdoch109988c2016-05-18 11:27:45 +010030 // Consolidate moves into the first gap.
31 void CompressGaps(Instruction* instr);
32
33 // Attempt to push down to the last instruction those moves that can.
34 void CompressBlock(InstructionBlock* block);
35
36 // Consolidate moves into the first gap.
37 void CompressMoves(ParallelMove* left, MoveOpVector* right);
38
39 // Push down those moves in the gap of from that do not change the
40 // semantics of the from instruction, nor the semantics of the moves
41 // that remain behind.
42 void MigrateMoves(Instruction* to, Instruction* from);
43
44 void RemoveClobberedDestinations(Instruction* instruction);
45
Ben Murdoch014dc512016-03-22 12:00:34 +000046 const Instruction* LastInstruction(const InstructionBlock* block) const;
Ben Murdoch109988c2016-05-18 11:27:45 +010047
Rubin Xu2894c6a2019-02-07 16:01:35 +000048 // Consolidate common moves appearing across all predecessors of a block.
Ben Murdoch014dc512016-03-22 12:00:34 +000049 void OptimizeMerge(InstructionBlock* block);
50 void FinalizeMoves(Instruction* instr);
Emily Bernier958fae72015-03-24 16:35:39 -040051
52 Zone* const local_zone_;
53 InstructionSequence* const code_;
Ben Murdoch014dc512016-03-22 12:00:34 +000054 MoveOpVector local_vector_;
Emily Bernier958fae72015-03-24 16:35:39 -040055
Ben Murdochc8c1d9e2017-03-08 14:04:23 +000056 // Reusable buffers for storing operand sets. We need at most two sets
57 // at any given time, so we create two buffers.
58 ZoneVector<InstructionOperand> operand_buffer1;
59 ZoneVector<InstructionOperand> operand_buffer2;
60
Emily Bernier958fae72015-03-24 16:35:39 -040061 DISALLOW_COPY_AND_ASSIGN(MoveOptimizer);
62};
63
64} // namespace compiler
65} // namespace internal
66} // namespace v8
67
Rubin Xu2894c6a2019-02-07 16:01:35 +000068#endif // V8_COMPILER_MOVE_OPTIMIZER_H_