// Copyright 2023 The Dawn & Tint Authors
//
// 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 the copyright holder 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 THE COPYRIGHT HOLDERS AND 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 THE COPYRIGHT HOLDER 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.

#include "src/tint/lang/spirv/writer/common/helper_test.h"

namespace tint::spirv::writer {
namespace {

using namespace tint::core::fluent_types;     // NOLINT
using namespace tint::core::number_suffixes;  // NOLINT

/// A parameterized test case.
struct ConvertCase {
    /// The input type.
    TestElementType in;
    /// The output type.
    TestElementType out;
    /// The expected SPIR-V instruction.
    std::string spirv_inst;
    /// The expected SPIR-V result type name.
    std::string spirv_type_name;
};
std::string PrintCase(testing::TestParamInfo<ConvertCase> cc) {
    StringStream ss;
    ss << cc.param.in << "_to_" << cc.param.out;
    return ss.str();
}

using Convert = SpirvWriterTestWithParam<ConvertCase>;
TEST_P(Convert, Scalar) {
    auto& params = GetParam();
    auto* func = b.Function("foo", MakeScalarType(params.out));
    func->SetParams({b.FunctionParam("arg", MakeScalarType(params.in))});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(MakeScalarType(params.out), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST("%result = " + params.spirv_inst + " %" + params.spirv_type_name + " %arg");
}
TEST_P(Convert, Vector) {
    auto& params = GetParam();
    auto* func = b.Function("foo", MakeVectorType(params.out));
    func->SetParams({b.FunctionParam("arg", MakeVectorType(params.in))});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(MakeVectorType(params.out), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST("%result = " + params.spirv_inst + " %v2" + params.spirv_type_name + " %arg");
}
INSTANTIATE_TEST_SUITE_P(SpirvWriterTest,
                         Convert,
                         testing::Values(
                             // To f32.
                             ConvertCase{kF16, kF32, "OpFConvert", "float"},
                             ConvertCase{kI32, kF32, "OpConvertSToF", "float"},
                             ConvertCase{kU32, kF32, "OpConvertUToF", "float"},
                             ConvertCase{kBool, kF32, "OpSelect", "float"},

                             // To f16.
                             ConvertCase{kF32, kF16, "OpFConvert", "half"},
                             ConvertCase{kI32, kF16, "OpConvertSToF", "half"},
                             ConvertCase{kU32, kF16, "OpConvertUToF", "half"},
                             ConvertCase{kBool, kF16, "OpSelect", "half"},

                             // To i32.
                             // Note: ftoi cases are polyfilled and tested separately.
                             ConvertCase{kU32, kI32, "OpBitcast", "int"},
                             ConvertCase{kBool, kI32, "OpSelect", "int"},

                             // To u32.
                             // Note: ftoi cases are polyfilled and tested separately.
                             ConvertCase{kI32, kU32, "OpBitcast", "uint"},
                             ConvertCase{kBool, kU32, "OpSelect", "uint"},

                             // To bool.
                             ConvertCase{kF32, kBool, "OpFUnordNotEqual", "bool"},
                             ConvertCase{kF16, kBool, "OpFUnordNotEqual", "bool"},
                             ConvertCase{kI32, kBool, "OpINotEqual", "bool"},
                             ConvertCase{kU32, kBool, "OpINotEqual", "bool"}),
                         PrintCase);

TEST_F(SpirvWriterTest, Convert_Mat2x3_F16_to_F32) {
    auto* func = b.Function("foo", ty.mat2x3<f32>());
    func->SetParams({b.FunctionParam("arg", ty.mat2x3<f16>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.mat2x3<f32>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
         %11 = OpCompositeExtract %v3half %arg 0
         %12 = OpFConvert %v3float %11
         %13 = OpCompositeExtract %v3half %arg 1
         %14 = OpFConvert %v3float %13
     %result = OpCompositeConstruct %mat2v3float %12 %14
)");
}

TEST_F(SpirvWriterTest, Convert_Mat4x2_F32_to_F16) {
    auto* func = b.Function("foo", ty.mat4x2<f16>());
    func->SetParams({b.FunctionParam("arg", ty.mat4x2<f32>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.mat4x2<f16>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
         %11 = OpCompositeExtract %v2float %arg 0
         %12 = OpFConvert %v2half %11
         %13 = OpCompositeExtract %v2float %arg 1
         %14 = OpFConvert %v2half %13
         %15 = OpCompositeExtract %v2float %arg 2
         %16 = OpFConvert %v2half %15
         %17 = OpCompositeExtract %v2float %arg 3
         %18 = OpFConvert %v2half %17
     %result = OpCompositeConstruct %mat4v2half %12 %14 %16 %18
)");
}

TEST_F(SpirvWriterTest, Convert_F32_to_I32) {
    auto* func = b.Function("foo", ty.i32());
    func->SetParams({b.FunctionParam("arg", ty.f32())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.i32(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
               ; Function foo
        %foo = OpFunction %int None %5
        %arg = OpFunctionParameter %float
          %6 = OpLabel
     %result = OpFunctionCall %int %tint_f32_to_i32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_f32_to_i32
%tint_f32_to_i32 = OpFunction %int None %5
      %value = OpFunctionParameter %float
         %10 = OpLabel
         %11 = OpConvertFToS %int %value
         %12 = OpFOrdGreaterThanEqual %bool %value %float_n2_14748365e_09
         %15 = OpSelect %int %12 %11 %int_n2147483648
         %17 = OpFOrdLessThanEqual %bool %value %float_2_14748352e_09
         %19 = OpSelect %int %17 %15 %int_2147483647
               OpReturnValue %19
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F32_to_U32) {
    auto* func = b.Function("foo", ty.u32());
    func->SetParams({b.FunctionParam("arg", ty.f32())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.u32(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
               ; Function foo
        %foo = OpFunction %uint None %5
        %arg = OpFunctionParameter %float
          %6 = OpLabel
     %result = OpFunctionCall %uint %tint_f32_to_u32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_f32_to_u32
%tint_f32_to_u32 = OpFunction %uint None %5
      %value = OpFunctionParameter %float
         %10 = OpLabel
         %11 = OpConvertFToU %uint %value
         %12 = OpFOrdGreaterThanEqual %bool %value %float_0
         %15 = OpSelect %uint %12 %11 %uint_0
         %17 = OpFOrdLessThanEqual %bool %value %float_4_29496704e_09
         %19 = OpSelect %uint %17 %15 %uint_4294967295
               OpReturnValue %19
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F16_to_I32) {
    auto* func = b.Function("foo", ty.i32());
    func->SetParams({b.FunctionParam("arg", ty.f16())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.i32(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
               ; Function foo
        %foo = OpFunction %int None %5
        %arg = OpFunctionParameter %half
          %6 = OpLabel
     %result = OpFunctionCall %int %tint_f16_to_i32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_f16_to_i32
%tint_f16_to_i32 = OpFunction %int None %5
      %value = OpFunctionParameter %half
         %10 = OpLabel
         %11 = OpConvertFToS %int %value
         %12 = OpFOrdGreaterThanEqual %bool %value %half_n0x1_ffcp_15
         %15 = OpSelect %int %12 %11 %int_n2147483648
         %17 = OpFOrdLessThanEqual %bool %value %half_0x1_ffcp_15
         %19 = OpSelect %int %17 %15 %int_2147483647
               OpReturnValue %19
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F16_to_U32) {
    auto* func = b.Function("foo", ty.u32());
    func->SetParams({b.FunctionParam("arg", ty.f16())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.u32(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
               ; Function foo
        %foo = OpFunction %uint None %5
        %arg = OpFunctionParameter %half
          %6 = OpLabel
     %result = OpFunctionCall %uint %tint_f16_to_u32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_f16_to_u32
%tint_f16_to_u32 = OpFunction %uint None %5
      %value = OpFunctionParameter %half
         %10 = OpLabel
         %11 = OpConvertFToU %uint %value
         %12 = OpFOrdGreaterThanEqual %bool %value %half_0x0p_0
         %15 = OpSelect %uint %12 %11 %uint_0
         %17 = OpFOrdLessThanEqual %bool %value %half_0x1_ffcp_15
         %19 = OpSelect %uint %17 %15 %uint_4294967295
               OpReturnValue %19
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F32_to_I32_Vec2) {
    auto* func = b.Function("foo", ty.vec2<i32>());
    func->SetParams({b.FunctionParam("arg", ty.vec2<f32>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.vec2<i32>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
%float_n2_14748365e_09 = OpConstant %float -2.14748365e+09
         %15 = OpConstantComposite %v2float %float_n2_14748365e_09 %float_n2_14748365e_09
       %bool = OpTypeBool
     %v2bool = OpTypeVector %bool 2
%int_n2147483648 = OpConstant %int -2147483648
         %20 = OpConstantComposite %v2int %int_n2147483648 %int_n2147483648
%float_2_14748352e_09 = OpConstant %float 2.14748352e+09
         %23 = OpConstantComposite %v2float %float_2_14748352e_09 %float_2_14748352e_09
%int_2147483647 = OpConstant %int 2147483647
         %26 = OpConstantComposite %v2int %int_2147483647 %int_2147483647
       %void = OpTypeVoid
         %30 = OpTypeFunction %void

               ; Function foo
        %foo = OpFunction %v2int None %7
        %arg = OpFunctionParameter %v2float
          %8 = OpLabel
     %result = OpFunctionCall %v2int %tint_v2f32_to_v2i32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_v2f32_to_v2i32
%tint_v2f32_to_v2i32 = OpFunction %v2int None %7
      %value = OpFunctionParameter %v2float
         %12 = OpLabel
         %13 = OpConvertFToS %v2int %value
         %14 = OpFOrdGreaterThanEqual %v2bool %value %15
         %19 = OpSelect %v2int %14 %13 %20
         %22 = OpFOrdLessThanEqual %v2bool %value %23
         %25 = OpSelect %v2int %22 %19 %26
               OpReturnValue %25
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F32_to_U32_Vec3) {
    auto* func = b.Function("foo", ty.vec3<u32>());
    func->SetParams({b.FunctionParam("arg", ty.vec3<f32>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.vec3<u32>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
%float_4_29496704e_09 = OpConstant %float 4.29496704e+09
         %21 = OpConstantComposite %v3float %float_4_29496704e_09 %float_4_29496704e_09 %float_4_29496704e_09
%uint_4294967295 = OpConstant %uint 4294967295
         %24 = OpConstantComposite %v3uint %uint_4294967295 %uint_4294967295 %uint_4294967295
       %void = OpTypeVoid
         %28 = OpTypeFunction %void

               ; Function foo
        %foo = OpFunction %v3uint None %7
        %arg = OpFunctionParameter %v3float
          %8 = OpLabel
     %result = OpFunctionCall %v3uint %tint_v3f32_to_v3u32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_v3f32_to_v3u32
%tint_v3f32_to_v3u32 = OpFunction %v3uint None %7
      %value = OpFunctionParameter %v3float
         %12 = OpLabel
         %13 = OpConvertFToU %v3uint %value
         %14 = OpFOrdGreaterThanEqual %v3bool %value %15
         %18 = OpSelect %v3uint %14 %13 %19
         %20 = OpFOrdLessThanEqual %v3bool %value %21
         %23 = OpSelect %v3uint %20 %18 %24
               OpReturnValue %23
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F16_to_I32_Vec2) {
    auto* func = b.Function("foo", ty.vec2<i32>());
    func->SetParams({b.FunctionParam("arg", ty.vec2<f16>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.vec2<i32>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
%half_n0x1_ffcp_15 = OpConstant %half -0x1.ffcp+15
         %15 = OpConstantComposite %v2half %half_n0x1_ffcp_15 %half_n0x1_ffcp_15
       %bool = OpTypeBool
     %v2bool = OpTypeVector %bool 2
%int_n2147483648 = OpConstant %int -2147483648
         %20 = OpConstantComposite %v2int %int_n2147483648 %int_n2147483648
%half_0x1_ffcp_15 = OpConstant %half 0x1.ffcp+15
         %23 = OpConstantComposite %v2half %half_0x1_ffcp_15 %half_0x1_ffcp_15
%int_2147483647 = OpConstant %int 2147483647
         %26 = OpConstantComposite %v2int %int_2147483647 %int_2147483647
       %void = OpTypeVoid
         %30 = OpTypeFunction %void

               ; Function foo
        %foo = OpFunction %v2int None %7
        %arg = OpFunctionParameter %v2half
          %8 = OpLabel
     %result = OpFunctionCall %v2int %tint_v2f16_to_v2i32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_v2f16_to_v2i32
%tint_v2f16_to_v2i32 = OpFunction %v2int None %7
      %value = OpFunctionParameter %v2half
         %12 = OpLabel
         %13 = OpConvertFToS %v2int %value
         %14 = OpFOrdGreaterThanEqual %v2bool %value %15
         %19 = OpSelect %v2int %14 %13 %20
         %22 = OpFOrdLessThanEqual %v2bool %value %23
         %25 = OpSelect %v2int %22 %19 %26
               OpReturnValue %25
               OpFunctionEnd
)");
}

TEST_F(SpirvWriterTest, Convert_F16_to_U32_Vec4) {
    auto* func = b.Function("foo", ty.vec4<u32>());
    func->SetParams({b.FunctionParam("arg", ty.vec4<f16>())});
    b.Append(func->Block(), [&] {
        auto* result = b.Convert(ty.vec4<u32>(), func->Params()[0]);
        b.Return(func, result);
        mod.SetName(result, "result");
    });

    ASSERT_TRUE(Generate()) << Error() << output_;
    EXPECT_INST(R"(
%half_0x1_ffcp_15 = OpConstant %half 0x1.ffcp+15
         %21 = OpConstantComposite %v4half %half_0x1_ffcp_15 %half_0x1_ffcp_15 %half_0x1_ffcp_15 %half_0x1_ffcp_15
%uint_4294967295 = OpConstant %uint 4294967295
         %24 = OpConstantComposite %v4uint %uint_4294967295 %uint_4294967295 %uint_4294967295 %uint_4294967295
       %void = OpTypeVoid
         %28 = OpTypeFunction %void

               ; Function foo
        %foo = OpFunction %v4uint None %7
        %arg = OpFunctionParameter %v4half
          %8 = OpLabel
     %result = OpFunctionCall %v4uint %tint_v4f16_to_v4u32 %arg
               OpReturnValue %result
               OpFunctionEnd

               ; Function tint_v4f16_to_v4u32
%tint_v4f16_to_v4u32 = OpFunction %v4uint None %7
      %value = OpFunctionParameter %v4half
         %12 = OpLabel
         %13 = OpConvertFToU %v4uint %value
         %14 = OpFOrdGreaterThanEqual %v4bool %value %15
         %18 = OpSelect %v4uint %14 %13 %19
         %20 = OpFOrdLessThanEqual %v4bool %value %21
         %23 = OpSelect %v4uint %20 %18 %24
               OpReturnValue %23
               OpFunctionEnd
)");
}

}  // namespace
}  // namespace tint::spirv::writer