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 35namespace JSC { namespace DFG { 36 37class AtTailAbstractState { 38public: 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 64private: 65 BasicBlock* m_block; 66}; 67 68} } // namespace JSC::DFG 69 70#endif // ENABLE(DFG_JIT) 71 72#endif // DFGAtTailAbstractState_h 73 74