git.saurik.com Git - apple/javascriptcore.git/blob

1 /*

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 */

26 #ifndef GetByIdStatus_h

27 #define GetByIdStatus_h

29 #include "CallLinkStatus.h"

30 #include "CodeOrigin.h"

31 #include "ConcurrentJITLock.h"

32 #include "ExitingJITType.h"

33 #include "GetByIdVariant.h"

34 #include "StructureStubInfo.h"

36 namespace JSC {

38 class CodeBlock;

40 class GetByIdStatus {

41 public:

42 enum State {

43 NoInformation, // It's uncached so we have no information.

44 Simple, // It's cached for a simple access to a known object property with

45 // a possible structure chain and a possible specific value.

46 TakesSlowPath, // It's known to often take slow path.

47 MakesCalls // It's known to take paths that make calls.

48 };

50 GetByIdStatus()

51 : m_state(NoInformation)

52 {

53 }

55 explicit GetByIdStatus(State state)

56 : m_state(state)

57 {

         ASSERT(state == NoInformation || state == TakesSlowPath || state == MakesCalls);

59 }

61 GetByIdStatus(

         State state, bool wasSeenInJIT, const GetByIdVariant& variant = GetByIdVariant())

63 : m_state(state)

64 , m_wasSeenInJIT(wasSeenInJIT)

65 {

         ASSERT((state == Simple) == variant.isSet());

67 m_variants.append(variant);

68 }

     static GetByIdStatus computeFor(CodeBlock*, StubInfoMap&, unsigned bytecodeIndex, UniquedStringImpl* uid);

     static GetByIdStatus computeFor(const StructureSet&, UniquedStringImpl* uid);

     static GetByIdStatus computeFor(CodeBlock* baselineBlock, CodeBlock* dfgBlock, StubInfoMap& baselineMap, StubInfoMap& dfgMap, CodeOrigin, UniquedStringImpl* uid);

     State state() const { return m_state; }

     bool isSet() const { return m_state != NoInformation; }

     bool operator!() const { return !isSet(); }

     bool isSimple() const { return m_state == Simple; }

     size_t numVariants() const { return m_variants.size(); }

     const Vector<GetByIdVariant, 1>& variants() const { return m_variants; }

     const GetByIdVariant& at(size_t index) const { return m_variants[index]; }

     const GetByIdVariant& operator[](size_t index) const { return at(index); }

     bool takesSlowPath() const { return m_state == TakesSlowPath || m_state == MakesCalls; }

     bool makesCalls() const;

     bool wasSeenInJIT() const { return m_wasSeenInJIT; }

     void dump(PrintStream&) const;

93 private:

94 #if ENABLE(DFG_JIT)

     static bool hasExitSite(const ConcurrentJITLocker&, CodeBlock*, unsigned bytecodeIndex);

96 #endif

97 #if ENABLE(JIT)

98 static GetByIdStatus computeForStubInfo(

         const ConcurrentJITLocker&, CodeBlock* profiledBlock, StructureStubInfo*,

         UniquedStringImpl* uid, CallLinkStatus::ExitSiteData);

101 #endif

     static GetByIdStatus computeFromLLInt(CodeBlock*, unsigned bytecodeIndex, UniquedStringImpl* uid);

103

     bool appendVariant(const GetByIdVariant&);

105

106 State m_state;

     Vector<GetByIdVariant, 1> m_variants;

108 bool m_wasSeenInJIT;

109 };

110

111 } // namespace JSC

112

113 #endif // PropertyAccessStatus_h

114