tenvex/src/tests/vec4_tests.cpp
2026-05-31 00:45:24 +08:00

275 lines
5.4 KiB
C++

#include "tenvex.h"
#include "gtest/gtest.h"
namespace tnvx
{
TEST(vec4, add)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 4.0f };
vec4 b = { 4.0f, 3.0f, 2.0f, 1.0f };
vec4 check = { 5.0f, 5.0f, 5.0f, 5.0f };
vec4 result = a + b;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, mixed_type_add)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 0.0f };
vec4 b = { 1.0f, 1.0f, 1.0f, 0.0f };
vec4 c = { 2.0f, 0.0f, 0.0f, 0.0f };
vec4 check = { 4.0f, 3.0f, 4.0f, 0.0f };
vec4 result = a + b + c;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, sub)
{
vec4 a = { 5.0f, 5.0f, 5.0f, 5.0f };
vec4 b = { 4.0f, 3.0f, 2.0f, 1.0f };
vec4 check = { 1.0f, 2.0f, 3.0f, 4.0f };
vec4 result = a - b;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, mult_a)
{
vec4 a = { 1.0f, 2.0f, 0.0f, 0.0f };
float b = 3.0f;
vec4 check = { 3.0f, 6.0f, 0.0f, 0.0f };
vec4 result = a * b;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, mult_b)
{
float a = 2.0f;
vec4 b = { 1.0f, 0.0f, 2.0f, 0.0f };
vec4 check = { 2.0f, 0.0f, 4.0f, 0.0f };
vec4 result = a * b;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, div)
{
vec4 a = { 3.0f, 6.0f, 0.0f, 0.0f };
float b = 3.0f;
vec4 check = { 1.0f, 2.0f, 0.0f, 0.0f };
vec4 result = a / b;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, dot3)
{
vec4 a = { 1.0f, 0.0f, 3.0f, 1.0f };
vec4 b = { 1.0f, 2.0f, 3.0f, 4.0f };
float check = 10.0f;
float result = dot3(a, b);
EXPECT_FLOAT_EQ(check, result);
}
TEST(vec4, cross)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 0.0f };
vec4 check = { 0.0f, 0.0f, 1.0f, 0.0f };
vec4 result = cross3(a, b);
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, norm_a)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 1.0f };
vec4 check = { 1.0f, 0.0f, 0.0f, 1.0f };
vec4 result = norm3(a);
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, norm_b)
{
vec4 a = { 1.0f, 0.0f, 1.0f, 1.0f };
vec4 check = { 0.707106f, 0.0f, 0.707106f, 1.0f };
vec4 result = norm3(a);
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, magnitude_a)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
float check = 1.0f;
float result = magnitude3(a);
EXPECT_FLOAT_EQ(check, result);
}
TEST(vec4, magnitude_b)
{
vec4 a = { 1.0f, 0.0f, 1.0f, 0.0f };
float check = 1.4142135f;
float result = magnitude3(a);
EXPECT_FLOAT_EQ(check, result);
}
TEST(vec4, expression_a)
{
vec4 a = { 1.0f, 1.0f, 1.0f, 1.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 3.0f };
vec4 c = { 1.15f, 0.0f, 11.0f, 0.0f };
vec4 check = { 3.45f, 0.0f, 33.0f, 0.0f };
vec4 result = dot3(a, b) * 3.0f * c;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, expression_b)
{
vec4 a = { 1.0f, 1.0f, 1.0f, 0.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 0.0f };
vec4 c = { 1.15f, 0.0f, 11.0f, 0.0f };
vec4 check = { 33.0f, 0.0f, -3.45f, 0.0f };
vec4 result = dot3(a, b) * 3.0f * cross3(b, c);
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, expression_c)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 0.0f };
vec4 b = { 4.0f, 5.0f, 6.0f, 0.0f };
vec4 c = { 1.0f, 0.0f, 1.0f, 0.0f };
vec4 check = { 7.24264050f, 5.65685463f, 10.0710678f, 0.0f };
vec4 tmp1 = norm3(a + b * 2.0f) * dot3(b, c);
vec4 tmp2 = c * 3.0f;
vec4 result = tmp1 + tmp2;
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, expression_d)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
vec4 b = { 0.0f, 2.0f, 0.0f, 0.0f };
vec4 c = { 0.0f, 0.0f, 3.0f, 0.0f };
vec4 result = (a + b) * 2.0f + c - a;
vec4 check = { 1.0f, 4.0f, 3.0f, 0.0f };
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, expression_from_temporaries)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 0.0f };
vec4 b = { 4.0f, 5.0f, 6.0f, 0.0f };
vec4 check = { 2.0f, 4.0f, 6.0f, 0.0f };
vec4 result = (a + b) + (a - b); // intermediate ties are temporary
EXPECT_TRUE(approx_eq(check, result));
}
TEST(vec4, cross_anticommutative)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 0.0f };
EXPECT_TRUE(approx_eq(cross3(a, b), cross3(b, a) * -1.0f));
}
TEST(vec4, w_is_zero_with_nonzero_input_w)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 5.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 7.0f };
vec4 r = cross3(a, b);
EXPECT_FLOAT_EQ(r.w(), 0.0f);
EXPECT_FLOAT_EQ(r.z(), 1.0f);
}
TEST(vec4, preserves_nontrivial_w)
{
vec4 a = { 0.0f, 3.0f, 0.0f, 9.0f };
vec4 r = norm3(a);
EXPECT_FLOAT_EQ(r.y(), 1.0f);
EXPECT_FLOAT_EQ(r.w(), 9.0f);
}
TEST(vec4, dot_commutative)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 0.0f };
vec4 b = { 4.0f, 5.0f, 6.0f, 0.0f };
EXPECT_FLOAT_EQ(dot3(a, b), dot3(b, a));
}
TEST(vec4, norm_magnitude)
{
vec4 a = { 3.0f, 1.0f, 4.0f, 0.0f };
EXPECT_NEAR(magnitude3(norm3(a)), 1.0f, 1e-6f);
}
TEST(vec4, zero_vector_is_nan)
{
vec4 z = { 0.0f, 0.0f, 0.0f, 0.0f };
vec4 r = norm3(z);
EXPECT_TRUE(std::isnan(r.x()));
}
TEST(vec4, dot_perpendicular)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
vec4 b = { 0.0f, 1.0f, 0.0f, 0.0f };
EXPECT_FLOAT_EQ(dot3(a, b), 0.0f);
}
TEST(vec4, cross_parallel)
{
vec4 a = { 1.0f, 0.0f, 0.0f, 0.0f };
vec4 b = { 2.0f, 0.0f, 0.0f, 0.0f };
vec4 check = { 0.0f, 0.0f, 0.0f, 0.0f };
EXPECT_TRUE(approx_eq(cross3(a, b), check));
}
TEST(vec4, dot3_times_literal_collapses)
{
vec4 a = { 1.0f, 2.0f, 3.0f, 0.0f };
vec4 b = { 4.0f, 5.0f, 6.0f, 0.0f };
auto r = dot3(a, b) * 2.0f;
static_assert(!std::is_same_v<decltype(r), float>);
static_assert(scalar_expr<decltype(r)>);
}
TEST(vec4, magnitude3_times_literal_collapses)
{
vec4 a = { 3.0f, 0.0f, 4.0f, 0.0f };
auto r = magnitude3(a) * 2.0f;
static_assert(!std::is_same_v<decltype(r), float>);
static_assert(scalar_expr<decltype(r)>);
}
}