bytecode/StructureSet.cpp

   1 /*
   2  * Copyright (C) 2014, 2015 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 "StructureSet.h"
  28
  29 #include "DFGAbstractValue.h"
  30 #include "TrackedReferences.h"
  31 #include <wtf/CommaPrinter.h>
  32
  33 namespace JSC {
  34
  35 #if ENABLE(DFG_JIT)
  36
  37 void StructureSet::filter(const DFG::StructureAbstractValue& other)
  38 {
  39     genericFilter([&] (Structure* structure) -> bool { return other.contains(structure); });
  40 }
  41
  42 void StructureSet::filter(SpeculatedType type)
  43 {
  44     genericFilter(
  45         [&] (Structure* structure) -> bool {
  46             return type & speculationFromStructure(structure);
  47         });
  48 }
  49
  50 void StructureSet::filterArrayModes(ArrayModes arrayModes)
  51 {
  52     genericFilter(
  53         [&] (Structure* structure) -> bool {
  54             return arrayModes & arrayModeFromStructure(structure);
  55         });
  56 }
  57
  58 void StructureSet::filter(const DFG::AbstractValue& other)
  59 {
  60     filter(other.m_structure);
  61     filter(other.m_type);
  62     filterArrayModes(other.m_arrayModes);
  63 }
  64
  65 #endif // ENABLE(DFG_JIT)
  66
  67 SpeculatedType StructureSet::speculationFromStructures() const
  68 {
  69     SpeculatedType result = SpecNone;
  70     forEach(
  71         [&] (Structure* structure) {
  72             mergeSpeculation(result, speculationFromStructure(structure));
  73         });
  74     return result;
  75 }
  76
  77 ArrayModes StructureSet::arrayModesFromStructures() const
  78 {
  79     ArrayModes result = 0;
  80     forEach(
  81         [&] (Structure* structure) {
  82             mergeArrayModes(result, asArrayModes(structure->indexingType()));
  83         });
  84     return result;
  85 }
  86
  87 void StructureSet::dumpInContext(PrintStream& out, DumpContext* context) const
  88 {
  89     CommaPrinter comma;
  90     out.print("[");
  91     forEach([&] (Structure* structure) { out.print(comma, inContext(*structure, context)); });
  92     out.print("]");
  93 }
  94
  95 void StructureSet::dump(PrintStream& out) const
  96 {
  97     dumpInContext(out, nullptr);
  98 }
  99
 100 void StructureSet::validateReferences(const TrackedReferences& trackedReferences) const
 101 {
 102     forEach(
 103         [&] (Structure* structure) {
 104             trackedReferences.check(structure);
 105         });
 106 }
 107
 108 } // namespace JSC
 109