dfg/DFGFlushedAt.h

   1 /*
   2  * Copyright (C) 2013 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 #ifndef DFGFlushedAt_h
  27 #define DFGFlushedAt_h
  28
  29 #if ENABLE(DFG_JIT)
  30
  31 #include "DFGFlushFormat.h"
  32 #include "VirtualRegister.h"
  33
  34 namespace JSC { namespace DFG {
  35
  36 class FlushedAt {
  37 public:
  38     FlushedAt()
  39         : m_format(DeadFlush)
  40     {
  41     }
  42
  43     explicit FlushedAt(FlushFormat format)
  44         : m_format(format)
  45     {
  46         ASSERT(format == DeadFlush || format == ConflictingFlush);
  47     }
  48
  49     FlushedAt(FlushFormat format, VirtualRegister virtualRegister)
  50         : m_format(format)
  51         , m_virtualRegister(virtualRegister)
  52     {
  53         if (format == DeadFlush)
  54             ASSERT(!virtualRegister.isValid());
  55         else
  56             ASSERT(virtualRegister.isValid());
  57     }
  58
  59     bool operator!() const { return m_format == DeadFlush; }
  60
  61     FlushFormat format() const { return m_format; }
  62     VirtualRegister virtualRegister() const { return m_virtualRegister; }
  63
  64     bool operator==(const FlushedAt& other) const
  65     {
  66         return m_format == other.m_format
  67             && m_virtualRegister == other.m_virtualRegister;
  68     }
  69
  70     bool operator!=(const FlushedAt& other) const { return !(*this == other); }
  71
  72     FlushedAt merge(const FlushedAt& other) const
  73     {
  74         if (!*this)
  75             return other;
  76         if (!other)
  77             return *this;
  78         if (*this == other)
  79             return *this;
  80         return FlushedAt(ConflictingFlush);
  81     }
  82
  83     void dump(PrintStream&) const;
  84     void dumpInContext(PrintStream&, DumpContext*) const;
  85
  86 private:
  87     FlushFormat m_format;
  88     VirtualRegister m_virtualRegister;
  89 };
  90
  91 } } // namespace JSC::DFG
  92
  93 #endif // ENABLE(DFG_JIT)
  94
  95 #endif // DFGFlushedAt_h
  96