blob: cef487dc813f9a1ad091be6056dcbe7affeb374b [file] [log] [blame]
/*
* Copyright (C) 2008 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
*
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* 3. Neither the name of Apple Inc. ("Apple") nor the names of
* its contributors may be used to endorse or promote products derived
* from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include "Instruction.h"
#include <wtf/Assertions.h>
#include <wtf/Vector.h>
#include <limits.h>
namespace JSC {
class BytecodeGenerator;
class Label;
class BoundLabel {
public:
BoundLabel()
: m_type(Offset)
, m_generator(nullptr)
, m_target(0)
{ }
explicit BoundLabel(int target)
: m_type(Offset)
, m_generator(nullptr)
, m_target(target)
{ }
BoundLabel(BytecodeGenerator* generator, Label* label)
: m_type(GeneratorForward)
, m_generator(generator)
, m_label(label)
{ }
BoundLabel(BytecodeGenerator* generator, int offset)
: m_type(GeneratorBackward)
, m_generator(generator)
, m_target(offset)
{ }
int target();
int saveTarget();
int commitTarget();
operator int() { return target(); }
private:
enum Type : uint8_t {
Offset,
GeneratorForward,
GeneratorBackward,
};
Type m_type;
int m_savedTarget { 0 };
BytecodeGenerator* m_generator;
union {
Label* m_label;
int m_target;
};
};
class Label {
WTF_MAKE_NONCOPYABLE(Label);
public:
Label() = default;
void setLocation(BytecodeGenerator&, unsigned);
BoundLabel bind(BytecodeGenerator* generator)
{
m_bound = true;
if (!isForward())
return BoundLabel(generator, m_location);
return BoundLabel(generator, this);
}
BoundLabel bind(unsigned offset)
{
m_bound = true;
if (!isForward())
return BoundLabel(m_location - offset);
m_unresolvedJumps.append(offset);
return BoundLabel();
}
BoundLabel bind()
{
ASSERT(!isForward());
return bind(0u);
}
void ref() { ++m_refCount; }
void deref()
{
--m_refCount;
ASSERT(m_refCount >= 0);
}
int refCount() const { return m_refCount; }
bool hasOneRef() const { return m_refCount == 1; }
bool isForward() const { return m_location == invalidLocation; }
bool isBound() const { return m_bound; }
private:
friend class BoundLabel;
typedef Vector<int, 8> JumpVector;
static const unsigned invalidLocation = UINT_MAX;
int m_refCount { 0 };
unsigned m_location { invalidLocation };
mutable bool m_bound { false };
mutable JumpVector m_unresolvedJumps;
};
} // namespace JSC