summaryrefslogtreecommitdiff
path: root/Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h
diff options
context:
space:
mode:
Diffstat (limited to 'Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h')
-rw-r--r--Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h29
1 files changed, 15 insertions, 14 deletions
diff --git a/Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h b/Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h
index a994bf8d6..8f043b72b 100644
--- a/Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h
+++ b/Source/JavaScriptCore/dfg/DFGAtTailAbstractState.h
@@ -1,5 +1,5 @@
/*
- * Copyright (C) 2013 Apple Inc. All rights reserved.
+ * Copyright (C) 2013, 2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
@@ -23,32 +23,33 @@
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
-#ifndef DFGAtTailAbstractState_h
-#define DFGAtTailAbstractState_h
-
-#include <wtf/Platform.h>
+#pragma once
#if ENABLE(DFG_JIT)
#include "DFGAbstractValue.h"
#include "DFGBasicBlock.h"
+#include "DFGBlockMap.h"
#include "DFGGraph.h"
+#include "DFGNodeFlowProjection.h"
namespace JSC { namespace DFG {
class AtTailAbstractState {
public:
- AtTailAbstractState();
+ AtTailAbstractState(Graph&);
~AtTailAbstractState();
+ explicit operator bool() const { return true; }
+
void initializeTo(BasicBlock* block)
{
m_block = block;
}
- void createValueForNode(Node*);
- AbstractValue& forNode(Node*);
+ void createValueForNode(NodeFlowProjection);
+ AbstractValue& forNode(NodeFlowProjection);
AbstractValue& forNode(Edge edge) { return forNode(edge.node()); }
Operands<AbstractValue>& variables() { return m_block->valuesAtTail; }
@@ -56,20 +57,20 @@ public:
bool isValid() { return m_block->cfaDidFinish; }
+ StructureClobberState structureClobberState() const { return m_block->cfaStructureClobberStateAtTail; }
+
void setDidClobber(bool) { }
+ void setStructureClobberState(StructureClobberState state) { RELEASE_ASSERT(state == m_block->cfaStructureClobberStateAtTail); }
void setIsValid(bool isValid) { m_block->cfaDidFinish = isValid; }
void setBranchDirection(BranchDirection) { }
void setFoundConstants(bool) { }
- bool haveStructures() const { return true; } // It's always safe to return true.
- void setHaveStructures(bool) { }
private:
- BasicBlock* m_block;
+ Graph& m_graph;
+ BlockMap<HashMap<NodeFlowProjection, AbstractValue>> m_valuesAtTailMap;
+ BasicBlock* m_block { nullptr };
};
} } // namespace JSC::DFG
#endif // ENABLE(DFG_JIT)
-
-#endif // DFGAtTailAbstractState_h
-