MarkedBlock should know what objects are live during marking
[WebKit-https.git] / Source / JavaScriptCore / heap / CodeBlockSetInlines.h
1 /*
2  * Copyright (C) 2016 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  *
8  * 1.  Redistributions of source code must retain the above copyright
9  *     notice, this list of conditions and the following disclaimer.
10  * 2.  Redistributions in binary form must reproduce the above copyright
11  *     notice, this list of conditions and the following disclaimer in the
12  *     documentation and/or other materials provided with the distribution.
13  * 3.  Neither the name of Apple Inc. ("Apple") nor the names of
14  *     its contributors may be used to endorse or promote products derived
15  *     from this software without specific prior written permission.
16  *
17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29 #pragma once
30
31 #include "CodeBlock.h"
32 #include "CodeBlockSet.h"
33
34 namespace JSC {
35
36 inline void CodeBlockSet::mark(const LockHolder& locker, void* candidateCodeBlock)
37 {
38     ASSERT(m_lock.isLocked());
39     // We have to check for 0 and -1 because those are used by the HashMap as markers.
40     uintptr_t value = reinterpret_cast<uintptr_t>(candidateCodeBlock);
41     
42     // This checks for both of those nasty cases in one go.
43     // 0 + 1 = 1
44     // -1 + 1 = 0
45     if (value + 1 <= 1)
46         return;
47
48     CodeBlock* codeBlock = static_cast<CodeBlock*>(candidateCodeBlock); 
49     if (!m_oldCodeBlocks.contains(codeBlock) && !m_newCodeBlocks.contains(codeBlock))
50         return;
51
52     mark(locker, codeBlock);
53 }
54
55 inline void CodeBlockSet::mark(const LockHolder&, CodeBlock* codeBlock)
56 {
57     if (!codeBlock)
58         return;
59
60     m_currentlyExecuting.add(codeBlock);
61 }
62
63 } // namespace JSC
64