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

Unified Diff: src/interpreter/bytecode-peephole-optimizer.h

Issue 2118183002: [interpeter] Move to table based peephole optimizer. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Attempt gn build. Created 4 years, 5 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 side-by-side diff with in-line comments
Download patch
Index: src/interpreter/bytecode-peephole-optimizer.h
diff --git a/src/interpreter/bytecode-peephole-optimizer.h b/src/interpreter/bytecode-peephole-optimizer.h
index e6ada2aa1ef244c4f3c07c176f80ac26df4994ca..70d439343ae056a07a05aec7983841cf9215e7ea 100644
--- a/src/interpreter/bytecode-peephole-optimizer.h
+++ b/src/interpreter/bytecode-peephole-optimizer.h
@@ -1,4 +1,4 @@
-// Copyright 2015 the V8 project authors. All rights reserved.
+// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
@@ -13,6 +13,46 @@ namespace interpreter {
class ConstantArrayBuilder;
+#define PEEPHOLE_NON_JUMP_ACTION_LIST(V) \
+ V(DefaultAction) \
+ V(UpdateLastAction) \
+ V(ElideCurrentAction) \
+ V(ElideCurrentIfOperand0MatchesAction) \
+ V(ElideCurrentIfLoadingNameConstantAction) \
+ V(ElideLastAction) \
+ V(ChangeBytecodeAction) \
+ V(TransformLdaStarToLdrLdarAction) \
+ V(TransformLdaSmiBinaryOpToBinaryOpWithSmiAction) \
+ V(TransformLdaZeroBinaryOpToBinaryOpWithZeroAction)
+
+#define PEEPHOLE_JUMP_ACTION_LIST(V) \
+ V(DefaultJumpAction) \
+ V(UpdateLastJumpAction) \
+ V(ChangeJumpBytecodeAction) \
+ V(ElideLastBeforeJumpAction)
+
+#define PEEPHOLE_ACTION_LIST(V) \
+ PEEPHOLE_NON_JUMP_ACTION_LIST(V) \
+ PEEPHOLE_JUMP_ACTION_LIST(V)
+
+// Actions to take when a pair of bytes is encountered. A handler
+// exists for each action.
+enum class PeepholeAction : uint8_t {
+#define DECLARE_PEEPHOLE_ACTION(Action) k##Action,
+ PEEPHOLE_ACTION_LIST(DECLARE_PEEPHOLE_ACTION)
+#undef DECLARE_PEEPHOLE_ACTION
+};
+
+// Tuple of action to take when pair of bytecodes is encountered and
+// optional data to invoke handler with.
+struct PeepholeActionAndData final {
+ // Action to take when tuple of bytecodes encountered.
+ PeepholeAction action;
+
+ // Replacement bytecode (if valid).
+ Bytecode bytecode;
+};
+
// An optimization stage for performing peephole optimizations on
// generated bytecode. The optimizer may buffer one bytecode
// internally.
@@ -32,31 +72,26 @@ class BytecodePeepholeOptimizer final : public BytecodePipelineStage,
Handle<FixedArray> handler_table) override;
private:
- BytecodeNode* OptimizeAndEmitLast(BytecodeNode* current);
- BytecodeNode* Optimize(BytecodeNode* current);
- void Flush();
+#define DECLARE_ACTION(Action) \
+ void Action(BytecodeNode* const node, \
+ const PeepholeActionAndData* const action_data = nullptr);
+ PEEPHOLE_ACTION_LIST(DECLARE_ACTION)
+#undef DECLARE_ACTION
- void TryToRemoveLastExpressionPosition(const BytecodeNode* const current);
- bool TransformCurrentBytecode(BytecodeNode* const current);
- bool TransformLastAndCurrentBytecodes(BytecodeNode* const current);
- bool CanElideCurrent(const BytecodeNode* const current) const;
- bool CanElideLast(const BytecodeNode* const current) const;
+ void Optimize(BytecodeNode* const node);
+ void Flush();
bool CanElideLastBasedOnSourcePosition(
const BytecodeNode* const current) const;
-
- // Simple substitution methods.
- bool RemoveToBooleanFromJump(BytecodeNode* const current);
- bool RemoveToBooleanFromLogicalNot(BytecodeNode* const current);
-
void InvalidateLast();
bool LastIsValid() const;
void SetLast(const BytecodeNode* const node);
- bool LastBytecodePutsNameInAccumulator() const;
-
Handle<Object> GetConstantForIndexOperand(const BytecodeNode* const node,
int index) const;
+ BytecodePipelineStage* next_stage() const { return next_stage_; }
+ BytecodeNode* last() { return &last_; }
+
ConstantArrayBuilder* constant_array_builder_;
BytecodePipelineStage* next_stage_;
BytecodeNode last_;

Powered by Google App Engine
This is Rietveld 408576698