143 lines
3.7 KiB
C++
143 lines
3.7 KiB
C++
/*
|
|
* Copyright (C) 2015-2016 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.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``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 INC. OR
|
|
* 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
|
|
|
|
#if ENABLE(B3_JIT)
|
|
|
|
#include "B3Common.h"
|
|
#include <wtf/StdLibExtras.h>
|
|
|
|
#if !ASSERT_ENABLED
|
|
IGNORE_RETURN_TYPE_WARNINGS_BEGIN
|
|
#endif
|
|
|
|
namespace JSC { namespace B3 {
|
|
|
|
static constexpr uint32_t tupleFlag = 1ul << (std::numeric_limits<uint32_t>::digits - 1);
|
|
static constexpr uint32_t tupleIndexMask = tupleFlag - 1;
|
|
|
|
enum TypeKind : uint32_t {
|
|
Void,
|
|
Int32,
|
|
Int64,
|
|
Float,
|
|
Double,
|
|
|
|
// Tuples are represented as the tupleFlag | with the tuple's index into Procedure's m_tuples table.
|
|
Tuple = tupleFlag,
|
|
};
|
|
|
|
class Type {
|
|
public:
|
|
constexpr Type() = default;
|
|
constexpr Type(const Type&) = default;
|
|
constexpr Type(TypeKind kind)
|
|
: m_kind(kind)
|
|
{ }
|
|
|
|
~Type() = default;
|
|
|
|
static Type tupleFromIndex(unsigned index) { ASSERT(!(index & tupleFlag)); return static_cast<TypeKind>(index | tupleFlag); }
|
|
|
|
TypeKind kind() const { return m_kind & tupleFlag ? Tuple : m_kind; }
|
|
uint32_t tupleIndex() const { ASSERT(m_kind & tupleFlag); return m_kind & tupleIndexMask; }
|
|
uint32_t hash() const { return m_kind; }
|
|
|
|
inline bool isInt() const;
|
|
inline bool isFloat() const;
|
|
inline bool isNumeric() const;
|
|
inline bool isTuple() const;
|
|
|
|
bool operator==(const TypeKind& otherKind) const { return kind() == otherKind; }
|
|
bool operator==(const Type& type) const { return m_kind == type.m_kind; }
|
|
bool operator!=(const TypeKind& otherKind) const { return !(*this == otherKind); }
|
|
bool operator!=(const Type& type) const { return !(*this == type); }
|
|
|
|
private:
|
|
TypeKind m_kind { Void };
|
|
};
|
|
|
|
static_assert(sizeof(TypeKind) == sizeof(Type));
|
|
|
|
inline bool Type::isInt() const
|
|
{
|
|
return kind() == Int32 || kind() == Int64;
|
|
}
|
|
|
|
inline bool Type::isFloat() const
|
|
{
|
|
return kind() == Float || kind() == Double;
|
|
}
|
|
|
|
inline bool Type::isNumeric() const
|
|
{
|
|
return isInt() || isFloat();
|
|
}
|
|
|
|
inline bool Type::isTuple() const
|
|
{
|
|
return kind() == Tuple;
|
|
}
|
|
|
|
inline Type pointerType()
|
|
{
|
|
if (is32Bit())
|
|
return Int32;
|
|
return Int64;
|
|
}
|
|
|
|
inline size_t sizeofType(Type type)
|
|
{
|
|
switch (type.kind()) {
|
|
case Void:
|
|
case Tuple:
|
|
return 0;
|
|
case Int32:
|
|
case Float:
|
|
return 4;
|
|
case Int64:
|
|
case Double:
|
|
return 8;
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
} } // namespace JSC::B3
|
|
|
|
namespace WTF {
|
|
|
|
class PrintStream;
|
|
|
|
void printInternal(PrintStream&, JSC::B3::Type);
|
|
|
|
} // namespace WTF
|
|
|
|
#if !ASSERT_ENABLED
|
|
IGNORE_RETURN_TYPE_WARNINGS_END
|
|
#endif
|
|
|
|
#endif // ENABLE(B3_JIT)
|