/*
 * Copyright (C) 2018-2019 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

#include "GetPutInfo.h"
#include "Interpreter.h"
#include "Label.h"
#include "OpcodeSize.h"
#include "ProfileTypeBytecodeFlag.h"
#include "PutByIdFlags.h"
#include "ResultType.h"
#include "SpecialPointer.h"
#include "SymbolTableOrScopeDepth.h"
#include "VirtualRegister.h"
#include <type_traits>

namespace JSC {

enum FitsAssertion {
    Assert,
    NoAssert
};

// Fits template
template<typename, OpcodeSize, typename = std::true_type>
struct Fits;

// Implicit conversion for types of the same size
template<typename T, OpcodeSize size>
struct Fits<T, size, std::enable_if_t<sizeof(T) == size, std::true_type>> {
    static bool check(T) { return true; }

    static typename TypeBySize<size>::type convert(T t) { return bitwise_cast<typename TypeBySize<size>::type>(t); }

    template<class T1 = T, OpcodeSize size1 = size, typename = std::enable_if_t<!std::is_same<T1, typename TypeBySize<size1>::type>::value, std::true_type>>
    static T1 convert(typename TypeBySize<size1>::type t) { return bitwise_cast<T1>(t); }
};

template<typename T, OpcodeSize size>
struct Fits<T, size, std::enable_if_t<sizeof(T) < size, std::true_type>> {
    static bool check(T) { return true; }

    static typename TypeBySize<size>::type convert(T t) { return static_cast<typename TypeBySize<size>::type>(t); }

    template<class T1 = T, OpcodeSize size1 = size, typename = std::enable_if_t<!std::is_same<T1, typename TypeBySize<size1>::type>::value, std::true_type>>
    static T1 convert(typename TypeBySize<size1>::type t) { return static_cast<T1>(t); }
};

template<>
struct Fits<uint32_t, OpcodeSize::Narrow> {
    static bool check(unsigned u) { return u <= UINT8_MAX; }

    static uint8_t convert(unsigned u)
    {
        ASSERT(check(u));
        return static_cast<uint8_t>(u);
    }
    static unsigned convert(uint8_t u)
    {
        return u;
    }
};

template<>
struct Fits<int, OpcodeSize::Narrow> {
    static bool check(int i)
    {
        return i >= INT8_MIN && i <= INT8_MAX;
    }

    static uint8_t convert(int i)
    {
        ASSERT(check(i));
        return static_cast<uint8_t>(i);
    }

    static int convert(uint8_t i)
    {
        return static_cast<int8_t>(i);
    }
};

template<>
struct Fits<VirtualRegister, OpcodeSize::Narrow> {
    // -128..-1  local variables
    //    0..15  arguments
    //   16..127 constants
    static constexpr int s_firstConstantIndex = 16;
    static bool check(VirtualRegister r)
    {
        if (r.isConstant())
            return (s_firstConstantIndex + r.toConstantIndex()) <= INT8_MAX;
        return r.offset() >= INT8_MIN && r.offset() < s_firstConstantIndex;
    }

    static uint8_t convert(VirtualRegister r)
    {
        ASSERT(check(r));
        if (r.isConstant())
            return static_cast<int8_t>(s_firstConstantIndex + r.toConstantIndex());
        return static_cast<int8_t>(r.offset());
    }

    static VirtualRegister convert(uint8_t u)
    {
        int i = static_cast<int>(static_cast<int8_t>(u));
        if (i >= s_firstConstantIndex)
            return VirtualRegister { (i - s_firstConstantIndex) + FirstConstantRegisterIndex };
        return VirtualRegister { i };
    }
};

template<>
struct Fits<SymbolTableOrScopeDepth, OpcodeSize::Narrow> {
    static bool check(SymbolTableOrScopeDepth u)
    {
        return u.raw() <= UINT8_MAX;
    }

    static uint8_t convert(SymbolTableOrScopeDepth u)
    {
        ASSERT(check(u));
        return static_cast<uint8_t>(u.raw());
    }

    static SymbolTableOrScopeDepth convert(uint8_t u)
    {
        return SymbolTableOrScopeDepth::raw(u);
    }
};

template<>
struct Fits<Special::Pointer, OpcodeSize::Narrow> : Fits<int, OpcodeSize::Narrow> {
    using Base = Fits<int, OpcodeSize::Narrow>;
    static bool check(Special::Pointer sp) { return Base::check(static_cast<int>(sp)); }
    static uint8_t convert(Special::Pointer sp)
    {
        return Base::convert(static_cast<int>(sp));
    }
    static Special::Pointer convert(uint8_t sp)
    {
        return static_cast<Special::Pointer>(Base::convert(sp));
    }
};

template<>
struct Fits<GetPutInfo, OpcodeSize::Narrow> {
    // 13 Resolve Types
    // 3 Initialization Modes
    // 2 Resolve Modes
    //
    // Try to encode encode as
    //
    //           initialization mode
    //                    v
    // free bit-> 0|0000|00|0
    //                 ^    ^
    //    resolve  type   resolve mode
    static constexpr int s_resolveTypeMax = 1 << 4;
    static constexpr int s_initializationModeMax = 1 << 2;
    static constexpr int s_resolveModeMax = 1 << 1;

    static constexpr int s_resolveTypeBits = (s_resolveTypeMax - 1) << 3;
    static constexpr int s_initializationModeBits = (s_initializationModeMax - 1) << 1;
    static constexpr int s_resolveModeBits = (s_resolveModeMax - 1);

    static_assert(!(s_resolveTypeBits & s_initializationModeBits & s_resolveModeBits), "There should be no intersection between ResolveMode, ResolveType and InitializationMode");

    static bool check(GetPutInfo gpi)
    {
        auto resolveType = static_cast<int>(gpi.resolveType());
        auto initializationMode = static_cast<int>(gpi.initializationMode());
        auto resolveMode = static_cast<int>(gpi.resolveMode());
        return resolveType < s_resolveTypeMax && initializationMode < s_initializationModeMax && resolveMode < s_resolveModeMax;
    }

    static uint8_t convert(GetPutInfo gpi)
    {
        ASSERT(check(gpi));
        auto resolveType = static_cast<uint8_t>(gpi.resolveType());
        auto initializationMode = static_cast<uint8_t>(gpi.initializationMode());
        auto resolveMode = static_cast<uint8_t>(gpi.resolveMode());
        return (resolveType << 3) | (initializationMode << 1) | resolveMode;
    }

    static GetPutInfo convert(uint8_t gpi)
    {
        auto resolveType = static_cast<ResolveType>((gpi & s_resolveTypeBits) >> 3);
        auto initializationMode = static_cast<InitializationMode>((gpi & s_initializationModeBits) >> 1);
        auto resolveMode = static_cast<ResolveMode>(gpi & s_resolveModeBits);
        return GetPutInfo(resolveMode, resolveType, initializationMode);
    }
};

template<>
struct Fits<DebugHookType, OpcodeSize::Narrow> : Fits<int, OpcodeSize::Narrow> {
    using Base = Fits<int, OpcodeSize::Narrow>;
    static bool check(DebugHookType dht) { return Base::check(static_cast<int>(dht)); }
    static uint8_t convert(DebugHookType dht)
    {
        return Base::convert(static_cast<int>(dht));
    }
    static DebugHookType convert(uint8_t dht)
    {
        return static_cast<DebugHookType>(Base::convert(dht));
    }
};

template<>
struct Fits<ProfileTypeBytecodeFlag, OpcodeSize::Narrow> : Fits<int, OpcodeSize::Narrow> {
    using Base = Fits<int, OpcodeSize::Narrow>;
    static bool check(ProfileTypeBytecodeFlag ptbf) { return Base::check(static_cast<int>(ptbf)); }
    static uint8_t convert(ProfileTypeBytecodeFlag ptbf)
    {
        return Base::convert(static_cast<int>(ptbf));
    }
    static ProfileTypeBytecodeFlag convert(uint8_t ptbf)
    {
        return static_cast<ProfileTypeBytecodeFlag>(Base::convert(ptbf));
    }
};

template<>
struct Fits<ResolveType, OpcodeSize::Narrow> : Fits<int, OpcodeSize::Narrow> {
    using Base = Fits<int, OpcodeSize::Narrow>;
    static bool check(ResolveType rt) { return Base::check(static_cast<int>(rt)); }
    static uint8_t convert(ResolveType rt)
    {
        return Base::convert(static_cast<int>(rt));
    }

    static ResolveType convert(uint8_t rt)
    {
        return static_cast<ResolveType>(Base::convert(rt));
    }
};

template<>
struct Fits<OperandTypes, OpcodeSize::Narrow> {
    // a pair of (ResultType::Type, ResultType::Type) - try to fit each type into 4 bits
    // additionally, encode unknown types as 0 rather than the | of all types
    static constexpr int s_maxType = 0x10;

    static bool check(OperandTypes types)
    {
        auto first = types.first().bits();
        auto second = types.second().bits();
        if (first == ResultType::unknownType().bits())
            first = 0;
        if (second == ResultType::unknownType().bits())
            second = 0;
        return first < s_maxType && second < s_maxType;
    }

    static uint8_t convert(OperandTypes types)
    {
        ASSERT(check(types));
        auto first = types.first().bits();
        auto second = types.second().bits();
        if (first == ResultType::unknownType().bits())
            first = 0;
        if (second == ResultType::unknownType().bits())
            second = 0;
        return (first << 4) | second;
    }

    static OperandTypes convert(uint8_t types)
    {
        auto first = (types & (0xf << 4)) >> 4;
        auto second = (types & 0xf);
        if (!first)
            first = ResultType::unknownType().bits();
        if (!second)
            second = ResultType::unknownType().bits();
        return OperandTypes(ResultType(first), ResultType(second));
    }
};

template<>
struct Fits<PutByIdFlags, OpcodeSize::Narrow> : Fits<int, OpcodeSize::Narrow> {
    // only ever encoded in the bytecode stream as 0 or 1, so the trivial encoding should be good enough
    using Base = Fits<int, OpcodeSize::Narrow>;
    static bool check(PutByIdFlags flags) { return Base::check(static_cast<int>(flags)); }
    static uint8_t convert(PutByIdFlags flags)
    {
        return Base::convert(static_cast<int>(flags));
    }

    static PutByIdFlags convert(uint8_t flags)
    {
        return static_cast<PutByIdFlags>(Base::convert(flags));
    }
};

template<OpcodeSize size>
struct Fits<BoundLabel, size> : Fits<int, size> {
    // This is a bit hacky: we need to delay computing jump targets, since we
    // might have to emit `nop`s to align the instructions stream. Additionally,
    // we have to compute the target before we start writing to the instruction
    // stream, since the offset is computed from the start of the bytecode. We
    // achieve this by computing the target when we `check` and saving it, then
    // later we use the saved target when we call convert.

    using Base = Fits<int, size>;
    static bool check(BoundLabel& label)
    {
        return Base::check(label.saveTarget());
    }

    static typename TypeBySize<size>::type convert(BoundLabel& label)
    {
        return Base::convert(label.commitTarget());
    }

    static BoundLabel convert(typename TypeBySize<size>::type target)
    {
        return BoundLabel(Base::convert(target));
    }
};

} // namespace JSC