1 | /* |
2 | * Copyright (C) 2017-2018 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 "DFGRegisteredStructureSet.h" |
28 | |
29 | #if ENABLE(DFG_JIT) |
30 | |
31 | #include "DFGAbstractValue.h" |
32 | #include "TrackedReferences.h" |
33 | |
34 | namespace JSC { namespace DFG { |
35 | |
36 | void RegisteredStructureSet::filter(const DFG::StructureAbstractValue& other) |
37 | { |
38 | genericFilter( |
39 | [&] (RegisteredStructure structure) -> bool { |
40 | return other.contains(structure); |
41 | }); |
42 | } |
43 | |
44 | void RegisteredStructureSet::filter(SpeculatedType type) |
45 | { |
46 | genericFilter( |
47 | [&] (RegisteredStructure structure) -> bool { |
48 | return type & speculationFromStructure(structure.get()); |
49 | }); |
50 | } |
51 | |
52 | void RegisteredStructureSet::filterArrayModes(ArrayModes arrayModes) |
53 | { |
54 | genericFilter( |
55 | [&] (RegisteredStructure structure) -> bool { |
56 | return arrayModes & arrayModesFromStructure(structure.get()); |
57 | }); |
58 | } |
59 | |
60 | void RegisteredStructureSet::filter(const DFG::AbstractValue& other) |
61 | { |
62 | filter(other.m_structure); |
63 | filter(other.m_type); |
64 | filterArrayModes(other.m_arrayModes); |
65 | } |
66 | |
67 | SpeculatedType RegisteredStructureSet::speculationFromStructures() const |
68 | { |
69 | SpeculatedType result = SpecNone; |
70 | forEach( |
71 | [&] (RegisteredStructure structure) { |
72 | mergeSpeculation(result, speculationFromStructure(structure.get())); |
73 | }); |
74 | return result; |
75 | } |
76 | |
77 | ArrayModes RegisteredStructureSet::arrayModesFromStructures() const |
78 | { |
79 | ArrayModes result = 0; |
80 | forEach( |
81 | [&] (RegisteredStructure structure) { |
82 | mergeArrayModes(result, arrayModesFromStructure(structure.get())); |
83 | }); |
84 | return result; |
85 | } |
86 | |
87 | void RegisteredStructureSet::validateReferences(const TrackedReferences& trackedReferences) const |
88 | { |
89 | // The type system should help us here, but protect people from getting that wrong using bitwise_cast or something crazy. |
90 | forEach( |
91 | [&] (RegisteredStructure structure) { |
92 | trackedReferences.check(structure.get()); |
93 | }); |
94 | } |
95 | |
96 | } } // namespace JSC::DFG |
97 | |
98 | #endif // ENABLE(DFG_JIT) |
99 | |