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. AND ITS CONTRIBUTORS ``AS IS'' 14 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, 15 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS 17 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 18 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 19 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 20 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 21 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 22 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF 23 * THE POSSIBILITY OF SUCH DAMAGE. 24 */ 25 26#ifndef BytecodeLivenessAnalysisInlines_h 27#define BytecodeLivenessAnalysisInlines_h 28 29#include "BytecodeLivenessAnalysis.h" 30#include "CodeBlock.h" 31#include "Operations.h" 32 33namespace JSC { 34 35inline bool operandIsAlwaysLive(CodeBlock* codeBlock, int operand) 36{ 37 if (VirtualRegister(operand).isArgument()) 38 return true; 39 return operand <= codeBlock->captureStart() && operand > codeBlock->captureEnd(); 40} 41 42inline bool operandThatIsNotAlwaysLiveIsLive(CodeBlock* codeBlock, const FastBitVector& out, int operand) 43{ 44 VirtualRegister virtualReg(operand); 45 if (virtualReg.offset() > codeBlock->captureStart()) 46 return out.get(virtualReg.toLocal()); 47 size_t index = virtualReg.toLocal() - codeBlock->captureCount(); 48 if (index >= out.numBits()) 49 return false; 50 return out.get(index); 51} 52 53inline bool operandIsLive(CodeBlock* codeBlock, const FastBitVector& out, int operand) 54{ 55 return operandIsAlwaysLive(codeBlock, operand) || operandThatIsNotAlwaysLiveIsLive(codeBlock, out, operand); 56} 57 58} // namespace JSC 59 60#endif // BytecodeLivenessAnalysisInlines_h 61 62