src/tenvex/expressions/add.h

@@ -19,12 +19,12 @@ struct Add : Expr<Add<L, R>>
 
 private:
 	tnvx_ref_or_value_t<L> _l;
-	tnvx_ref_or_value_t<R> _r;
+	tnvx_ref_or_value_t<L> _r;
 };
 
 template<vec_expr L, vec_expr R>
 [[nodiscard]] TNVX_INLINE
-Add<L, R> operator+(const L& l, const R& r) noexcept;
+Add<L, R> operator+(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept;
 
 template<vec_expr L, vec_expr R>
 inline constexpr bool is_vec_expr<Add<L, R>> = true;

src/tenvex/expressions/add_impl.hpp

@@ -22,7 +22,7 @@ vf4 Add<L, R>::eval() const noexcept
 
 template<vec_expr L, vec_expr R>
 [[nodiscard]] TNVX_INLINE
-Add<L, R> operator+(const L& l, const R& r) noexcept
+Add<L, R> operator+(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept
 {
 	return { l, r };
 }

src/tenvex/expressions/cross3.h

@@ -24,7 +24,7 @@ private:
 
 template<vec_expr L, vec_expr R>
 [[nodiscard]] TNVX_INLINE
-Cross3<L, R> cross3(const L& l, const R& r) noexcept;
+Cross3<L, R> cross3(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept;
 
 template<vec_expr L, vec_expr R> inline constexpr bool is_vec_expr<Cross3<L, R>> = true;
 

src/tenvex/expressions/cross3_impl.hpp

@@ -22,7 +22,7 @@ vf4 Cross3<L, R>::eval() const noexcept
 
 template<vec_expr L, vec_expr R>
 TNVX_INLINE
-Cross3<L, R> cross3(const L& l, const R& r) noexcept
+Cross3<L, R> cross3(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept
 {
 	return { l, r };
 }

src/tenvex/expressions/div.h

@@ -26,7 +26,7 @@ private:
 
 template<vec_expr E>
 [[nodiscard]] TNVX_INLINE
-Div<E, Scalar> operator/(const E& l, float r) noexcept;
+Div<E, Scalar> operator/(const E& TNVX_RESTRICT l, float r) noexcept;
 
 template<vec_expr L, scalar_expr R> inline constexpr bool is_vec_expr<Div<L, R>> = true;
 

src/tenvex/expressions/div_impl.hpp

@@ -22,7 +22,7 @@ vf4 Div<L, R>::eval() const noexcept
 
 template<vec_expr E>
 TNVX_INLINE
-Div<E, Scalar> operator/(const E& l, float r) noexcept
+Div<E, Scalar> operator/(const E& TNVX_RESTRICT l, float r) noexcept
 {
 	return { l, Scalar(r) };
 }

src/tenvex/expressions/dot3.h

@@ -27,7 +27,7 @@ private:
 
 template<vec_expr L, vec_expr R>
 [[nodiscard]] TNVX_INLINE
-Dot3<L, R> dot3(const L& l, const R& r) noexcept;
+Dot3<L, R> dot3(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept;
 
 template<vec_expr L, vec_expr R> inline constexpr bool is_scalar_expr<Dot3<L, R>> = true;
 

src/tenvex/expressions/dot3_impl.h

@@ -29,7 +29,7 @@ Dot3<L, R>::operator float() const noexcept
 
 template<vec_expr L, vec_expr R>
 TNVX_INLINE
-Dot3<L, R> dot3(const L& l, const R& r) noexcept
+Dot3<L, R> dot3(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept
 {
 	return { l, r };
 }

src/tenvex/expressions/magnitude3.h

@@ -26,7 +26,7 @@ private:
 
 template<vec_expr E>
 TNVX_INLINE
-Magn3<E> magnitude3(const E& e) noexcept;
+Magn3<E> magnitude3(const E& TNVX_RESTRICT e) noexcept;
 
 template<vec_expr E> inline constexpr bool is_scalar_expr<Magn3<E>> = true;
 

src/tenvex/expressions/magnitude3_impl.hpp

@@ -29,7 +29,7 @@ Magn3<E>::operator float() const noexcept
 
 template<vec_expr E>
 TNVX_INLINE
-Magn3<E> magnitude3(const E& e) noexcept
+Magn3<E> magnitude3(const E& TNVX_RESTRICT e) noexcept
 {
 	return Magn3<E>(e);
 }

src/tenvex/expressions/mul.h

@@ -26,15 +26,15 @@ private:
 
 template<vec_expr E>
 [[nodiscard]] TNVX_INLINE
-Mul<E, Scalar> operator*(const E& l, float r) noexcept;
+Mul<E, Scalar> operator*(const E& TNVX_RESTRICT l, float r) noexcept;
 
 template<vec_expr E>
 [[nodiscard]] TNVX_INLINE
-Mul<Scalar, E> operator*(float l, const E& r) noexcept;
+Mul<Scalar, E> operator*(float l, const E& TNVX_RESTRICT r) noexcept;
 
 template<scalar_expr L, scalar_expr R>
 [[nodiscard]] TNVX_INLINE
-Mul<L, R> operator*(const L& l, const R& r) noexcept;
+Mul<L, R> operator*(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept;
 
 template<vec_expr L, scalar_expr R> inline constexpr bool is_vec_expr<Mul<L, R>> = true;
 template<scalar_expr L, vec_expr R> inline constexpr bool is_vec_expr<Mul<L, R>> = true;

src/tenvex/expressions/mul_impl.hpp

@@ -22,21 +22,21 @@ vf4 Mul<L, R>::eval() const noexcept
 
 template<vec_expr E>
 TNVX_INLINE
-Mul<E, Scalar> operator*(const E& l, float r) noexcept
+Mul<E, Scalar> operator*(const E& TNVX_RESTRICT l, float r) noexcept
 {
 	return { l, Scalar(r) };
 }
 
 template<vec_expr E>
 TNVX_INLINE
-Mul<Scalar, E> operator*(float l, const E& r) noexcept
+Mul<Scalar, E> operator*(float l, const E& TNVX_RESTRICT r) noexcept
 {
 	return { Scalar(l), r };
 }
 
 template<scalar_expr L, scalar_expr R>
 TNVX_INLINE
-Mul<L, R> operator*(const L& l, const R& r) noexcept
+Mul<L, R> operator*(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept
 {
 	return { l, r };
 }

src/tenvex/expressions/norm3.h

@@ -23,7 +23,7 @@ private:
 
 template<vec_expr E>
 [[nodiscard]] TNVX_INLINE
-Norm3<E> norm3(const E& e) noexcept;
+Norm3<E> norm3(const E& TNVX_RESTRICT e) noexcept;
 
 template<vec_expr E> inline constexpr bool is_vec_expr<Norm3<E>> = true;
 

src/tenvex/expressions/norm3_impl.hpp

@@ -21,7 +21,7 @@ vf4 Norm3<E>::eval() const noexcept
 
 template<vec_expr E>
 TNVX_INLINE
-Norm3<E> norm3(const E& e) noexcept
+Norm3<E> norm3(const E& TNVX_RESTRICT e) noexcept
 {
 	return Norm3<E>(e);
 }

src/tenvex/expressions/scalar.h

@@ -20,8 +20,6 @@ private:
 	vf4 _value;
 };
 
-static_assert(is_stored_by_value_v<Scalar>, "Scalar must be stored by value");
-
 template<>
 inline constexpr bool is_scalar_expr<Scalar> = true;
 

src/tenvex/expressions/sub.h

@@ -24,7 +24,7 @@ private:
 
 template<vec_expr L, vec_expr R>
 [[nodiscard]] TNVX_INLINE
-Sub<L, R> operator-(const L& l, const R& r) noexcept;
+Sub<L, R> operator-(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept;
 
 template<vec_expr L, vec_expr R> inline constexpr bool is_vec_expr<Sub<L, R>> = true;
 

src/tenvex/expressions/sub_impl.hpp

@@ -22,7 +22,7 @@ vf4 Sub<L, R>::eval() const noexcept
 
 template<vec_expr L, vec_expr R>
 TNVX_INLINE
-Sub<L, R> operator-(const L& l, const R& r) noexcept
+Sub<L, R> operator-(const L& TNVX_RESTRICT l, const R& TNVX_RESTRICT r) noexcept
 {
 	return { l, r };
 }

src/tenvex/expressions/vec4.h

@@ -18,7 +18,7 @@ struct alignas(16) vec4 : Expr<vec4>
 
 	template<vec_expr E>
 	TNVX_INLINE
-	vec4(const E& e) noexcept;
+	vec4(const E& TNVX_RESTRICT e) noexcept;
 
 	[[nodiscard]] TNVX_INLINE
 	vf4 eval() const noexcept;

src/tenvex/expressions/vec4_impl.hpp

@@ -19,7 +19,7 @@ __m128 vec4::eval() const noexcept
 
 template<vec_expr E>
 TNVX_INLINE
-vec4::vec4(const E& e) noexcept
+vec4::vec4(const E& TNVX_RESTRICT e) noexcept
 	: _data(e.eval())
 {
 }

src/tests/vec4_tests.cpp

@@ -169,7 +169,7 @@ TEST(vec4, dot_commutative)
 TEST(vec4, norm_magnitude)
 {
 	vec4 a = { 3.0f, 1.0f, 4.0f, 0.0f };
-	EXPECT_NEAR(magnitude3(norm3(a)), 1.0f, 1e-6f);
+	EXPECT_NEAR(magnitude3(norm3(a)), 1.0f, 1e-5f);
 }
 
 TEST(vec4, dot_perpendicular)