summaryrefslogtreecommitdiffstats
path: root/js/src/jit/EdgeCaseAnalysis.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit/EdgeCaseAnalysis.cpp')
-rw-r--r--js/src/jit/EdgeCaseAnalysis.cpp47
1 files changed, 47 insertions, 0 deletions
diff --git a/js/src/jit/EdgeCaseAnalysis.cpp b/js/src/jit/EdgeCaseAnalysis.cpp
new file mode 100644
index 000000000..b7d73973a
--- /dev/null
+++ b/js/src/jit/EdgeCaseAnalysis.cpp
@@ -0,0 +1,47 @@
+/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
+ * vim: set ts=8 sts=4 et sw=4 tw=99:
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+#include "jit/EdgeCaseAnalysis.h"
+
+#include "jit/MIR.h"
+#include "jit/MIRGraph.h"
+
+using namespace js;
+using namespace js::jit;
+
+EdgeCaseAnalysis::EdgeCaseAnalysis(MIRGenerator* mir, MIRGraph& graph)
+ : mir(mir), graph(graph)
+{
+}
+
+bool
+EdgeCaseAnalysis::analyzeLate()
+{
+ // Renumber definitions for NeedNegativeZeroCheck under analyzeEdgeCasesBackward.
+ uint32_t nextId = 0;
+
+ for (ReversePostorderIterator block(graph.rpoBegin()); block != graph.rpoEnd(); block++) {
+ for (MDefinitionIterator iter(*block); iter; iter++) {
+ if (mir->shouldCancel("Analyze Late (first loop)"))
+ return false;
+
+ iter->setId(nextId++);
+ iter->analyzeEdgeCasesForward();
+ }
+ block->lastIns()->setId(nextId++);
+ }
+
+ for (PostorderIterator block(graph.poBegin()); block != graph.poEnd(); block++) {
+ for (MInstructionReverseIterator riter(block->rbegin()); riter != block->rend(); riter++) {
+ if (mir->shouldCancel("Analyze Late (second loop)"))
+ return false;
+
+ riter->analyzeEdgeCasesBackward();
+ }
+ }
+
+ return true;
+}