]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Copyright (C) 2013 Apple Inc. All rights reserved. | |
3 | * | |
4 | * Redistribution and use in source and binary forms, with or without | |
5 | * modification, are permitted provided that the following conditions | |
6 | * are met: | |
7 | * 1. Redistributions of source code must retain the above copyright | |
8 | * notice, this list of conditions and the following disclaimer. | |
9 | * 2. Redistributions in binary form must reproduce the above copyright | |
10 | * notice, this list of conditions and the following disclaimer in the | |
11 | * documentation and/or other materials provided with the distribution. | |
12 | * | |
13 | * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY | |
14 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
15 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | |
16 | * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR | |
17 | * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, | |
18 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, | |
19 | * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR | |
20 | * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY | |
21 | * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
22 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
23 | * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
24 | */ | |
25 | ||
26 | #ifndef DFGAtTailAbstractState_h | |
27 | #define DFGAtTailAbstractState_h | |
28 | ||
29 | #if ENABLE(DFG_JIT) | |
30 | ||
31 | #include "DFGAbstractValue.h" | |
32 | #include "DFGBasicBlock.h" | |
33 | #include "DFGGraph.h" | |
34 | ||
35 | namespace JSC { namespace DFG { | |
36 | ||
37 | class AtTailAbstractState { | |
38 | public: | |
39 | AtTailAbstractState(); | |
40 | ||
41 | ~AtTailAbstractState(); | |
42 | ||
43 | void initializeTo(BasicBlock* block) | |
44 | { | |
45 | m_block = block; | |
46 | } | |
47 | ||
48 | void createValueForNode(Node*); | |
49 | AbstractValue& forNode(Node*); | |
50 | AbstractValue& forNode(Edge edge) { return forNode(edge.node()); } | |
51 | Operands<AbstractValue>& variables() { return m_block->valuesAtTail; } | |
52 | ||
53 | BasicBlock* block() const { return m_block; } | |
54 | ||
55 | bool isValid() { return m_block->cfaDidFinish; } | |
56 | ||
57 | void setDidClobber(bool) { } | |
58 | void setIsValid(bool isValid) { m_block->cfaDidFinish = isValid; } | |
59 | void setBranchDirection(BranchDirection) { } | |
60 | void setFoundConstants(bool) { } | |
61 | bool haveStructures() const { return true; } // It's always safe to return true. | |
62 | void setHaveStructures(bool) { } | |
63 | ||
64 | private: | |
65 | BasicBlock* m_block; | |
66 | }; | |
67 | ||
68 | } } // namespace JSC::DFG | |
69 | ||
70 | #endif // ENABLE(DFG_JIT) | |
71 | ||
72 | #endif // DFGAtTailAbstractState_h | |
73 |