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
34namespace JSC { namespace DFG {
35
36void RegisteredStructureSet::filter(const DFG::StructureAbstractValue& other)
37{
38 genericFilter(
39 [&] (RegisteredStructure structure) -> bool {
40 return other.contains(structure);
41 });
42}
43
44void RegisteredStructureSet::filter(SpeculatedType type)
45{
46 genericFilter(
47 [&] (RegisteredStructure structure) -> bool {
48 return type & speculationFromStructure(structure.get());
49 });
50}
51
52void RegisteredStructureSet::filterArrayModes(ArrayModes arrayModes)
53{
54 genericFilter(
55 [&] (RegisteredStructure structure) -> bool {
56 return arrayModes & arrayModesFromStructure(structure.get());
57 });
58}
59
60void RegisteredStructureSet::filter(const DFG::AbstractValue& other)
61{
62 filter(other.m_structure);
63 filter(other.m_type);
64 filterArrayModes(other.m_arrayModes);
65}
66
67SpeculatedType 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
77ArrayModes 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
87void 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