src/tint/lang/core/constant/composite_test.cc

// Copyright 2023 The Tint Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "src/tint/lang/core/constant/composite.h"

#include "src/tint/lang/core/constant/helper_test.h"
#include "src/tint/lang/core/constant/scalar.h"
#include "src/tint/lang/core/fluent_types.h"

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

namespace tint::core::constant {
namespace {

using ConstantTest_Composite = TestHelper;

TEST_F(ConstantTest_Composite, AllZero) {
    auto* vec3f = create<core::type::Vector>(create<core::type::F32>(), 3u);

    auto* fPos0 = constants.Get(0_f);
    auto* fNeg0 = constants.Get(-0_f);
    auto* fPos1 = constants.Get(1_f);
    auto* fNeg1 = constants.Get(-1_f);

    auto* compositePosZeros = constants.Composite(vec3f, Vector{fPos0, fPos0});
    auto* compositeNegZeros = constants.Composite(vec3f, Vector{fNeg0, fNeg0});
    auto* compositeMixed = constants.Composite(vec3f, Vector{fNeg0, fPos1, fPos0});
    auto* compositePosNeg = constants.Composite(vec3f, Vector{fNeg1, fPos1, fPos1});

    EXPECT_TRUE(compositePosZeros->AllZero());
    EXPECT_TRUE(compositeNegZeros->AllZero());
    EXPECT_FALSE(compositeMixed->AllZero());
    EXPECT_FALSE(compositePosNeg->AllZero());
}

TEST_F(ConstantTest_Composite, AnyZero) {
    auto* vec3f = create<core::type::Vector>(create<core::type::F32>(), 3u);

    auto* fPos0 = constants.Get(0_f);
    auto* fNeg0 = constants.Get(-0_f);
    auto* fPos1 = constants.Get(1_f);
    auto* fNeg1 = constants.Get(-1_f);

    auto* compositePosZeros = constants.Composite(vec3f, Vector{fPos0, fPos0});
    auto* compositeNegZeros = constants.Composite(vec3f, Vector{fNeg0, fNeg0});
    auto* compositeMixed = constants.Composite(vec3f, Vector{fNeg0, fPos1, fPos0});
    auto* compositePosNeg = constants.Composite(vec3f, Vector{fNeg1, fPos1, fPos1});

    EXPECT_TRUE(compositePosZeros->AnyZero());
    EXPECT_TRUE(compositeNegZeros->AnyZero());
    EXPECT_TRUE(compositeMixed->AnyZero());
    EXPECT_FALSE(compositePosNeg->AllZero());
}

TEST_F(ConstantTest_Composite, Index) {
    auto* vec3f = create<core::type::Vector>(create<core::type::F32>(), 3u);

    auto* fPos0 = constants.Get(0_f);
    auto* fPos1 = constants.Get(1_f);

    auto* composite = constants.Composite(vec3f, Vector{fPos1, fPos0});

    ASSERT_NE(composite->Index(0), nullptr);
    ASSERT_NE(composite->Index(1), nullptr);
    ASSERT_EQ(composite->Index(2), nullptr);

    EXPECT_TRUE(composite->Index(0)->Is<Scalar<f32>>());
    EXPECT_EQ(composite->Index(0)->As<Scalar<f32>>()->ValueOf(), 1.0);
    EXPECT_TRUE(composite->Index(1)->Is<Scalar<f32>>());
    EXPECT_EQ(composite->Index(1)->As<Scalar<f32>>()->ValueOf(), 0.0);
}

TEST_F(ConstantTest_Composite, Clone) {
    auto* vec3f = create<core::type::Vector>(create<core::type::F32>(), 3u);

    auto* fPos0 = constants.Get(0_f);
    auto* fPos1 = constants.Get(1_f);

    auto* composite = constants.Composite(vec3f, Vector{fPos1, fPos0});

    constant::Manager mgr;
    constant::CloneContext ctx{core::type::CloneContext{{nullptr}, {nullptr, &mgr.types}}, mgr};

    auto* r = composite->As<Composite>()->Clone(ctx);
    ASSERT_NE(r, nullptr);
    EXPECT_TRUE(r->type->Is<core::type::Vector>());
    EXPECT_FALSE(r->all_zero);
    EXPECT_TRUE(r->any_zero);
    ASSERT_EQ(r->elements.Length(), 2u);
}

}  // namespace
}  // namespace tint::core::constant