[Re-landing] Use JIT probes for DFG OSR exit.
[WebKit-https.git] / Source / JavaScriptCore / bytecode / MethodOfGettingAValueProfile.cpp
1 /*
2  * Copyright (C) 2012-2017 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 #include "config.h"
27 #include "MethodOfGettingAValueProfile.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "ArithProfile.h"
32 #include "CCallHelpers.h"
33 #include "CodeBlock.h"
34 #include "JSCInlines.h"
35
36 namespace JSC {
37
38 MethodOfGettingAValueProfile MethodOfGettingAValueProfile::fromLazyOperand(
39     CodeBlock* codeBlock, const LazyOperandValueProfileKey& key)
40 {
41     MethodOfGettingAValueProfile result;
42     result.m_kind = LazyOperand;
43     result.u.lazyOperand.codeBlock = codeBlock;
44     result.u.lazyOperand.bytecodeOffset = key.bytecodeOffset();
45     result.u.lazyOperand.operand = key.operand().offset();
46     return result;
47 }
48
49 // FIXME: This is being supplanted by reportValue(). Remove this one
50 // https://bugs.webkit.org/show_bug.cgi?id=175145 has been fixed.
51 void MethodOfGettingAValueProfile::emitReportValue(CCallHelpers& jit, JSValueRegs regs) const
52 {
53     switch (m_kind) {
54     case None:
55         return;
56         
57     case Ready:
58         jit.storeValue(regs, u.profile->specFailBucket(0));
59         return;
60         
61     case LazyOperand: {
62         LazyOperandValueProfileKey key(u.lazyOperand.bytecodeOffset, VirtualRegister(u.lazyOperand.operand));
63         
64         ConcurrentJSLocker locker(u.lazyOperand.codeBlock->m_lock);
65         LazyOperandValueProfile* profile =
66             u.lazyOperand.codeBlock->lazyOperandValueProfiles().add(locker, key);
67         jit.storeValue(regs, profile->specFailBucket(0));
68         return;
69     }
70         
71     case ArithProfileReady: {
72         u.arithProfile->emitObserveResult(jit, regs, DoNotHaveTagRegisters);
73         return;
74     } }
75     
76     RELEASE_ASSERT_NOT_REACHED();
77 }
78
79 void MethodOfGettingAValueProfile::reportValue(JSValue value)
80 {
81     switch (m_kind) {
82     case None:
83         return;
84
85     case Ready:
86         *u.profile->specFailBucket(0) = JSValue::encode(value);
87         return;
88
89     case LazyOperand: {
90         LazyOperandValueProfileKey key(u.lazyOperand.bytecodeOffset, VirtualRegister(u.lazyOperand.operand));
91
92         ConcurrentJSLocker locker(u.lazyOperand.codeBlock->m_lock);
93         LazyOperandValueProfile* profile =
94             u.lazyOperand.codeBlock->lazyOperandValueProfiles().add(locker, key);
95         *profile->specFailBucket(0) = JSValue::encode(value);
96         return;
97     }
98
99     case ArithProfileReady: {
100         u.arithProfile->observeResult(value);
101         return;
102     } }
103
104     RELEASE_ASSERT_NOT_REACHED();
105 }
106
107 } // namespace JSC
108
109 #endif // ENABLE(DFG_JIT)
110