blob: bb117b1394344d22b7c7f8b41395e17f2b04fd10 [file] [log] [blame]
// Copyright 2020 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/ast/call_statement.h"
#include "src/tint/sem/call.h"
#include "src/tint/utils/string_stream.h"
#include "src/tint/writer/msl/test_helper.h"
namespace tint::writer::msl {
namespace {
using namespace tint::builtin::fluent_types; // NOLINT
using namespace tint::number_suffixes; // NOLINT
using MslGeneratorImplTest = TestHelper;
enum class CallParamType {
kF32,
kU32,
kBool,
kF16,
};
struct BuiltinData {
builtin::Function builtin;
CallParamType type;
const char* msl_name;
};
inline std::ostream& operator<<(std::ostream& out, BuiltinData data) {
out << data.msl_name << "<";
switch (data.type) {
case CallParamType::kF32:
out << "f32";
break;
case CallParamType::kU32:
out << "u32";
break;
case CallParamType::kBool:
out << "bool";
break;
case CallParamType::kF16:
out << "f16";
break;
}
out << ">";
return out;
}
const ast::CallExpression* GenerateCall(builtin::Function builtin,
CallParamType type,
ProgramBuilder* builder) {
std::string name;
utils::StringStream str;
str << name << builtin;
switch (builtin) {
case builtin::Function::kAcos:
case builtin::Function::kAsin:
case builtin::Function::kAtan:
case builtin::Function::kCeil:
case builtin::Function::kCos:
case builtin::Function::kCosh:
case builtin::Function::kDpdx:
case builtin::Function::kDpdxCoarse:
case builtin::Function::kDpdxFine:
case builtin::Function::kDpdy:
case builtin::Function::kDpdyCoarse:
case builtin::Function::kDpdyFine:
case builtin::Function::kExp:
case builtin::Function::kExp2:
case builtin::Function::kFloor:
case builtin::Function::kFract:
case builtin::Function::kFwidth:
case builtin::Function::kFwidthCoarse:
case builtin::Function::kFwidthFine:
case builtin::Function::kInverseSqrt:
case builtin::Function::kLength:
case builtin::Function::kLog:
case builtin::Function::kLog2:
case builtin::Function::kNormalize:
case builtin::Function::kRound:
case builtin::Function::kSin:
case builtin::Function::kSinh:
case builtin::Function::kSqrt:
case builtin::Function::kTan:
case builtin::Function::kTanh:
case builtin::Function::kTrunc:
case builtin::Function::kSign:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2");
} else {
return builder->Call(str.str(), "f2");
}
case builtin::Function::kLdexp:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "i2");
} else {
return builder->Call(str.str(), "f2", "i2");
}
case builtin::Function::kAtan2:
case builtin::Function::kDot:
case builtin::Function::kDistance:
case builtin::Function::kPow:
case builtin::Function::kReflect:
case builtin::Function::kStep:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "h2");
} else {
return builder->Call(str.str(), "f2", "f2");
}
case builtin::Function::kStorageBarrier:
return builder->Call(str.str());
case builtin::Function::kCross:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h3", "h3");
} else {
return builder->Call(str.str(), "f3", "f3");
}
case builtin::Function::kFma:
case builtin::Function::kMix:
case builtin::Function::kFaceForward:
case builtin::Function::kSmoothstep:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "h2", "h2");
} else {
return builder->Call(str.str(), "f2", "f2", "f2");
}
case builtin::Function::kAll:
case builtin::Function::kAny:
return builder->Call(str.str(), "b2");
case builtin::Function::kAbs:
if (type == CallParamType::kF32) {
return builder->Call(str.str(), "f2");
} else if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2");
} else {
return builder->Call(str.str(), "u2");
}
case builtin::Function::kCountLeadingZeros:
case builtin::Function::kCountOneBits:
case builtin::Function::kCountTrailingZeros:
case builtin::Function::kReverseBits:
return builder->Call(str.str(), "u2");
case builtin::Function::kExtractBits:
return builder->Call(str.str(), "u2", "u1", "u1");
case builtin::Function::kInsertBits:
return builder->Call(str.str(), "u2", "u2", "u1", "u1");
case builtin::Function::kMax:
case builtin::Function::kMin:
if (type == CallParamType::kF32) {
return builder->Call(str.str(), "f2", "f2");
} else if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "h2");
} else {
return builder->Call(str.str(), "u2", "u2");
}
case builtin::Function::kClamp:
if (type == CallParamType::kF32) {
return builder->Call(str.str(), "f2", "f2", "f2");
} else if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "h2", "h2");
} else {
return builder->Call(str.str(), "u2", "u2", "u2");
}
case builtin::Function::kSelect:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "h2", "h2", "b2");
} else {
return builder->Call(str.str(), "f2", "f2", "b2");
}
case builtin::Function::kDeterminant:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "hm2x2");
} else {
return builder->Call(str.str(), "m2x2");
}
case builtin::Function::kPack2X16Snorm:
case builtin::Function::kPack2X16Unorm:
return builder->Call(str.str(), "f2");
case builtin::Function::kPack4X8Snorm:
case builtin::Function::kPack4X8Unorm:
return builder->Call(str.str(), "f4");
case builtin::Function::kUnpack4X8Snorm:
case builtin::Function::kUnpack4X8Unorm:
case builtin::Function::kUnpack2X16Snorm:
case builtin::Function::kUnpack2X16Unorm:
return builder->Call(str.str(), "u1");
case builtin::Function::kWorkgroupBarrier:
return builder->Call(str.str());
case builtin::Function::kTranspose:
if (type == CallParamType::kF16) {
return builder->Call(str.str(), "hm3x2");
} else {
return builder->Call(str.str(), "m3x2");
}
default:
break;
}
return nullptr;
}
using MslBuiltinTest = TestParamHelper<BuiltinData>;
TEST_P(MslBuiltinTest, Emit) {
auto param = GetParam();
if (param.type == CallParamType::kF16) {
Enable(builtin::Extension::kF16);
GlobalVar("h2", ty.vec2<f16>(), builtin::AddressSpace::kPrivate);
GlobalVar("h3", ty.vec3<f16>(), builtin::AddressSpace::kPrivate);
GlobalVar("hm2x2", ty.mat2x2<f16>(), builtin::AddressSpace::kPrivate);
GlobalVar("hm3x2", ty.mat3x2<f16>(), builtin::AddressSpace::kPrivate);
}
GlobalVar("f2", ty.vec2<f32>(), builtin::AddressSpace::kPrivate);
GlobalVar("f3", ty.vec3<f32>(), builtin::AddressSpace::kPrivate);
GlobalVar("f4", ty.vec4<f32>(), builtin::AddressSpace::kPrivate);
GlobalVar("u1", ty.u32(), builtin::AddressSpace::kPrivate);
GlobalVar("u2", ty.vec2<u32>(), builtin::AddressSpace::kPrivate);
GlobalVar("i2", ty.vec2<i32>(), builtin::AddressSpace::kPrivate);
GlobalVar("b2", ty.vec2<bool>(), builtin::AddressSpace::kPrivate);
GlobalVar("m2x2", ty.mat2x2<f32>(), builtin::AddressSpace::kPrivate);
GlobalVar("m3x2", ty.mat3x2<f32>(), builtin::AddressSpace::kPrivate);
auto* call = GenerateCall(param.builtin, param.type, this);
ASSERT_NE(nullptr, call) << "Unhandled builtin";
Func("func", utils::Empty, ty.void_(), utils::Vector{Ignore(call)},
utils::Vector{create<ast::StageAttribute>(ast::PipelineStage::kFragment)});
GeneratorImpl& gen = Build();
auto* sem = program->Sem().Get<sem::Call>(call);
ASSERT_NE(sem, nullptr);
auto* target = sem->Target();
ASSERT_NE(target, nullptr);
auto* builtin = target->As<sem::Builtin>();
ASSERT_NE(builtin, nullptr);
EXPECT_EQ(gen.generate_builtin_name(builtin), param.msl_name);
}
INSTANTIATE_TEST_SUITE_P(
MslGeneratorImplTest,
MslBuiltinTest,
testing::Values(
/* Logical built-in */
BuiltinData{builtin::Function::kAll, CallParamType::kBool, "all"},
BuiltinData{builtin::Function::kAny, CallParamType::kBool, "any"},
BuiltinData{builtin::Function::kSelect, CallParamType::kF32, "select"},
/* Float built-in */
BuiltinData{builtin::Function::kAbs, CallParamType::kF32, "fabs"},
BuiltinData{builtin::Function::kAbs, CallParamType::kF16, "fabs"},
BuiltinData{builtin::Function::kAcos, CallParamType::kF32, "acos"},
BuiltinData{builtin::Function::kAcos, CallParamType::kF16, "acos"},
BuiltinData{builtin::Function::kAsin, CallParamType::kF32, "asin"},
BuiltinData{builtin::Function::kAsin, CallParamType::kF16, "asin"},
BuiltinData{builtin::Function::kAtan, CallParamType::kF32, "atan"},
BuiltinData{builtin::Function::kAtan, CallParamType::kF16, "atan"},
BuiltinData{builtin::Function::kAtan2, CallParamType::kF32, "atan2"},
BuiltinData{builtin::Function::kAtan2, CallParamType::kF16, "atan2"},
BuiltinData{builtin::Function::kCeil, CallParamType::kF32, "ceil"},
BuiltinData{builtin::Function::kCeil, CallParamType::kF16, "ceil"},
BuiltinData{builtin::Function::kClamp, CallParamType::kF32, "clamp"},
BuiltinData{builtin::Function::kClamp, CallParamType::kF16, "clamp"},
BuiltinData{builtin::Function::kCos, CallParamType::kF32, "cos"},
BuiltinData{builtin::Function::kCos, CallParamType::kF16, "cos"},
BuiltinData{builtin::Function::kCosh, CallParamType::kF32, "cosh"},
BuiltinData{builtin::Function::kCosh, CallParamType::kF16, "cosh"},
BuiltinData{builtin::Function::kCross, CallParamType::kF32, "cross"},
BuiltinData{builtin::Function::kCross, CallParamType::kF16, "cross"},
BuiltinData{builtin::Function::kDistance, CallParamType::kF32, "distance"},
BuiltinData{builtin::Function::kDistance, CallParamType::kF16, "distance"},
BuiltinData{builtin::Function::kExp, CallParamType::kF32, "exp"},
BuiltinData{builtin::Function::kExp, CallParamType::kF16, "exp"},
BuiltinData{builtin::Function::kExp2, CallParamType::kF32, "exp2"},
BuiltinData{builtin::Function::kExp2, CallParamType::kF16, "exp2"},
BuiltinData{builtin::Function::kFaceForward, CallParamType::kF32, "faceforward"},
BuiltinData{builtin::Function::kFaceForward, CallParamType::kF16, "faceforward"},
BuiltinData{builtin::Function::kFloor, CallParamType::kF32, "floor"},
BuiltinData{builtin::Function::kFloor, CallParamType::kF16, "floor"},
BuiltinData{builtin::Function::kFma, CallParamType::kF32, "fma"},
BuiltinData{builtin::Function::kFma, CallParamType::kF16, "fma"},
BuiltinData{builtin::Function::kFract, CallParamType::kF32, "fract"},
BuiltinData{builtin::Function::kFract, CallParamType::kF16, "fract"},
BuiltinData{builtin::Function::kInverseSqrt, CallParamType::kF32, "rsqrt"},
BuiltinData{builtin::Function::kInverseSqrt, CallParamType::kF16, "rsqrt"},
BuiltinData{builtin::Function::kLdexp, CallParamType::kF32, "ldexp"},
BuiltinData{builtin::Function::kLdexp, CallParamType::kF16, "ldexp"},
BuiltinData{builtin::Function::kLength, CallParamType::kF32, "length"},
BuiltinData{builtin::Function::kLength, CallParamType::kF16, "length"},
BuiltinData{builtin::Function::kLog, CallParamType::kF32, "log"},
BuiltinData{builtin::Function::kLog, CallParamType::kF16, "log"},
BuiltinData{builtin::Function::kLog2, CallParamType::kF32, "log2"},
BuiltinData{builtin::Function::kLog2, CallParamType::kF16, "log2"},
BuiltinData{builtin::Function::kMax, CallParamType::kF32, "fmax"},
BuiltinData{builtin::Function::kMax, CallParamType::kF16, "fmax"},
BuiltinData{builtin::Function::kMin, CallParamType::kF32, "fmin"},
BuiltinData{builtin::Function::kMin, CallParamType::kF16, "fmin"},
BuiltinData{builtin::Function::kNormalize, CallParamType::kF32, "normalize"},
BuiltinData{builtin::Function::kNormalize, CallParamType::kF16, "normalize"},
BuiltinData{builtin::Function::kPow, CallParamType::kF32, "pow"},
BuiltinData{builtin::Function::kPow, CallParamType::kF16, "pow"},
BuiltinData{builtin::Function::kReflect, CallParamType::kF32, "reflect"},
BuiltinData{builtin::Function::kReflect, CallParamType::kF16, "reflect"},
BuiltinData{builtin::Function::kSign, CallParamType::kF32, "sign"},
BuiltinData{builtin::Function::kSign, CallParamType::kF16, "sign"},
BuiltinData{builtin::Function::kSin, CallParamType::kF32, "sin"},
BuiltinData{builtin::Function::kSin, CallParamType::kF16, "sin"},
BuiltinData{builtin::Function::kSinh, CallParamType::kF32, "sinh"},
BuiltinData{builtin::Function::kSinh, CallParamType::kF16, "sinh"},
BuiltinData{builtin::Function::kSmoothstep, CallParamType::kF32, "smoothstep"},
BuiltinData{builtin::Function::kSmoothstep, CallParamType::kF16, "smoothstep"},
BuiltinData{builtin::Function::kSqrt, CallParamType::kF32, "sqrt"},
BuiltinData{builtin::Function::kSqrt, CallParamType::kF16, "sqrt"},
BuiltinData{builtin::Function::kStep, CallParamType::kF32, "step"},
BuiltinData{builtin::Function::kStep, CallParamType::kF16, "step"},
BuiltinData{builtin::Function::kTan, CallParamType::kF32, "tan"},
BuiltinData{builtin::Function::kTan, CallParamType::kF16, "tan"},
BuiltinData{builtin::Function::kTanh, CallParamType::kF32, "tanh"},
BuiltinData{builtin::Function::kTanh, CallParamType::kF16, "tanh"},
BuiltinData{builtin::Function::kTrunc, CallParamType::kF32, "trunc"},
BuiltinData{builtin::Function::kTrunc, CallParamType::kF16, "trunc"},
/* Integer built-in */
BuiltinData{builtin::Function::kAbs, CallParamType::kU32, "abs"},
BuiltinData{builtin::Function::kClamp, CallParamType::kU32, "clamp"},
BuiltinData{builtin::Function::kCountLeadingZeros, CallParamType::kU32, "clz"},
BuiltinData{builtin::Function::kCountOneBits, CallParamType::kU32, "popcount"},
BuiltinData{builtin::Function::kCountTrailingZeros, CallParamType::kU32, "ctz"},
BuiltinData{builtin::Function::kExtractBits, CallParamType::kU32, "extract_bits"},
BuiltinData{builtin::Function::kInsertBits, CallParamType::kU32, "insert_bits"},
BuiltinData{builtin::Function::kMax, CallParamType::kU32, "max"},
BuiltinData{builtin::Function::kMin, CallParamType::kU32, "min"},
BuiltinData{builtin::Function::kReverseBits, CallParamType::kU32, "reverse_bits"},
BuiltinData{builtin::Function::kRound, CallParamType::kU32, "rint"},
/* Matrix built-in */
BuiltinData{builtin::Function::kDeterminant, CallParamType::kF32, "determinant"},
BuiltinData{builtin::Function::kTranspose, CallParamType::kF32, "transpose"},
/* Vector built-in */
BuiltinData{builtin::Function::kDot, CallParamType::kF32, "dot"},
/* Derivate built-in */
BuiltinData{builtin::Function::kDpdx, CallParamType::kF32, "dfdx"},
BuiltinData{builtin::Function::kDpdxCoarse, CallParamType::kF32, "dfdx"},
BuiltinData{builtin::Function::kDpdxFine, CallParamType::kF32, "dfdx"},
BuiltinData{builtin::Function::kDpdy, CallParamType::kF32, "dfdy"},
BuiltinData{builtin::Function::kDpdyCoarse, CallParamType::kF32, "dfdy"},
BuiltinData{builtin::Function::kDpdyFine, CallParamType::kF32, "dfdy"},
BuiltinData{builtin::Function::kFwidth, CallParamType::kF32, "fwidth"},
BuiltinData{builtin::Function::kFwidthCoarse, CallParamType::kF32, "fwidth"},
BuiltinData{builtin::Function::kFwidthFine, CallParamType::kF32, "fwidth"},
/* Data packing builtin */
BuiltinData{builtin::Function::kPack4X8Snorm, CallParamType::kF32,
"pack_float_to_snorm4x8"},
BuiltinData{builtin::Function::kPack4X8Unorm, CallParamType::kF32,
"pack_float_to_unorm4x8"},
BuiltinData{builtin::Function::kPack2X16Snorm, CallParamType::kF32,
"pack_float_to_snorm2x16"},
BuiltinData{builtin::Function::kPack2X16Unorm, CallParamType::kF32,
"pack_float_to_unorm2x16"},
/* Data unpacking builtin */
BuiltinData{builtin::Function::kUnpack4X8Snorm, CallParamType::kU32,
"unpack_snorm4x8_to_float"},
BuiltinData{builtin::Function::kUnpack4X8Unorm, CallParamType::kU32,
"unpack_unorm4x8_to_float"},
BuiltinData{builtin::Function::kUnpack2X16Snorm, CallParamType::kU32,
"unpack_snorm2x16_to_float"},
BuiltinData{builtin::Function::kUnpack2X16Unorm, CallParamType::kU32,
"unpack_unorm2x16_to_float"}));
TEST_F(MslGeneratorImplTest, Builtin_Call) {
GlobalVar("param1", ty.vec2<f32>(), builtin::AddressSpace::kPrivate);
GlobalVar("param2", ty.vec2<f32>(), builtin::AddressSpace::kPrivate);
auto* call = Call("dot", "param1", "param2");
WrapInFunction(Decl(Var("r", call)));
GeneratorImpl& gen = Build();
utils::StringStream out;
ASSERT_TRUE(gen.EmitExpression(out, call)) << gen.Diagnostics();
EXPECT_EQ(out.str(), "dot(param1, param2)");
}
TEST_F(MslGeneratorImplTest, StorageBarrier) {
auto* call = Call("storageBarrier");
WrapInFunction(CallStmt(call));
GeneratorImpl& gen = Build();
utils::StringStream out;
ASSERT_TRUE(gen.EmitExpression(out, call)) << gen.Diagnostics();
EXPECT_EQ(out.str(), "threadgroup_barrier(mem_flags::mem_device)");
}
TEST_F(MslGeneratorImplTest, WorkgroupBarrier) {
auto* call = Call("workgroupBarrier");
WrapInFunction(CallStmt(call));
GeneratorImpl& gen = Build();
utils::StringStream out;
ASSERT_TRUE(gen.EmitExpression(out, call)) << gen.Diagnostics();
EXPECT_EQ(out.str(), "threadgroup_barrier(mem_flags::mem_threadgroup)");
}
TEST_F(MslGeneratorImplTest, Runtime_Modf_Scalar_f32) {
WrapInFunction(Decl(Let("f", Expr(1.5_f))), //
Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_f32 {
float fract;
float whole;
};
modf_result_f32 tint_modf(float param_0) {
modf_result_f32 result;
result.fract = modf(param_0, result.whole);
return result;
}
kernel void test_function() {
float const f = 1.5f;
modf_result_f32 const v = tint_modf(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Modf_Scalar_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("f", Expr(1.5_h))), //
Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_f16 {
half fract;
half whole;
};
modf_result_f16 tint_modf(half param_0) {
modf_result_f16 result;
result.fract = modf(param_0, result.whole);
return result;
}
kernel void test_function() {
half const f = 1.5h;
modf_result_f16 const v = tint_modf(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Modf_Vector_f32) {
WrapInFunction(Decl(Let("f", Call<vec3<f32>>(1.5_f, 2.5_f, 3.5_f))), //
Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_vec3_f32 {
float3 fract;
float3 whole;
};
modf_result_vec3_f32 tint_modf(float3 param_0) {
modf_result_vec3_f32 result;
result.fract = modf(param_0, result.whole);
return result;
}
kernel void test_function() {
float3 const f = float3(1.5f, 2.5f, 3.5f);
modf_result_vec3_f32 const v = tint_modf(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Modf_Vector_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("f", Call<vec3<f16>>(1.5_h, 2.5_h, 3.5_h))), //
Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_vec3_f16 {
half3 fract;
half3 whole;
};
modf_result_vec3_f16 tint_modf(half3 param_0) {
modf_result_vec3_f16 result;
result.fract = modf(param_0, result.whole);
return result;
}
kernel void test_function() {
half3 const f = half3(1.5h, 2.5h, 3.5h);
modf_result_vec3_f16 const v = tint_modf(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Modf_Scalar_f32) {
WrapInFunction(Decl(Let("v", Call("modf", 1.5_f))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_f32 {
float fract;
float whole;
};
kernel void test_function() {
modf_result_f32 const v = modf_result_f32{.fract=0.5f, .whole=1.0f};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Modf_Scalar_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("v", Call("modf", 1.5_h))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_f16 {
half fract;
half whole;
};
kernel void test_function() {
modf_result_f16 const v = modf_result_f16{.fract=0.5h, .whole=1.0h};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Modf_Vector_f32) {
WrapInFunction(Decl(Let("v", Call("modf", Call<vec3<f32>>(1.5_f, 2.5_f, 3.5_f)))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_vec3_f32 {
float3 fract;
float3 whole;
};
kernel void test_function() {
modf_result_vec3_f32 const v = modf_result_vec3_f32{.fract=float3(0.5f), .whole=float3(1.0f, 2.0f, 3.0f)};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Modf_Vector_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("v", Call("modf", Call<vec3<f16>>(1.5_h, 2.5_h, 3.5_h)))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct modf_result_vec3_f16 {
half3 fract;
half3 whole;
};
kernel void test_function() {
modf_result_vec3_f16 const v = modf_result_vec3_f16{.fract=half3(0.5h), .whole=half3(1.0h, 2.0h, 3.0h)};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Frexp_Scalar_f32) {
WrapInFunction(Var("f", Expr(1_f)), //
Var("v", Call("frexp", "f")));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_f32 {
float fract;
int exp;
};
frexp_result_f32 tint_frexp(float param_0) {
frexp_result_f32 result;
result.fract = frexp(param_0, result.exp);
return result;
}
kernel void test_function() {
float f = 1.0f;
frexp_result_f32 v = tint_frexp(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Frexp_Scalar_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Var("f", Expr(1_h)), //
Var("v", Call("frexp", "f")));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_f16 {
half fract;
int exp;
};
frexp_result_f16 tint_frexp(half param_0) {
frexp_result_f16 result;
result.fract = frexp(param_0, result.exp);
return result;
}
kernel void test_function() {
half f = 1.0h;
frexp_result_f16 v = tint_frexp(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Frexp_Vector_f32) {
WrapInFunction(Var("f", Call<vec3<f32>>()), //
Var("v", Call("frexp", "f")));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_vec3_f32 {
float3 fract;
int3 exp;
};
frexp_result_vec3_f32 tint_frexp(float3 param_0) {
frexp_result_vec3_f32 result;
result.fract = frexp(param_0, result.exp);
return result;
}
kernel void test_function() {
float3 f = float3(0.0f);
frexp_result_vec3_f32 v = tint_frexp(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Runtime_Frexp_Vector_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Var("f", Call<vec3<f16>>()), //
Var("v", Call("frexp", "f")));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_vec3_f16 {
half3 fract;
int3 exp;
};
frexp_result_vec3_f16 tint_frexp(half3 param_0) {
frexp_result_vec3_f16 result;
result.fract = frexp(param_0, result.exp);
return result;
}
kernel void test_function() {
half3 f = half3(0.0h);
frexp_result_vec3_f16 v = tint_frexp(f);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Frexp_Scalar_f32) {
WrapInFunction(Decl(Let("v", Call("frexp", 1_f))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_f32 {
float fract;
int exp;
};
kernel void test_function() {
frexp_result_f32 const v = frexp_result_f32{.fract=0.5f, .exp=1};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Frexp_Scalar_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("v", Call("frexp", 1_h))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_f16 {
half fract;
int exp;
};
kernel void test_function() {
frexp_result_f16 const v = frexp_result_f16{.fract=0.5h, .exp=1};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Frexp_Vector_f32) {
WrapInFunction(Decl(Let("v", Call("frexp", Call<vec3<f32>>()))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_vec3_f32 {
float3 fract;
int3 exp;
};
kernel void test_function() {
frexp_result_vec3_f32 const v = frexp_result_vec3_f32{};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Const_Frexp_Vector_f16) {
Enable(builtin::Extension::kF16);
WrapInFunction(Decl(Let("v", Call("frexp", Call<vec3<f16>>()))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
struct frexp_result_vec3_f16 {
half3 fract;
int3 exp;
};
kernel void test_function() {
frexp_result_vec3_f16 const v = frexp_result_vec3_f16{};
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Degrees_Scalar_f32) {
auto* val = Var("val", ty.f32());
auto* call = Call("degrees", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
float tint_degrees(float param_0) {
return param_0 * 57.29577951308232286465;
}
kernel void test_function() {
float val = 0.0f;
float const tint_symbol = tint_degrees(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Degrees_Vector_f32) {
auto* val = Var("val", ty.vec3<f32>());
auto* call = Call("degrees", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
float3 tint_degrees(float3 param_0) {
return param_0 * 57.29577951308232286465;
}
kernel void test_function() {
float3 val = 0.0f;
float3 const tint_symbol = tint_degrees(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Degrees_Scalar_f16) {
Enable(builtin::Extension::kF16);
auto* val = Var("val", ty.f16());
auto* call = Call("degrees", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
half tint_degrees(half param_0) {
return param_0 * 57.29577951308232286465;
}
kernel void test_function() {
half val = 0.0h;
half const tint_symbol = tint_degrees(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Degrees_Vector_f16) {
Enable(builtin::Extension::kF16);
auto* val = Var("val", ty.vec3<f16>());
auto* call = Call("degrees", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
half3 tint_degrees(half3 param_0) {
return param_0 * 57.29577951308232286465;
}
kernel void test_function() {
half3 val = 0.0h;
half3 const tint_symbol = tint_degrees(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Radians_Scalar_f32) {
auto* val = Var("val", ty.f32());
auto* call = Call("radians", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
float tint_radians(float param_0) {
return param_0 * 0.01745329251994329547;
}
kernel void test_function() {
float val = 0.0f;
float const tint_symbol = tint_radians(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Radians_Vector_f32) {
auto* val = Var("val", ty.vec3<f32>());
auto* call = Call("radians", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
float3 tint_radians(float3 param_0) {
return param_0 * 0.01745329251994329547;
}
kernel void test_function() {
float3 val = 0.0f;
float3 const tint_symbol = tint_radians(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Radians_Scalar_f16) {
Enable(builtin::Extension::kF16);
auto* val = Var("val", ty.f16());
auto* call = Call("radians", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
half tint_radians(half param_0) {
return param_0 * 0.01745329251994329547;
}
kernel void test_function() {
half val = 0.0h;
half const tint_symbol = tint_radians(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Radians_Vector_f16) {
Enable(builtin::Extension::kF16);
auto* val = Var("val", ty.vec3<f16>());
auto* call = Call("radians", val);
WrapInFunction(val, call);
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
half3 tint_radians(half3 param_0) {
return param_0 * 0.01745329251994329547;
}
kernel void test_function() {
half3 val = 0.0h;
half3 const tint_symbol = tint_radians(val);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Pack2x16Float) {
auto* call = Call("pack2x16float", "p1");
GlobalVar("p1", ty.vec2<f32>(), builtin::AddressSpace::kPrivate);
WrapInFunction(Decl(Var("r", call)));
GeneratorImpl& gen = Build();
utils::StringStream out;
ASSERT_TRUE(gen.EmitExpression(out, call)) << gen.Diagnostics();
EXPECT_EQ(out.str(), "as_type<uint>(half2(p1))");
}
TEST_F(MslGeneratorImplTest, Unpack2x16Float) {
auto* call = Call("unpack2x16float", "p1");
GlobalVar("p1", ty.u32(), builtin::AddressSpace::kPrivate);
WrapInFunction(Decl(Var("r", call)));
GeneratorImpl& gen = Build();
utils::StringStream out;
ASSERT_TRUE(gen.EmitExpression(out, call)) << gen.Diagnostics();
EXPECT_EQ(out.str(), "float2(as_type<half2>(p1))");
}
TEST_F(MslGeneratorImplTest, DotI32) {
GlobalVar("v", ty.vec3<i32>(), builtin::AddressSpace::kPrivate);
WrapInFunction(Decl(Var("r", Call("dot", "v", "v"))));
GeneratorImpl& gen = SanitizeAndBuild();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
template<typename T>
T tint_dot3(vec<T,3> a, vec<T,3> b) {
return a[0]*b[0] + a[1]*b[1] + a[2]*b[2];
}
struct tint_private_vars_struct {
int3 v;
};
kernel void test_function() {
thread tint_private_vars_struct tint_private_vars = {};
int r = tint_dot3(tint_private_vars.v, tint_private_vars.v);
return;
}
)");
}
TEST_F(MslGeneratorImplTest, Ignore) {
Func("f", utils::Vector{Param("a", ty.i32()), Param("b", ty.i32()), Param("c", ty.i32())},
ty.i32(), utils::Vector{Return(Mul(Add("a", "b"), "c"))});
Func("func", utils::Empty, ty.void_(), utils::Vector{CallStmt(Call("f", 1_i, 2_i, 3_i))},
utils::Vector{
Stage(ast::PipelineStage::kCompute),
WorkgroupSize(1_i),
});
GeneratorImpl& gen = Build();
ASSERT_TRUE(gen.Generate()) << gen.Diagnostics();
EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
using namespace metal;
int f(int a, int b, int c) {
return as_type<int>((as_type<uint>(as_type<int>((as_type<uint>(a) + as_type<uint>(b)))) * as_type<uint>(c)));
}
kernel void func() {
f(1, 2, 3);
return;
}
)");
}
} // namespace
} // namespace tint::writer::msl