Source/JavaScriptCore/b3/B3Effects.cpp

   1 /*
   2  * Copyright (C) 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 "B3Effects.h"
  28
  29 #if ENABLE(B3_JIT)
  30
  31 #include <wtf/CommaPrinter.h>
  32 #include <wtf/DataLog.h>
  33
  34 namespace JSC { namespace B3 {
  35
  36 namespace {
  37
  38 // These helpers cascade in such a way that after the helper for terminal, we don't have to worry
  39 // about terminal again, since the terminal case considers all ways that a terminal may interfere
  40 // with something else. And after the exit sideways case, we don't have to worry about either
  41 // exitsSideways or terminal. And so on...
  42
  43 bool interferesWithTerminal(const Effects& terminal, const Effects& other)
  44 {
  45     if (!terminal.terminal)
  46         return false;
  47     return other.terminal || other.controlDependent || other.writesLocalState || other.writes;
  48 }
  49
  50 bool interferesWithExitSideways(const Effects& exitsSideways, const Effects& other)
  51 {
  52     if (!exitsSideways.exitsSideways)
  53         return false;
  54     return other.controlDependent || other.writes;
  55 }
  56
  57 bool interferesWithWritesLocalState(const Effects& writesLocalState, const Effects& other)
  58 {
  59     if (!writesLocalState.writesLocalState)
  60         return false;
  61     return other.writesLocalState || other.readsLocalState;
  62 }
  63
  64 } // anonymous namespace
  65
  66 bool Effects::interferes(const Effects& other) const
  67 {
  68     if (interferesWithTerminal(*this, other) || interferesWithTerminal(other, *this))
  69         return true;
  70     if (interferesWithExitSideways(*this, other) || interferesWithExitSideways(other, *this))
  71         return true;
  72     if (interferesWithWritesLocalState(*this, other) || interferesWithWritesLocalState(other, *this))
  73         return true;
  74     return writes.overlaps(other.writes)
  75         || writes.overlaps(other.reads)
  76         || reads.overlaps(other.writes);
  77 }
  78
  79 void Effects::dump(PrintStream& out) const
  80 {
  81     CommaPrinter comma("|");
  82     if (terminal)
  83         out.print(comma, "Terminal");
  84     if (exitsSideways)
  85         out.print(comma, "ExitsSideways");
  86     if (controlDependent)
  87         out.print(comma, "ControlDependent");
  88     if (writesLocalState)
  89         out.print(comma, "WritesLocalState");
  90     if (readsLocalState)
  91         out.print(comma, "ReadsLocalState");
  92     if (writes)
  93         out.print(comma, "Writes:", writes);
  94     if (reads)
  95         out.print(comma, "Reads:", reads);
  96 }
  97
  98 } } // namespace JSC::B3
  99
 100 #endif // ENABLE(B3_JIT)
 101