tint: Implement const-eval of modf
Bug: tint:1581
Change-Id: I53151ebf43601cd6afcdd2ec91d0ff9c4e650ef3
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/111241
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
Kokoro: Kokoro <noreply+kokoro@google.com>
Commit-Queue: Ben Clayton <bclayton@google.com>
diff --git a/src/tint/intrinsics.def b/src/tint/intrinsics.def
index 4bb101e..da58aea 100644
--- a/src/tint/intrinsics.def
+++ b/src/tint/intrinsics.def
@@ -504,8 +504,8 @@
fn mix<T: f32_f16>(T, T, T) -> T
fn mix<N: num, T: f32_f16>(vec<N, T>, vec<N, T>, vec<N, T>) -> vec<N, T>
fn mix<N: num, T: f32_f16>(vec<N, T>, vec<N, T>, T) -> vec<N, T>
-fn modf<T: f32_f16>(T) -> __modf_result<T>
-fn modf<N: num, T: f32_f16>(vec<N, T>) -> __modf_result_vec<N, T>
+@const fn modf<T: f32_f16>(@test_value(-1.5) T) -> __modf_result<T>
+@const fn modf<N: num, T: f32_f16>(@test_value(-1.5) vec<N, T>) -> __modf_result_vec<N, T>
fn normalize<N: num, T: f32_f16>(vec<N, T>) -> vec<N, T>
@const fn pack2x16float(vec2<f32>) -> u32
@const fn pack2x16snorm(vec2<f32>) -> u32
diff --git a/src/tint/resolver/const_eval.cc b/src/tint/resolver/const_eval.cc
index 6cdf8f4..c5b51c0 100644
--- a/src/tint/resolver/const_eval.cc
+++ b/src/tint/resolver/const_eval.cc
@@ -2266,6 +2266,40 @@
return TransformElements(builder, ty, transform, args[0], args[1]);
}
+ConstEval::Result ConstEval::modf(const sem::Type* ty,
+ utils::VectorRef<const sem::Constant*> args,
+ const Source& source) {
+ auto transform_fract = [&](const sem::Constant* c) {
+ auto create = [&](auto e) {
+ return CreateElement(builder, source, c->Type(),
+ decltype(e)(e.value - std::trunc(e.value)));
+ };
+ return Dispatch_fa_f32_f16(create, c);
+ };
+ auto transform_whole = [&](const sem::Constant* c) {
+ auto create = [&](auto e) {
+ return CreateElement(builder, source, c->Type(), decltype(e)(std::trunc(e.value)));
+ };
+ return Dispatch_fa_f32_f16(create, c);
+ };
+
+ utils::Vector<const sem::Constant*, 2> fields;
+
+ if (auto fract = TransformElements(builder, args[0]->Type(), transform_fract, args[0])) {
+ fields.Push(fract.Get());
+ } else {
+ return utils::Failure;
+ }
+
+ if (auto whole = TransformElements(builder, args[0]->Type(), transform_whole, args[0])) {
+ fields.Push(whole.Get());
+ } else {
+ return utils::Failure;
+ }
+
+ return CreateComposite(builder, ty, std::move(fields));
+}
+
ConstEval::Result ConstEval::pack2x16float(const sem::Type* ty,
utils::VectorRef<const sem::Constant*> args,
const Source& source) {
diff --git a/src/tint/resolver/const_eval.h b/src/tint/resolver/const_eval.h
index 496e138..f290adb 100644
--- a/src/tint/resolver/const_eval.h
+++ b/src/tint/resolver/const_eval.h
@@ -628,6 +628,15 @@
utils::VectorRef<const sem::Constant*> args,
const Source& source);
+ /// modf builtin
+ /// @param ty the expression type
+ /// @param args the input arguments
+ /// @param source the source location
+ /// @return the result value, or null if the value cannot be calculated
+ Result modf(const sem::Type* ty,
+ utils::VectorRef<const sem::Constant*> args,
+ const Source& source);
+
/// pack2x16float builtin
/// @param ty the expression type
/// @param args the input arguments
diff --git a/src/tint/resolver/const_eval_builtin_test.cc b/src/tint/resolver/const_eval_builtin_test.cc
index 13bbac5..eccd711 100644
--- a/src/tint/resolver/const_eval_builtin_test.cc
+++ b/src/tint/resolver/const_eval_builtin_test.cc
@@ -98,6 +98,11 @@
return Case{utils::Vector<Types, 8>{args}, utils::Vector<Types, 2>{std::move(result)}};
}
+/// Creates a Case with Values for args and result
+static Case C(std::initializer_list<Types> args, std::initializer_list<Types> results) {
+ return Case{utils::Vector<Types, 8>{args}, utils::Vector<Types, 2>{results}};
+}
+
/// Convenience overload that creates a Case with just scalars
static Case C(std::initializer_list<ScalarTypes> sargs, ScalarTypes sresult) {
utils::Vector<Types, 8> args;
@@ -109,6 +114,20 @@
return Case{std::move(args), utils::Vector<Types, 2>{std::move(result)}};
}
+/// Creates a Case with Values for args and result
+static Case C(std::initializer_list<ScalarTypes> sargs,
+ std::initializer_list<ScalarTypes> sresults) {
+ utils::Vector<Types, 8> args;
+ for (auto& sa : sargs) {
+ std::visit([&](auto&& v) { return args.Push(Val(v)); }, sa);
+ }
+ utils::Vector<Types, 2> results;
+ for (auto& sa : sresults) {
+ std::visit([&](auto&& v) { return results.Push(Val(v)); }, sa);
+ }
+ return Case{std::move(args), std::move(results)};
+}
+
/// Creates a Case with Values for args and expected error
static Case E(std::initializer_list<Types> args, std::string err) {
return Case{utils::Vector<Types, 8>{args}, std::move(err)};
@@ -1290,6 +1309,38 @@
MinCases<AFloat>(),
MinCases<f32>(),
MinCases<f16>()))));
+template <typename T>
+std::vector<Case> ModfCases() {
+ return {
+ // Scalar tests
+ // in fract whole
+ C({T(0.0)}, {T(0.0), T(0.0)}), //
+ C({T(1.0)}, {T(0.0), T(1.0)}), //
+ C({T(2.0)}, {T(0.0), T(2.0)}), //
+ C({T(1.5)}, {T(0.5), T(1.0)}), //
+ C({T(4.25)}, {T(0.25), T(4.0)}), //
+ C({T(-1.0)}, {T(0.0), T(-1.0)}), //
+ C({T(-2.0)}, {T(0.0), T(-2.0)}), //
+ C({T(-1.5)}, {T(-0.5), T(-1.0)}), //
+ C({T(-4.25)}, {T(-0.25), T(-4.0)}), //
+ C({T::Lowest()}, {T(0.0), T::Lowest()}), //
+ C({T::Highest()}, {T(0.0), T::Highest()}), //
+
+ // Vector tests
+ // in fract whole
+ C({Vec(T(0.0), T(0.0))}, {Vec(T(0.0), T(0.0)), Vec(T(0.0), T(0.0))}),
+ C({Vec(T(1.0), T(2.0))}, {Vec(T(0.0), T(0.0)), Vec(T(1), T(2))}),
+ C({Vec(T(-2.0), T(1.0))}, {Vec(T(0.0), T(0.0)), Vec(T(-2), T(1))}),
+ C({Vec(T(1.5), T(-2.25))}, {Vec(T(0.5), T(-0.25)), Vec(T(1.0), T(-2.0))}),
+ C({Vec(T::Lowest(), T::Highest())}, {Vec(T(0.0), T(0.0)), Vec(T::Lowest(), T::Highest())}),
+ };
+}
+INSTANTIATE_TEST_SUITE_P( //
+ Modf,
+ ResolverConstEvalBuiltinTest,
+ testing::Combine(testing::Values(sem::BuiltinType::kModf),
+ testing::ValuesIn(Concat(ModfCases<f32>(), //
+ ModfCases<f16>()))));
std::vector<Case> Pack4x8snormCases() {
return {
diff --git a/src/tint/resolver/intrinsic_table.inl b/src/tint/resolver/intrinsic_table.inl
index 7744960..be0e4bb 100644
--- a/src/tint/resolver/intrinsic_table.inl
+++ b/src/tint/resolver/intrinsic_table.inl
@@ -12851,7 +12851,7 @@
/* parameters */ &kParameters[878],
/* return matcher indices */ &kMatcherIndices[106],
/* flags */ OverloadFlags(OverloadFlag::kIsBuiltin, OverloadFlag::kSupportsVertexPipeline, OverloadFlag::kSupportsFragmentPipeline, OverloadFlag::kSupportsComputePipeline),
- /* const eval */ nullptr,
+ /* const eval */ &ConstEval::modf,
},
{
/* [378] */
@@ -12863,7 +12863,7 @@
/* parameters */ &kParameters[879],
/* return matcher indices */ &kMatcherIndices[45],
/* flags */ OverloadFlags(OverloadFlag::kIsBuiltin, OverloadFlag::kSupportsVertexPipeline, OverloadFlag::kSupportsFragmentPipeline, OverloadFlag::kSupportsComputePipeline),
- /* const eval */ nullptr,
+ /* const eval */ &ConstEval::modf,
},
{
/* [379] */
@@ -14351,8 +14351,8 @@
},
{
/* [53] */
- /* fn modf<T : f32_f16>(T) -> __modf_result<T> */
- /* fn modf<N : num, T : f32_f16>(vec<N, T>) -> __modf_result_vec<N, T> */
+ /* fn modf<T : f32_f16>(@test_value(-1.5) T) -> __modf_result<T> */
+ /* fn modf<N : num, T : f32_f16>(@test_value(-1.5) vec<N, T>) -> __modf_result_vec<N, T> */
/* num overloads */ 2,
/* overloads */ &kOverloads[377],
},
diff --git a/src/tint/resolver/validator.cc b/src/tint/resolver/validator.cc
index 0b20c9b..f7d6cb3 100644
--- a/src/tint/resolver/validator.cc
+++ b/src/tint/resolver/validator.cc
@@ -530,9 +530,13 @@
}
if (auto* str = var->Type()->UnwrapRef()->As<sem::Struct>()) {
- if (!AddressSpaceLayout(str, var->AddressSpace(), str->Declaration()->source, layouts)) {
- AddNote("see declaration of variable", var->Declaration()->source);
- return false;
+ // Check the structure has a declaration. Builtins like modf() and frexp() return untypeable
+ // structures, and so they have no declaration. Just skip validation for these.
+ if (auto* str_decl = str->Declaration()) {
+ if (!AddressSpaceLayout(str, var->AddressSpace(), str_decl->source, layouts)) {
+ AddNote("see declaration of variable", var->Declaration()->source);
+ return false;
+ }
}
} else {
Source source = var->Declaration()->source;
diff --git a/src/tint/writer/glsl/generator_impl.cc b/src/tint/writer/glsl/generator_impl.cc
index e716b1d..86ba657 100644
--- a/src/tint/writer/glsl/generator_impl.cc
+++ b/src/tint/writer/glsl/generator_impl.cc
@@ -939,9 +939,7 @@
return true;
}
case sem::BuiltinType::kAtomicCompareExchangeWeak: {
- // Emit the builtin return type unique to this overload. This does not
- // exist in the AST, so it will not be generated in Generate().
- if (!EmitStructTypeOnce(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
+ if (!EmitStructType(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
return false;
}
@@ -2373,10 +2371,12 @@
return true;
},
[&](const sem::Struct* s) {
- if (!EmitType(out, s, ast::AddressSpace::kNone, ast::Access::kUndefined, "")) {
+ if (!EmitStructType(&helpers_, s)) {
return false;
}
+ out << StructName(s);
+
ScopedParen sp(out);
for (size_t i = 0; i < s->Members().size(); i++) {
@@ -2998,6 +2998,11 @@
}
bool GeneratorImpl::EmitStructType(TextBuffer* b, const sem::Struct* str) {
+ auto it = emitted_structs_.emplace(str);
+ if (!it.second) {
+ return true;
+ }
+
auto address_space_uses = str->AddressSpaceUsage();
line(b) << "struct " << StructName(str) << " {";
EmitStructMembers(b, str);
@@ -3007,14 +3012,6 @@
return true;
}
-bool GeneratorImpl::EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* str) {
- auto it = emitted_structs_.emplace(str);
- if (!it.second) {
- return true;
- }
- return EmitStructType(buffer, str);
-}
-
bool GeneratorImpl::EmitStructMembers(TextBuffer* b, const sem::Struct* str) {
ScopedIndent si(b);
for (auto* mem : str->Members()) {
diff --git a/src/tint/writer/glsl/generator_impl.h b/src/tint/writer/glsl/generator_impl.h
index c34880d..24d8357 100644
--- a/src/tint/writer/glsl/generator_impl.h
+++ b/src/tint/writer/glsl/generator_impl.h
@@ -430,17 +430,12 @@
ast::AddressSpace address_space,
ast::Access access,
const std::string& name);
- /// Handles generating a structure declaration
+ /// Handles generating a structure declaration. If the structure has already been emitted, then
+ /// this function will simply return `true` without emitting anything.
/// @param buffer the text buffer that the type declaration will be written to
/// @param ty the struct to generate
/// @returns true if the struct is emitted
bool EmitStructType(TextBuffer* buffer, const sem::Struct* ty);
- /// Handles generating a structure declaration only the first time called. Subsequent calls are
- /// a no-op and return true.
- /// @param buffer the text buffer that the type declaration will be written to
- /// @param ty the struct to generate
- /// @returns true if the struct is emitted
- bool EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* ty);
/// Handles generating the members of a structure
/// @param buffer the text buffer that the struct members will be written to
/// @param ty the struct to generate
diff --git a/src/tint/writer/glsl/generator_impl_builtin_test.cc b/src/tint/writer/glsl/generator_impl_builtin_test.cc
index 17028ac..7d0a72e 100644
--- a/src/tint/writer/glsl/generator_impl_builtin_test.cc
+++ b/src/tint/writer/glsl/generator_impl_builtin_test.cc
@@ -416,9 +416,9 @@
EXPECT_EQ(out.str(), "((a) * (b) + (c))");
}
-TEST_F(GlslGeneratorImplTest_Builtin, Modf_Scalar_f32) {
- auto* call = Call("modf", 1_f);
- WrapInFunction(CallStmt(call));
+TEST_F(GlslGeneratorImplTest_Builtin, Runtime_Modf_Scalar_f32) {
+ WrapInFunction(Decl(Let("f", Expr(1.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -438,7 +438,8 @@
void test_function() {
- tint_modf(1.0f);
+ float f = 1.5f;
+ modf_result v = tint_modf(f);
}
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
@@ -449,11 +450,11 @@
)");
}
-TEST_F(GlslGeneratorImplTest_Builtin, Modf_Scalar_f16) {
+TEST_F(GlslGeneratorImplTest_Builtin, Runtime_Modf_Scalar_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", 1_h);
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", Expr(1.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -474,7 +475,8 @@
void test_function() {
- tint_modf(1.0hf);
+ float16_t f = 1.5hf;
+ modf_result_f16 v = tint_modf(f);
}
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
@@ -485,9 +487,9 @@
)");
}
-TEST_F(GlslGeneratorImplTest_Builtin, Modf_Vector_f32) {
- auto* call = Call("modf", vec3<f32>());
- WrapInFunction(CallStmt(call));
+TEST_F(GlslGeneratorImplTest_Builtin, Runtime_Modf_Vector_f32) {
+ WrapInFunction(Decl(Let("f", vec3<f32>(1.5_f, 2.5_f, 3.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -507,7 +509,8 @@
void test_function() {
- tint_modf(vec3(0.0f));
+ vec3 f = vec3(1.5f, 2.5f, 3.5f);
+ modf_result_vec3 v = tint_modf(f);
}
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
@@ -518,11 +521,11 @@
)");
}
-TEST_F(GlslGeneratorImplTest_Builtin, Modf_Vector_f16) {
+TEST_F(GlslGeneratorImplTest_Builtin, Runtime_Modf_Vector_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", vec3<f16>());
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", vec3<f16>(1.5_h, 2.5_h, 3.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -543,7 +546,118 @@
void test_function() {
- tint_modf(f16vec3(0.0hf));
+ f16vec3 f = f16vec3(1.5hf, 2.5hf, 3.5hf);
+ modf_result_vec3_f16 v = tint_modf(f);
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+ test_function();
+ return;
+}
+)");
+}
+
+TEST_F(GlslGeneratorImplTest_Builtin, Const_Modf_Scalar_f32) {
+ WrapInFunction(Decl(Let("v", Call("modf", 1.5_f))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(#version 310 es
+
+struct modf_result {
+ float fract;
+ float whole;
+};
+
+
+void test_function() {
+ modf_result v = modf_result(0.5f, 1.0f);
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+ test_function();
+ return;
+}
+)");
+}
+
+TEST_F(GlslGeneratorImplTest_Builtin, Const_Modf_Scalar_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", 1.5_h))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(#version 310 es
+#extension GL_AMD_gpu_shader_half_float : require
+
+struct modf_result_f16 {
+ float16_t fract;
+ float16_t whole;
+};
+
+
+void test_function() {
+ modf_result_f16 v = modf_result_f16(0.5hf, 1.0hf);
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+ test_function();
+ return;
+}
+)");
+}
+
+TEST_F(GlslGeneratorImplTest_Builtin, Const_Modf_Vector_f32) {
+ WrapInFunction(Decl(Let("v", Call("modf", vec3<f32>(1.5_f, 2.5_f, 3.5_f)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(#version 310 es
+
+struct modf_result_vec3 {
+ vec3 fract;
+ vec3 whole;
+};
+
+
+void test_function() {
+ modf_result_vec3 v = modf_result_vec3(vec3(0.5f), vec3(1.0f, 2.0f, 3.0f));
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+ test_function();
+ return;
+}
+)");
+}
+
+TEST_F(GlslGeneratorImplTest_Builtin, Const_Modf_Vector_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", vec3<f16>(1.5_h, 2.5_h, 3.5_h)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(#version 310 es
+#extension GL_AMD_gpu_shader_half_float : require
+
+struct modf_result_vec3_f16 {
+ f16vec3 fract;
+ f16vec3 whole;
+};
+
+
+void test_function() {
+ modf_result_vec3_f16 v = modf_result_vec3_f16(f16vec3(0.5hf), f16vec3(1.0hf, 2.0hf, 3.0hf));
}
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
diff --git a/src/tint/writer/hlsl/generator_impl.cc b/src/tint/writer/hlsl/generator_impl.cc
index e3abc51..dcad1b5 100644
--- a/src/tint/writer/hlsl/generator_impl.cc
+++ b/src/tint/writer/hlsl/generator_impl.cc
@@ -1651,9 +1651,7 @@
return true;
}
case sem::BuiltinType::kAtomicCompareExchangeWeak: {
- // Emit the builtin return type unique to this overload. This does not
- // exist in the AST, so it will not be generated in Generate().
- if (!EmitStructTypeOnce(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
+ if (!EmitStructType(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
return false;
}
@@ -2506,7 +2504,7 @@
out << "default";
} else {
out << "case ";
- if (!EmitConstant(out, selector->Value())) {
+ if (!EmitConstant(out, selector->Value(), /* is_variable_initializer */ false)) {
return false;
}
}
@@ -2552,7 +2550,13 @@
bool GeneratorImpl::EmitExpression(std::ostream& out, const ast::Expression* expr) {
if (auto* sem = builder_.Sem().Get(expr)) {
if (auto* constant = sem->ConstantValue()) {
- return EmitConstant(out, constant);
+ bool is_variable_initializer = false;
+ if (auto* stmt = sem->Stmt()) {
+ if (auto* decl = As<ast::VariableDeclStatement>(stmt->Declaration())) {
+ is_variable_initializer = decl->variable->initializer == expr;
+ }
+ }
+ return EmitConstant(out, constant, is_variable_initializer);
}
}
return Switch(
@@ -3042,7 +3046,9 @@
return true;
}
-bool GeneratorImpl::EmitConstant(std::ostream& out, const sem::Constant* constant) {
+bool GeneratorImpl::EmitConstant(std::ostream& out,
+ const sem::Constant* constant,
+ bool is_variable_initializer) {
return Switch(
constant->Type(), //
[&](const sem::Bool*) {
@@ -3072,7 +3078,7 @@
if (constant->AllEqual()) {
{
ScopedParen sp(out);
- if (!EmitConstant(out, constant->Index(0))) {
+ if (!EmitConstant(out, constant->Index(0), is_variable_initializer)) {
return false;
}
}
@@ -3093,7 +3099,7 @@
if (i > 0) {
out << ", ";
}
- if (!EmitConstant(out, constant->Index(i))) {
+ if (!EmitConstant(out, constant->Index(i), is_variable_initializer)) {
return false;
}
}
@@ -3110,7 +3116,7 @@
if (i > 0) {
out << ", ";
}
- if (!EmitConstant(out, constant->Index(i))) {
+ if (!EmitConstant(out, constant->Index(i), is_variable_initializer)) {
return false;
}
}
@@ -3139,7 +3145,7 @@
if (i > 0) {
out << ", ";
}
- if (!EmitConstant(out, constant->Index(i))) {
+ if (!EmitConstant(out, constant->Index(i), is_variable_initializer)) {
return false;
}
}
@@ -3147,25 +3153,45 @@
return true;
},
[&](const sem::Struct* s) {
+ if (!EmitStructType(&helpers_, s)) {
+ return false;
+ }
+
if (constant->AllZero()) {
- out << "(";
- if (!EmitType(out, s, ast::AddressSpace::kNone, ast::Access::kUndefined, "")) {
- return false;
- }
- out << ")0";
+ out << "(" << StructName(s) << ")0";
return true;
}
- out << "{";
- TINT_DEFER(out << "}");
-
- for (size_t i = 0; i < s->Members().size(); i++) {
- if (i > 0) {
- out << ", ";
+ auto emit_member_values = [&](std::ostream& o) {
+ o << "{";
+ for (size_t i = 0; i < s->Members().size(); i++) {
+ if (i > 0) {
+ o << ", ";
+ }
+ if (!EmitConstant(o, constant->Index(i), is_variable_initializer)) {
+ return false;
+ }
}
- if (!EmitConstant(out, constant->Index(i))) {
+ o << "}";
+ return true;
+ };
+
+ if (is_variable_initializer) {
+ if (!emit_member_values(out)) {
return false;
}
+ } else {
+ // HLSL requires structure initializers to be assigned directly to a variable.
+ auto name = UniqueIdentifier("c");
+ {
+ auto decl = line();
+ decl << "const " << StructName(s) << " " << name << " = ";
+ if (!emit_member_values(decl)) {
+ return false;
+ }
+ decl << ";";
+ }
+ out << name;
}
return true;
@@ -3891,6 +3917,11 @@
}
bool GeneratorImpl::EmitStructType(TextBuffer* b, const sem::Struct* str) {
+ auto it = emitted_structs_.emplace(str);
+ if (!it.second) {
+ return true;
+ }
+
line(b) << "struct " << StructName(str) << " {";
{
ScopedIndent si(b);
@@ -3967,14 +3998,6 @@
return true;
}
-bool GeneratorImpl::EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* str) {
- auto it = emitted_structs_.emplace(str);
- if (!it.second) {
- return true;
- }
- return EmitStructType(buffer, str);
-}
-
bool GeneratorImpl::EmitUnaryOp(std::ostream& out, const ast::UnaryOpExpression* expr) {
switch (expr->op) {
case ast::UnaryOp::kIndirection:
diff --git a/src/tint/writer/hlsl/generator_impl.h b/src/tint/writer/hlsl/generator_impl.h
index 16b824b..74a172d 100644
--- a/src/tint/writer/hlsl/generator_impl.h
+++ b/src/tint/writer/hlsl/generator_impl.h
@@ -348,8 +348,12 @@
/// Handles a constant value
/// @param out the output stream
/// @param constant the constant value to emit
+ /// @param is_variable_initializer true if the constant is used as the RHS of a variable
+ /// initializer
/// @returns true if the constant value was successfully emitted
- bool EmitConstant(std::ostream& out, const sem::Constant* constant);
+ bool EmitConstant(std::ostream& out,
+ const sem::Constant* constant,
+ bool is_variable_initializer);
/// Handles a literal
/// @param out the output stream
/// @param lit the literal to emit
@@ -420,17 +424,12 @@
ast::AddressSpace address_space,
ast::Access access,
const std::string& name);
- /// Handles generating a structure declaration
+ /// Handles generating a structure declaration. If the structure has already been emitted, then
+ /// this function will simply return `true` without emitting anything.
/// @param buffer the text buffer that the type declaration will be written to
/// @param ty the struct to generate
/// @returns true if the struct is emitted
bool EmitStructType(TextBuffer* buffer, const sem::Struct* ty);
- /// Handles generating a structure declaration only the first time called. Subsequent calls are
- /// a no-op and return true.
- /// @param buffer the text buffer that the type declaration will be written to
- /// @param ty the struct to generate
- /// @returns true if the struct is emitted
- bool EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* ty);
/// Handles a unary op expression
/// @param out the output of the expression stream
/// @param expr the expression to emit
diff --git a/src/tint/writer/hlsl/generator_impl_builtin_test.cc b/src/tint/writer/hlsl/generator_impl_builtin_test.cc
index b69e671..3e9b169 100644
--- a/src/tint/writer/hlsl/generator_impl_builtin_test.cc
+++ b/src/tint/writer/hlsl/generator_impl_builtin_test.cc
@@ -381,9 +381,9 @@
EXPECT_EQ(out.str(), "(bool2(true, false) ? b : a)");
}
-TEST_F(HlslGeneratorImplTest_Builtin, Modf_Scalar_f32) {
- auto* call = Call("modf", 1_f);
- WrapInFunction(CallStmt(call));
+TEST_F(HlslGeneratorImplTest_Builtin, Runtime_Modf_Scalar_f32) {
+ WrapInFunction(Decl(Let("f", Expr(1.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -400,17 +400,18 @@
[numthreads(1, 1, 1)]
void test_function() {
- tint_modf(1.0f);
+ const float f = 1.5f;
+ const modf_result v = tint_modf(f);
return;
}
)");
}
-TEST_F(HlslGeneratorImplTest_Builtin, Modf_Scalar_f16) {
+TEST_F(HlslGeneratorImplTest_Builtin, Runtime_Modf_Scalar_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", 1_h);
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", Expr(1.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -427,15 +428,16 @@
[numthreads(1, 1, 1)]
void test_function() {
- tint_modf(float16_t(1.0h));
+ const float16_t f = float16_t(1.5h);
+ const modf_result_f16 v = tint_modf(f);
return;
}
)");
}
-TEST_F(HlslGeneratorImplTest_Builtin, Modf_Vector_f32) {
- auto* call = Call("modf", vec3<f32>());
- WrapInFunction(CallStmt(call));
+TEST_F(HlslGeneratorImplTest_Builtin, Runtime_Modf_Vector_f32) {
+ WrapInFunction(Decl(Let("f", vec3<f32>(1.5_f, 2.5_f, 3.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -452,17 +454,18 @@
[numthreads(1, 1, 1)]
void test_function() {
- tint_modf((0.0f).xxx);
+ const float3 f = float3(1.5f, 2.5f, 3.5f);
+ const modf_result_vec3 v = tint_modf(f);
return;
}
)");
}
-TEST_F(HlslGeneratorImplTest_Builtin, Modf_Vector_f16) {
+TEST_F(HlslGeneratorImplTest_Builtin, Runtime_Modf_Vector_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", vec3<f16>());
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", vec3<f16>(1.5_h, 2.5_h, 3.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -479,7 +482,110 @@
[numthreads(1, 1, 1)]
void test_function() {
- tint_modf((float16_t(0.0h)).xxx);
+ const vector<float16_t, 3> f = vector<float16_t, 3>(float16_t(1.5h), float16_t(2.5h), float16_t(3.5h));
+ const modf_result_vec3_f16 v = tint_modf(f);
+ return;
+}
+)");
+}
+
+TEST_F(HlslGeneratorImplTest_Builtin, Const_Modf_Scalar_f32) {
+ WrapInFunction(Decl(Let("v", Call("modf", 1.5_f))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(struct modf_result {
+ float fract;
+ float whole;
+};
+[numthreads(1, 1, 1)]
+void test_function() {
+ const modf_result v = {0.5f, 1.0f};
+ return;
+}
+)");
+}
+
+TEST_F(HlslGeneratorImplTest_Builtin, Const_Modf_Scalar_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", 1.5_h))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(struct modf_result_f16 {
+ float16_t fract;
+ float16_t whole;
+};
+[numthreads(1, 1, 1)]
+void test_function() {
+ const modf_result_f16 v = {float16_t(0.5h), float16_t(1.0h)};
+ return;
+}
+)");
+}
+
+TEST_F(HlslGeneratorImplTest_Builtin, Const_Modf_Vector_f32) {
+ WrapInFunction(Decl(Let("v", Call("modf", vec3<f32>(1.5_f, 2.5_f, 3.5_f)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(struct modf_result_vec3 {
+ float3 fract;
+ float3 whole;
+};
+[numthreads(1, 1, 1)]
+void test_function() {
+ const modf_result_vec3 v = {(0.5f).xxx, float3(1.0f, 2.0f, 3.0f)};
+ return;
+}
+)");
+}
+
+TEST_F(HlslGeneratorImplTest_Builtin, Const_Modf_Vector_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", vec3<f16>(1.5_h, 2.5_h, 3.5_h)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(struct modf_result_vec3_f16 {
+ vector<float16_t, 3> fract;
+ vector<float16_t, 3> whole;
+};
+[numthreads(1, 1, 1)]
+void test_function() {
+ const modf_result_vec3_f16 v = {(float16_t(0.5h)).xxx, vector<float16_t, 3>(float16_t(1.0h), float16_t(2.0h), float16_t(3.0h))};
+ return;
+}
+)");
+}
+
+TEST_F(HlslGeneratorImplTest_Builtin, NonInitializer_Modf_Vector_f32) {
+ WrapInFunction(
+ // Declare a variable with the result of a modf call.
+ // This is required to infer the 'var' type.
+ Decl(Var("v", Call("modf", vec3<f32>(1.5_f, 2.5_f, 3.5_f)))),
+ // Now assign 'v' again with another modf call.
+ // This requires generating a temporary variable for the struct initializer.
+ Assign("v", Call("modf", vec3<f32>(4.5_f, 5.5_f, 6.5_f))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(struct modf_result_vec3 {
+ float3 fract;
+ float3 whole;
+};
+[numthreads(1, 1, 1)]
+void test_function() {
+ modf_result_vec3 v = {(0.5f).xxx, float3(1.0f, 2.0f, 3.0f)};
+ const modf_result_vec3 c = {(0.5f).xxx, float3(4.0f, 5.0f, 6.0f)};
+ v = c;
return;
}
)");
diff --git a/src/tint/writer/msl/generator_impl.cc b/src/tint/writer/msl/generator_impl.cc
index 534742e..10efd59 100644
--- a/src/tint/writer/msl/generator_impl.cc
+++ b/src/tint/writer/msl/generator_impl.cc
@@ -907,9 +907,7 @@
auto func = utils::GetOrCreate(
atomicCompareExchangeWeak_, ACEWKeyType{{sc, str}}, [&]() -> std::string {
- // Emit the builtin return type unique to this overload. This does not
- // exist in the AST, so it will not be generated in Generate().
- if (!EmitStructTypeOnce(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
+ if (!EmitStructType(&helpers_, builtin->ReturnType()->As<sem::Struct>())) {
return "";
}
@@ -1748,7 +1746,11 @@
return true;
},
[&](const sem::Struct* s) {
- out << program_->Symbols().NameFor(s->Name()) << "{";
+ if (!EmitStructType(&helpers_, s)) {
+ return false;
+ }
+
+ out << StructName(s) << "{";
TINT_DEFER(out << "}");
if (constant->AllZero()) {
@@ -2747,6 +2749,11 @@
}
bool GeneratorImpl::EmitStructType(TextBuffer* b, const sem::Struct* str) {
+ auto it = emitted_structs_.emplace(str);
+ if (!it.second) {
+ return true;
+ }
+
line(b) << "struct " << StructName(str) << " {";
bool is_host_shareable = str->IsHostShareable();
@@ -2903,14 +2910,6 @@
return true;
}
-bool GeneratorImpl::EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* str) {
- auto it = emitted_structs_.emplace(str);
- if (!it.second) {
- return true;
- }
- return EmitStructType(buffer, str);
-}
-
bool GeneratorImpl::EmitUnaryOp(std::ostream& out, const ast::UnaryOpExpression* expr) {
// Handle `-e` when `e` is signed, so that we ensure that if `e` is the
// largest negative value, it returns `e`.
diff --git a/src/tint/writer/msl/generator_impl.h b/src/tint/writer/msl/generator_impl.h
index c3e1ac0..829088d 100644
--- a/src/tint/writer/msl/generator_impl.h
+++ b/src/tint/writer/msl/generator_impl.h
@@ -328,17 +328,12 @@
/// @param sc the address space to generate
/// @returns true if the address space is emitted
bool EmitAddressSpace(std::ostream& out, ast::AddressSpace sc);
- /// Handles generating a struct declaration
+ /// Handles generating a struct declaration. If the structure has already been emitted, then
+ /// this function will simply return `true` without emitting anything.
/// @param buffer the text buffer that the type declaration will be written to
/// @param str the struct to generate
/// @returns true if the struct is emitted
bool EmitStructType(TextBuffer* buffer, const sem::Struct* str);
- /// Handles generating a structure declaration only the first time called. Subsequent calls are
- /// a no-op and return true.
- /// @param buffer the text buffer that the type declaration will be written to
- /// @param ty the struct to generate
- /// @returns true if the struct is emitted
- bool EmitStructTypeOnce(TextBuffer* buffer, const sem::Struct* ty);
/// Handles a unary op expression
/// @param out the output of the expression stream
/// @param expr the expression to emit
diff --git a/src/tint/writer/msl/generator_impl_builtin_test.cc b/src/tint/writer/msl/generator_impl_builtin_test.cc
index 8974bd9..c611d6b 100644
--- a/src/tint/writer/msl/generator_impl_builtin_test.cc
+++ b/src/tint/writer/msl/generator_impl_builtin_test.cc
@@ -405,9 +405,9 @@
EXPECT_EQ(out.str(), "threadgroup_barrier(mem_flags::mem_threadgroup)");
}
-TEST_F(MslGeneratorImplTest, Modf_Scalar_f32) {
- auto* call = Call("modf", 1_f);
- WrapInFunction(CallStmt(call));
+TEST_F(MslGeneratorImplTest, Runtime_Modf_Scalar_f32) {
+ WrapInFunction(Decl(Let("f", Expr(1.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -427,18 +427,19 @@
}
kernel void test_function() {
- tint_modf(1.0f);
+ float const f = 1.5f;
+ modf_result const v = tint_modf(f);
return;
}
)");
}
-TEST_F(MslGeneratorImplTest, Modf_Scalar_f16) {
+TEST_F(MslGeneratorImplTest, Runtime_Modf_Scalar_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", 1_h);
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", Expr(1.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -458,16 +459,17 @@
}
kernel void test_function() {
- tint_modf(1.0h);
+ half const f = 1.5h;
+ modf_result_f16 const v = tint_modf(f);
return;
}
)");
}
-TEST_F(MslGeneratorImplTest, Modf_Vector_f32) {
- auto* call = Call("modf", vec3<f32>());
- WrapInFunction(CallStmt(call));
+TEST_F(MslGeneratorImplTest, Runtime_Modf_Vector_f32) {
+ WrapInFunction(Decl(Let("f", vec3<f32>(1.5_f, 2.5_f, 3.5_f))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -487,18 +489,19 @@
}
kernel void test_function() {
- tint_modf(float3(0.0f));
+ float3 const f = float3(1.5f, 2.5f, 3.5f);
+ modf_result_vec3 const v = tint_modf(f);
return;
}
)");
}
-TEST_F(MslGeneratorImplTest, Modf_Vector_f16) {
+TEST_F(MslGeneratorImplTest, Runtime_Modf_Vector_f16) {
Enable(ast::Extension::kF16);
- auto* call = Call("modf", vec3<f16>());
- WrapInFunction(CallStmt(call));
+ WrapInFunction(Decl(Let("f", vec3<f16>(1.5_h, 2.5_h, 3.5_h))), //
+ Decl(Let("v", Call("modf", "f"))));
GeneratorImpl& gen = SanitizeAndBuild();
@@ -518,7 +521,100 @@
}
kernel void test_function() {
- tint_modf(half3(0.0h));
+ 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.error();
+ EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
+
+using namespace metal;
+
+struct modf_result {
+ float fract;
+ float whole;
+};
+kernel void test_function() {
+ modf_result const v = modf_result{.fract=0.5f, .whole=1.0f};
+ return;
+}
+
+)");
+}
+
+TEST_F(MslGeneratorImplTest, Const_Modf_Scalar_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", 1.5_h))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ 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", vec3<f32>(1.5_f, 2.5_f, 3.5_f)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ EXPECT_EQ(gen.result(), R"(#include <metal_stdlib>
+
+using namespace metal;
+
+struct modf_result_vec3 {
+ float3 fract;
+ float3 whole;
+};
+kernel void test_function() {
+ modf_result_vec3 const v = modf_result_vec3{.fract=float3(0.5f), .whole=float3(1.0f, 2.0f, 3.0f)};
+ return;
+}
+
+)");
+}
+
+TEST_F(MslGeneratorImplTest, Const_Modf_Vector_f16) {
+ Enable(ast::Extension::kF16);
+
+ WrapInFunction(Decl(Let("v", Call("modf", vec3<f16>(1.5_h, 2.5_h, 3.5_h)))));
+
+ GeneratorImpl& gen = SanitizeAndBuild();
+
+ ASSERT_TRUE(gen.Generate()) << gen.error();
+ 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;
}
diff --git a/src/tint/writer/spirv/builder_builtin_test.cc b/src/tint/writer/spirv/builder_builtin_test.cc
index d00b019..c0995e8 100644
--- a/src/tint/writer/spirv/builder_builtin_test.cc
+++ b/src/tint/writer/spirv/builder_builtin_test.cc
@@ -1630,7 +1630,7 @@
EXPECT_EQ(got, expect);
}
-TEST_F(BuiltinBuilderTest, Call_Modf_f32) {
+TEST_F(BuiltinBuilderTest, Runtime_Call_Modf_f32) {
auto* vec = Var("vec", vec2<f32>(1_f, 2_f));
auto* expr = Call("modf", vec);
Func("a_func", utils::Empty, ty.void_(),
@@ -1682,7 +1682,7 @@
Validate(b);
}
-TEST_F(BuiltinBuilderTest, Call_Modf_f16) {
+TEST_F(BuiltinBuilderTest, Runtime_Call_Modf_f16) {
Enable(ast::Extension::kF16);
auto* vec = Var("vec", vec2<f16>(1_h, 2_h));
@@ -1740,6 +1740,100 @@
Validate(b);
}
+TEST_F(BuiltinBuilderTest, Const_Call_Modf_f32) {
+ auto* expr = Call("modf", vec2<f32>(1_f, 2_f));
+ Func("a_func", utils::Empty, ty.void_(),
+ utils::Vector{
+ CallStmt(expr),
+ },
+ utils::Vector{
+ Stage(ast::PipelineStage::kFragment),
+ });
+
+ spirv::Builder& b = Build();
+
+ ASSERT_TRUE(b.Build()) << b.error();
+ auto got = DumpBuilder(b);
+ auto* expect = R"(OpCapability Shader
+%9 = OpExtInstImport "GLSL.std.450"
+OpMemoryModel Logical GLSL450
+OpEntryPoint Fragment %3 "a_func"
+OpExecutionMode %3 OriginUpperLeft
+OpName %3 "a_func"
+OpName %6 "__modf_result_vec2"
+OpMemberName %6 0 "fract"
+OpMemberName %6 1 "whole"
+OpMemberDecorate %6 0 Offset 0
+OpMemberDecorate %6 1 Offset 8
+%2 = OpTypeVoid
+%1 = OpTypeFunction %2
+%8 = OpTypeFloat 32
+%7 = OpTypeVector %8 2
+%6 = OpTypeStruct %7 %7
+%10 = OpConstant %8 1
+%11 = OpConstant %8 2
+%12 = OpConstantComposite %7 %10 %11
+%3 = OpFunction %2 None %1
+%4 = OpLabel
+%5 = OpExtInst %6 %9 ModfStruct %12
+OpReturn
+OpFunctionEnd
+)";
+ EXPECT_EQ(expect, got);
+
+ Validate(b);
+}
+
+TEST_F(BuiltinBuilderTest, Const_Call_Modf_f16) {
+ Enable(ast::Extension::kF16);
+
+ auto* expr = Call("modf", vec2<f16>(1_h, 2_h));
+ Func("a_func", utils::Empty, ty.void_(),
+ utils::Vector{
+ CallStmt(expr),
+ },
+ utils::Vector{
+ Stage(ast::PipelineStage::kFragment),
+ });
+
+ spirv::Builder& b = Build();
+
+ ASSERT_TRUE(b.Build()) << b.error();
+ auto got = DumpBuilder(b);
+ auto* expect = R"(OpCapability Shader
+OpCapability Float16
+OpCapability UniformAndStorageBuffer16BitAccess
+OpCapability StorageBuffer16BitAccess
+OpCapability StorageInputOutput16
+%9 = OpExtInstImport "GLSL.std.450"
+OpMemoryModel Logical GLSL450
+OpEntryPoint Fragment %3 "a_func"
+OpExecutionMode %3 OriginUpperLeft
+OpName %3 "a_func"
+OpName %6 "__modf_result_vec2_f16"
+OpMemberName %6 0 "fract"
+OpMemberName %6 1 "whole"
+OpMemberDecorate %6 0 Offset 0
+OpMemberDecorate %6 1 Offset 4
+%2 = OpTypeVoid
+%1 = OpTypeFunction %2
+%8 = OpTypeFloat 16
+%7 = OpTypeVector %8 2
+%6 = OpTypeStruct %7 %7
+%10 = OpConstant %8 0x1p+0
+%11 = OpConstant %8 0x1p+1
+%12 = OpConstantComposite %7 %10 %11
+%3 = OpFunction %2 None %1
+%4 = OpLabel
+%5 = OpExtInst %6 %9 ModfStruct %12
+OpReturn
+OpFunctionEnd
+)";
+ EXPECT_EQ(expect, got);
+
+ Validate(b);
+}
+
TEST_F(BuiltinBuilderTest, Call_Frexp_f32) {
auto* vec = Var("vec", vec2<f32>(1_f, 2_f));
auto* expr = Call("frexp", vec);
diff --git a/test/tint/bug/chromium/1236161.wgsl.expected.dxc.hlsl b/test/tint/bug/chromium/1236161.wgsl.expected.dxc.hlsl
index 1361053..f73a45a 100644
--- a/test/tint/bug/chromium/1236161.wgsl.expected.dxc.hlsl
+++ b/test/tint/bug/chromium/1236161.wgsl.expected.dxc.hlsl
@@ -1,18 +1,8 @@
-struct modf_result {
- float fract;
- float whole;
-};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
[numthreads(1, 1, 1)]
void unused_entry_point() {
return;
}
void i() {
- const float s = tint_modf(1.0f).whole;
+ const float s = 1.0f;
}
diff --git a/test/tint/bug/chromium/1236161.wgsl.expected.fxc.hlsl b/test/tint/bug/chromium/1236161.wgsl.expected.fxc.hlsl
index 1361053..f73a45a 100644
--- a/test/tint/bug/chromium/1236161.wgsl.expected.fxc.hlsl
+++ b/test/tint/bug/chromium/1236161.wgsl.expected.fxc.hlsl
@@ -1,18 +1,8 @@
-struct modf_result {
- float fract;
- float whole;
-};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
[numthreads(1, 1, 1)]
void unused_entry_point() {
return;
}
void i() {
- const float s = tint_modf(1.0f).whole;
+ const float s = 1.0f;
}
diff --git a/test/tint/bug/chromium/1236161.wgsl.expected.glsl b/test/tint/bug/chromium/1236161.wgsl.expected.glsl
index 04734ec..f603bf3 100644
--- a/test/tint/bug/chromium/1236161.wgsl.expected.glsl
+++ b/test/tint/bug/chromium/1236161.wgsl.expected.glsl
@@ -1,22 +1,10 @@
#version 310 es
-struct modf_result {
- float fract;
- float whole;
-};
-
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
-
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
void unused_entry_point() {
return;
}
void i() {
- float s = tint_modf(1.0f).whole;
+ float s = 1.0f;
}
diff --git a/test/tint/bug/chromium/1236161.wgsl.expected.msl b/test/tint/bug/chromium/1236161.wgsl.expected.msl
index 8d7aa31..6acecbd 100644
--- a/test/tint/bug/chromium/1236161.wgsl.expected.msl
+++ b/test/tint/bug/chromium/1236161.wgsl.expected.msl
@@ -1,18 +1,7 @@
#include <metal_stdlib>
using namespace metal;
-
-struct modf_result {
- float fract;
- float whole;
-};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void i() {
- float const s = tint_modf(1.0f).whole;
+ float const s = 1.0f;
}
diff --git a/test/tint/bug/chromium/1236161.wgsl.expected.spvasm b/test/tint/bug/chromium/1236161.wgsl.expected.spvasm
index 0d9b5a8..258d3c9 100644
--- a/test/tint/bug/chromium/1236161.wgsl.expected.spvasm
+++ b/test/tint/bug/chromium/1236161.wgsl.expected.spvasm
@@ -1,24 +1,17 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 13
+; Bound: 9
; Schema: 0
OpCapability Shader
- %10 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %unused_entry_point "unused_entry_point"
OpExecutionMode %unused_entry_point LocalSize 1 1 1
OpName %unused_entry_point "unused_entry_point"
OpName %tint_symbol "tint_symbol"
- OpName %__modf_result "__modf_result"
- OpMemberName %__modf_result 0 "fract"
- OpMemberName %__modf_result 1 "whole"
- OpMemberDecorate %__modf_result 0 Offset 0
- OpMemberDecorate %__modf_result 1 Offset 4
%void = OpTypeVoid
%1 = OpTypeFunction %void
%float = OpTypeFloat 32
-%__modf_result = OpTypeStruct %float %float
%float_1 = OpConstant %float 1
%unused_entry_point = OpFunction %void None %1
%4 = OpLabel
@@ -26,7 +19,5 @@
OpFunctionEnd
%tint_symbol = OpFunction %void None %1
%6 = OpLabel
- %7 = OpExtInst %__modf_result %10 ModfStruct %float_1
- %12 = OpCompositeExtract %float %7 1
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl
index 8d3d0dd..e3212fc 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<2, f32>) -> __modf_result_vec<2, f32>
fn modf_2d50da() {
- var res = modf(vec2<f32>(1.f));
+ var res = modf(vec2<f32>(-1.5f));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.dxc.hlsl
index 2aba1e7..0dc03d8 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
float2 fract;
float2 whole;
};
-modf_result_vec2 tint_modf(float2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf((1.0f).xx);
+ modf_result_vec2 res = {(-0.5f).xx, (-1.0f).xx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.fxc.hlsl
index 2aba1e7..0dc03d8 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.fxc.hlsl
@@ -2,14 +2,8 @@
float2 fract;
float2 whole;
};
-modf_result_vec2 tint_modf(float2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf((1.0f).xx);
+ modf_result_vec2 res = {(-0.5f).xx, (-1.0f).xx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.glsl
index 540a580..881c541 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.glsl
@@ -5,15 +5,9 @@
vec2 whole;
};
-modf_result_vec2 tint_modf(vec2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf(vec2(1.0f));
+ modf_result_vec2 res = modf_result_vec2(vec2(-0.5f), vec2(-1.0f));
}
vec4 vertex_main() {
@@ -37,15 +31,9 @@
vec2 whole;
};
-modf_result_vec2 tint_modf(vec2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf(vec2(1.0f));
+ modf_result_vec2 res = modf_result_vec2(vec2(-0.5f), vec2(-1.0f));
}
void fragment_main() {
@@ -63,15 +51,9 @@
vec2 whole;
};
-modf_result_vec2 tint_modf(vec2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf(vec2(1.0f));
+ modf_result_vec2 res = modf_result_vec2(vec2(-0.5f), vec2(-1.0f));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.msl
index edccc81..16a1941 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.msl
@@ -6,14 +6,8 @@
float2 fract;
float2 whole;
};
-modf_result_vec2 tint_modf(float2 param_0) {
- modf_result_vec2 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_2d50da() {
- modf_result_vec2 res = tint_modf(float2(1.0f));
+ modf_result_vec2 res = modf_result_vec2{.fract=float2(-0.5f), .whole=float2(-1.0f)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.spvasm
index bc75769..84f1689 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 35
+; Bound: 37
; Schema: 0
OpCapability Shader
- %16 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -38,37 +37,40 @@
%9 = OpTypeFunction %void
%v2float = OpTypeVector %float 2
%__modf_result_vec2 = OpTypeStruct %v2float %v2float
- %float_1 = OpConstant %float 1
- %18 = OpConstantComposite %v2float %float_1 %float_1
+ %float_n0_5 = OpConstant %float -0.5
+ %16 = OpConstantComposite %v2float %float_n0_5 %float_n0_5
+ %float_n1 = OpConstant %float -1
+ %18 = OpConstantComposite %v2float %float_n1 %float_n1
+ %19 = OpConstantComposite %__modf_result_vec2 %16 %18
%_ptr_Function___modf_result_vec2 = OpTypePointer Function %__modf_result_vec2
- %21 = OpConstantNull %__modf_result_vec2
- %22 = OpTypeFunction %v4float
+ %22 = OpConstantNull %__modf_result_vec2
+ %23 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_2d50da = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec2 Function %21
- %13 = OpExtInst %__modf_result_vec2 %16 ModfStruct %18
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec2 Function %22
+ OpStore %res %19
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %22
- %24 = OpLabel
- %25 = OpFunctionCall %void %modf_2d50da
+%vertex_main_inner = OpFunction %v4float None %23
+ %25 = OpLabel
+ %26 = OpFunctionCall %void %modf_2d50da
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %27 = OpLabel
- %28 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %28
+ %28 = OpLabel
+ %29 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %29
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %30 = OpLabel
- %31 = OpFunctionCall %void %modf_2d50da
+ %32 = OpLabel
+ %33 = OpFunctionCall %void %modf_2d50da
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %33 = OpLabel
- %34 = OpFunctionCall %void %modf_2d50da
+ %35 = OpLabel
+ %36 = OpFunctionCall %void %modf_2d50da
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.wgsl
index d893b25..a267089 100644
--- a/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/2d50da.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_2d50da() {
- var res = modf(vec2<f32>(1.0f));
+ var res = modf(vec2<f32>(-(1.5f)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl b/test/tint/builtins/gen/literal/modf/45005f.wgsl
index fe0b656..2b413ac 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<3, f16>) -> __modf_result_vec<3, f16>
fn modf_45005f() {
- var res = modf(vec3<f16>(1.h));
+ var res = modf(vec3<f16>(-1.5h));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.dxc.hlsl
index e4a0033..79a0841 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
vector<float16_t, 3> fract;
vector<float16_t, 3> whole;
};
-modf_result_vec3_f16 tint_modf(vector<float16_t, 3> param_0) {
- modf_result_vec3_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_45005f() {
- modf_result_vec3_f16 res = tint_modf((float16_t(1.0h)).xxx);
+ modf_result_vec3_f16 res = {(float16_t(-0.5h)).xxx, (float16_t(-1.0h)).xxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.glsl
index d402eda..8bbd18f 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.glsl
@@ -6,15 +6,9 @@
f16vec3 whole;
};
-modf_result_vec3_f16 tint_modf(f16vec3 param_0) {
- modf_result_vec3_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_45005f() {
- modf_result_vec3_f16 res = tint_modf(f16vec3(1.0hf));
+ modf_result_vec3_f16 res = modf_result_vec3_f16(f16vec3(-0.5hf), f16vec3(-1.0hf));
}
vec4 vertex_main() {
@@ -39,15 +33,9 @@
f16vec3 whole;
};
-modf_result_vec3_f16 tint_modf(f16vec3 param_0) {
- modf_result_vec3_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_45005f() {
- modf_result_vec3_f16 res = tint_modf(f16vec3(1.0hf));
+ modf_result_vec3_f16 res = modf_result_vec3_f16(f16vec3(-0.5hf), f16vec3(-1.0hf));
}
void fragment_main() {
@@ -66,15 +54,9 @@
f16vec3 whole;
};
-modf_result_vec3_f16 tint_modf(f16vec3 param_0) {
- modf_result_vec3_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_45005f() {
- modf_result_vec3_f16 res = tint_modf(f16vec3(1.0hf));
+ modf_result_vec3_f16 res = modf_result_vec3_f16(f16vec3(-0.5hf), f16vec3(-1.0hf));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.msl
index a3071d4..5323690 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.msl
@@ -6,14 +6,8 @@
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;
-}
-
void modf_45005f() {
- modf_result_vec3_f16 res = tint_modf(half3(1.0h));
+ modf_result_vec3_f16 res = modf_result_vec3_f16{.fract=half3(-0.5h), .whole=half3(-1.0h)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.spvasm
index 63c4bd4..e276d40 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 37
+; Bound: 38
; Schema: 0
OpCapability Shader
OpCapability Float16
OpCapability UniformAndStorageBuffer16BitAccess
OpCapability StorageBuffer16BitAccess
OpCapability StorageInputOutput16
- %17 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -43,38 +42,40 @@
%half = OpTypeFloat 16
%v3half = OpTypeVector %half 3
%__modf_result_vec3_f16 = OpTypeStruct %v3half %v3half
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %19 = OpConstantComposite %v3half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_n0x1pn1 = OpConstant %half -0x1p-1
+ %17 = OpConstantComposite %v3half %half_n0x1pn1 %half_n0x1pn1 %half_n0x1pn1
+%half_n0x1p_0 = OpConstant %half -0x1p+0
+ %19 = OpConstantComposite %v3half %half_n0x1p_0 %half_n0x1p_0 %half_n0x1p_0
+ %20 = OpConstantComposite %__modf_result_vec3_f16 %17 %19
%_ptr_Function___modf_result_vec3_f16 = OpTypePointer Function %__modf_result_vec3_f16
- %22 = OpConstantNull %__modf_result_vec3_f16
- %23 = OpTypeFunction %v4float
+ %23 = OpConstantNull %__modf_result_vec3_f16
+ %24 = OpTypeFunction %v4float
%float_1 = OpConstant %float 1
%modf_45005f = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec3_f16 Function %22
- %13 = OpExtInst %__modf_result_vec3_f16 %17 ModfStruct %19
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec3_f16 Function %23
+ OpStore %res %20
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %23
- %25 = OpLabel
- %26 = OpFunctionCall %void %modf_45005f
+%vertex_main_inner = OpFunction %v4float None %24
+ %26 = OpLabel
+ %27 = OpFunctionCall %void %modf_45005f
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %28 = OpLabel
- %29 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %29
+ %29 = OpLabel
+ %30 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %30
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %32 = OpLabel
- %33 = OpFunctionCall %void %modf_45005f
+ %33 = OpLabel
+ %34 = OpFunctionCall %void %modf_45005f
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %35 = OpLabel
- %36 = OpFunctionCall %void %modf_45005f
+ %36 = OpLabel
+ %37 = OpFunctionCall %void %modf_45005f
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.wgsl
index 43f497e..5c77370 100644
--- a/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/45005f.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_45005f() {
- var res = modf(vec3<f16>(1.0h));
+ var res = modf(vec3<f16>(-(1.5h)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl
index 1a3fd9a..86e3824 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<4, f32>) -> __modf_result_vec<4, f32>
fn modf_4bfced() {
- var res = modf(vec4<f32>(1.f));
+ var res = modf(vec4<f32>(-1.5f));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.dxc.hlsl
index 043bbab..deca14c 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
float4 fract;
float4 whole;
};
-modf_result_vec4 tint_modf(float4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf((1.0f).xxxx);
+ modf_result_vec4 res = {(-0.5f).xxxx, (-1.0f).xxxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.fxc.hlsl
index 043bbab..deca14c 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.fxc.hlsl
@@ -2,14 +2,8 @@
float4 fract;
float4 whole;
};
-modf_result_vec4 tint_modf(float4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf((1.0f).xxxx);
+ modf_result_vec4 res = {(-0.5f).xxxx, (-1.0f).xxxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.glsl
index 7c7e682..6952a13 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.glsl
@@ -5,15 +5,9 @@
vec4 whole;
};
-modf_result_vec4 tint_modf(vec4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf(vec4(1.0f));
+ modf_result_vec4 res = modf_result_vec4(vec4(-0.5f), vec4(-1.0f));
}
vec4 vertex_main() {
@@ -37,15 +31,9 @@
vec4 whole;
};
-modf_result_vec4 tint_modf(vec4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf(vec4(1.0f));
+ modf_result_vec4 res = modf_result_vec4(vec4(-0.5f), vec4(-1.0f));
}
void fragment_main() {
@@ -63,15 +51,9 @@
vec4 whole;
};
-modf_result_vec4 tint_modf(vec4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf(vec4(1.0f));
+ modf_result_vec4 res = modf_result_vec4(vec4(-0.5f), vec4(-1.0f));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.msl
index 3b5da9c..9b97487 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.msl
@@ -6,14 +6,8 @@
float4 fract;
float4 whole;
};
-modf_result_vec4 tint_modf(float4 param_0) {
- modf_result_vec4 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_4bfced() {
- modf_result_vec4 res = tint_modf(float4(1.0f));
+ modf_result_vec4 res = modf_result_vec4{.fract=float4(-0.5f), .whole=float4(-1.0f)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.spvasm
index 2a58dd4..60d2fc2 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 34
+; Bound: 36
; Schema: 0
OpCapability Shader
- %15 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -37,37 +36,40 @@
%void = OpTypeVoid
%9 = OpTypeFunction %void
%__modf_result_vec4 = OpTypeStruct %v4float %v4float
- %float_1 = OpConstant %float 1
- %17 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+ %float_n0_5 = OpConstant %float -0.5
+ %15 = OpConstantComposite %v4float %float_n0_5 %float_n0_5 %float_n0_5 %float_n0_5
+ %float_n1 = OpConstant %float -1
+ %17 = OpConstantComposite %v4float %float_n1 %float_n1 %float_n1 %float_n1
+ %18 = OpConstantComposite %__modf_result_vec4 %15 %17
%_ptr_Function___modf_result_vec4 = OpTypePointer Function %__modf_result_vec4
- %20 = OpConstantNull %__modf_result_vec4
- %21 = OpTypeFunction %v4float
+ %21 = OpConstantNull %__modf_result_vec4
+ %22 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_4bfced = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec4 Function %20
- %13 = OpExtInst %__modf_result_vec4 %15 ModfStruct %17
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec4 Function %21
+ OpStore %res %18
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %21
- %23 = OpLabel
- %24 = OpFunctionCall %void %modf_4bfced
+%vertex_main_inner = OpFunction %v4float None %22
+ %24 = OpLabel
+ %25 = OpFunctionCall %void %modf_4bfced
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %26 = OpLabel
- %27 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %27
+ %27 = OpLabel
+ %28 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %28
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %29 = OpLabel
- %30 = OpFunctionCall %void %modf_4bfced
+ %31 = OpLabel
+ %32 = OpFunctionCall %void %modf_4bfced
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %32 = OpLabel
- %33 = OpFunctionCall %void %modf_4bfced
+ %34 = OpLabel
+ %35 = OpFunctionCall %void %modf_4bfced
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.wgsl
index 0b04b87..2ab4612 100644
--- a/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/4bfced.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_4bfced() {
- var res = modf(vec4<f32>(1.0f));
+ var res = modf(vec4<f32>(-(1.5f)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl
index 673bb25..1d6a103 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<3, f32>) -> __modf_result_vec<3, f32>
fn modf_5ea256() {
- var res = modf(vec3<f32>(1.f));
+ var res = modf(vec3<f32>(-1.5f));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.dxc.hlsl
index a2c46f5..e594903 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
float3 fract;
float3 whole;
};
-modf_result_vec3 tint_modf(float3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf((1.0f).xxx);
+ modf_result_vec3 res = {(-0.5f).xxx, (-1.0f).xxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.fxc.hlsl
index a2c46f5..e594903 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.fxc.hlsl
@@ -2,14 +2,8 @@
float3 fract;
float3 whole;
};
-modf_result_vec3 tint_modf(float3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf((1.0f).xxx);
+ modf_result_vec3 res = {(-0.5f).xxx, (-1.0f).xxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.glsl
index 7a727ec..84138c0 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.glsl
@@ -5,15 +5,9 @@
vec3 whole;
};
-modf_result_vec3 tint_modf(vec3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf(vec3(1.0f));
+ modf_result_vec3 res = modf_result_vec3(vec3(-0.5f), vec3(-1.0f));
}
vec4 vertex_main() {
@@ -37,15 +31,9 @@
vec3 whole;
};
-modf_result_vec3 tint_modf(vec3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf(vec3(1.0f));
+ modf_result_vec3 res = modf_result_vec3(vec3(-0.5f), vec3(-1.0f));
}
void fragment_main() {
@@ -63,15 +51,9 @@
vec3 whole;
};
-modf_result_vec3 tint_modf(vec3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf(vec3(1.0f));
+ modf_result_vec3 res = modf_result_vec3(vec3(-0.5f), vec3(-1.0f));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.msl
index 33e7fa3..4e73398 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.msl
@@ -6,14 +6,8 @@
float3 fract;
float3 whole;
};
-modf_result_vec3 tint_modf(float3 param_0) {
- modf_result_vec3 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_5ea256() {
- modf_result_vec3 res = tint_modf(float3(1.0f));
+ modf_result_vec3 res = modf_result_vec3{.fract=float3(-0.5f), .whole=float3(-1.0f)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.spvasm
index 6762d61..62e6d32 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 35
+; Bound: 37
; Schema: 0
OpCapability Shader
- %16 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -38,37 +37,40 @@
%9 = OpTypeFunction %void
%v3float = OpTypeVector %float 3
%__modf_result_vec3 = OpTypeStruct %v3float %v3float
- %float_1 = OpConstant %float 1
- %18 = OpConstantComposite %v3float %float_1 %float_1 %float_1
+ %float_n0_5 = OpConstant %float -0.5
+ %16 = OpConstantComposite %v3float %float_n0_5 %float_n0_5 %float_n0_5
+ %float_n1 = OpConstant %float -1
+ %18 = OpConstantComposite %v3float %float_n1 %float_n1 %float_n1
+ %19 = OpConstantComposite %__modf_result_vec3 %16 %18
%_ptr_Function___modf_result_vec3 = OpTypePointer Function %__modf_result_vec3
- %21 = OpConstantNull %__modf_result_vec3
- %22 = OpTypeFunction %v4float
+ %22 = OpConstantNull %__modf_result_vec3
+ %23 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_5ea256 = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec3 Function %21
- %13 = OpExtInst %__modf_result_vec3 %16 ModfStruct %18
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec3 Function %22
+ OpStore %res %19
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %22
- %24 = OpLabel
- %25 = OpFunctionCall %void %modf_5ea256
+%vertex_main_inner = OpFunction %v4float None %23
+ %25 = OpLabel
+ %26 = OpFunctionCall %void %modf_5ea256
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %27 = OpLabel
- %28 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %28
+ %28 = OpLabel
+ %29 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %29
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %30 = OpLabel
- %31 = OpFunctionCall %void %modf_5ea256
+ %32 = OpLabel
+ %33 = OpFunctionCall %void %modf_5ea256
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %33 = OpLabel
- %34 = OpFunctionCall %void %modf_5ea256
+ %35 = OpLabel
+ %36 = OpFunctionCall %void %modf_5ea256
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.wgsl
index ea4142d..8132d91 100644
--- a/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/5ea256.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_5ea256() {
- var res = modf(vec3<f32>(1.0f));
+ var res = modf(vec3<f32>(-(1.5f)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl
index 591a299..2af78fd 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl
@@ -25,7 +25,7 @@
// fn modf(f16) -> __modf_result<f16>
fn modf_8dbbbf() {
- var res = modf(1.h);
+ var res = modf(-1.5h);
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.dxc.hlsl
index c84d408..cd06924 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
float16_t fract;
float16_t whole;
};
-modf_result_f16 tint_modf(float16_t param_0) {
- modf_result_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_8dbbbf() {
- modf_result_f16 res = tint_modf(float16_t(1.0h));
+ modf_result_f16 res = {float16_t(-0.5h), float16_t(-1.0h)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.glsl
index f9757b9..0741bb8 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.glsl
@@ -6,15 +6,9 @@
float16_t whole;
};
-modf_result_f16 tint_modf(float16_t param_0) {
- modf_result_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_8dbbbf() {
- modf_result_f16 res = tint_modf(1.0hf);
+ modf_result_f16 res = modf_result_f16(-0.5hf, -1.0hf);
}
vec4 vertex_main() {
@@ -39,15 +33,9 @@
float16_t whole;
};
-modf_result_f16 tint_modf(float16_t param_0) {
- modf_result_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_8dbbbf() {
- modf_result_f16 res = tint_modf(1.0hf);
+ modf_result_f16 res = modf_result_f16(-0.5hf, -1.0hf);
}
void fragment_main() {
@@ -66,15 +54,9 @@
float16_t whole;
};
-modf_result_f16 tint_modf(float16_t param_0) {
- modf_result_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_8dbbbf() {
- modf_result_f16 res = tint_modf(1.0hf);
+ modf_result_f16 res = modf_result_f16(-0.5hf, -1.0hf);
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.msl
index e9472e7..6d02f05 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.msl
@@ -6,14 +6,8 @@
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;
-}
-
void modf_8dbbbf() {
- modf_result_f16 res = tint_modf(1.0h);
+ modf_result_f16 res = modf_result_f16{.fract=-0.5h, .whole=-1.0h};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.spvasm
index ebb1132..6f758be 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.spvasm
@@ -8,7 +8,6 @@
OpCapability UniformAndStorageBuffer16BitAccess
OpCapability StorageBuffer16BitAccess
OpCapability StorageInputOutput16
- %16 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -42,7 +41,9 @@
%9 = OpTypeFunction %void
%half = OpTypeFloat 16
%__modf_result_f16 = OpTypeStruct %half %half
-%half_0x1p_0 = OpConstant %half 0x1p+0
+%half_n0x1pn1 = OpConstant %half -0x1p-1
+%half_n0x1p_0 = OpConstant %half -0x1p+0
+ %17 = OpConstantComposite %__modf_result_f16 %half_n0x1pn1 %half_n0x1p_0
%_ptr_Function___modf_result_f16 = OpTypePointer Function %__modf_result_f16
%20 = OpConstantNull %__modf_result_f16
%21 = OpTypeFunction %v4float
@@ -50,8 +51,7 @@
%modf_8dbbbf = OpFunction %void None %9
%12 = OpLabel
%res = OpVariable %_ptr_Function___modf_result_f16 Function %20
- %13 = OpExtInst %__modf_result_f16 %16 ModfStruct %half_0x1p_0
- OpStore %res %13
+ OpStore %res %17
OpReturn
OpFunctionEnd
%vertex_main_inner = OpFunction %v4float None %21
diff --git a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.wgsl
index c3619a7..d25d72f 100644
--- a/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/8dbbbf.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_8dbbbf() {
- var res = modf(1.0h);
+ var res = modf(-(1.5h));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl b/test/tint/builtins/gen/literal/modf/995934.wgsl
index bcb6006..59170ae 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<4, f16>) -> __modf_result_vec<4, f16>
fn modf_995934() {
- var res = modf(vec4<f16>(1.h));
+ var res = modf(vec4<f16>(-1.5h));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.dxc.hlsl
index 24c71de..cc8ede5 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
vector<float16_t, 4> fract;
vector<float16_t, 4> whole;
};
-modf_result_vec4_f16 tint_modf(vector<float16_t, 4> param_0) {
- modf_result_vec4_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_995934() {
- modf_result_vec4_f16 res = tint_modf((float16_t(1.0h)).xxxx);
+ modf_result_vec4_f16 res = {(float16_t(-0.5h)).xxxx, (float16_t(-1.0h)).xxxx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.glsl
index 065a9e7..cafadca 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.glsl
@@ -6,15 +6,9 @@
f16vec4 whole;
};
-modf_result_vec4_f16 tint_modf(f16vec4 param_0) {
- modf_result_vec4_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_995934() {
- modf_result_vec4_f16 res = tint_modf(f16vec4(1.0hf));
+ modf_result_vec4_f16 res = modf_result_vec4_f16(f16vec4(-0.5hf), f16vec4(-1.0hf));
}
vec4 vertex_main() {
@@ -39,15 +33,9 @@
f16vec4 whole;
};
-modf_result_vec4_f16 tint_modf(f16vec4 param_0) {
- modf_result_vec4_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_995934() {
- modf_result_vec4_f16 res = tint_modf(f16vec4(1.0hf));
+ modf_result_vec4_f16 res = modf_result_vec4_f16(f16vec4(-0.5hf), f16vec4(-1.0hf));
}
void fragment_main() {
@@ -66,15 +54,9 @@
f16vec4 whole;
};
-modf_result_vec4_f16 tint_modf(f16vec4 param_0) {
- modf_result_vec4_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_995934() {
- modf_result_vec4_f16 res = tint_modf(f16vec4(1.0hf));
+ modf_result_vec4_f16 res = modf_result_vec4_f16(f16vec4(-0.5hf), f16vec4(-1.0hf));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.msl
index 76d3c04..6371cad 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.msl
@@ -6,14 +6,8 @@
half4 fract;
half4 whole;
};
-modf_result_vec4_f16 tint_modf(half4 param_0) {
- modf_result_vec4_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_995934() {
- modf_result_vec4_f16 res = tint_modf(half4(1.0h));
+ modf_result_vec4_f16 res = modf_result_vec4_f16{.fract=half4(-0.5h), .whole=half4(-1.0h)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.spvasm
index b19f599..d67833b 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 37
+; Bound: 38
; Schema: 0
OpCapability Shader
OpCapability Float16
OpCapability UniformAndStorageBuffer16BitAccess
OpCapability StorageBuffer16BitAccess
OpCapability StorageInputOutput16
- %17 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -43,38 +42,40 @@
%half = OpTypeFloat 16
%v4half = OpTypeVector %half 4
%__modf_result_vec4_f16 = OpTypeStruct %v4half %v4half
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %19 = OpConstantComposite %v4half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_n0x1pn1 = OpConstant %half -0x1p-1
+ %17 = OpConstantComposite %v4half %half_n0x1pn1 %half_n0x1pn1 %half_n0x1pn1 %half_n0x1pn1
+%half_n0x1p_0 = OpConstant %half -0x1p+0
+ %19 = OpConstantComposite %v4half %half_n0x1p_0 %half_n0x1p_0 %half_n0x1p_0 %half_n0x1p_0
+ %20 = OpConstantComposite %__modf_result_vec4_f16 %17 %19
%_ptr_Function___modf_result_vec4_f16 = OpTypePointer Function %__modf_result_vec4_f16
- %22 = OpConstantNull %__modf_result_vec4_f16
- %23 = OpTypeFunction %v4float
+ %23 = OpConstantNull %__modf_result_vec4_f16
+ %24 = OpTypeFunction %v4float
%float_1 = OpConstant %float 1
%modf_995934 = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec4_f16 Function %22
- %13 = OpExtInst %__modf_result_vec4_f16 %17 ModfStruct %19
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec4_f16 Function %23
+ OpStore %res %20
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %23
- %25 = OpLabel
- %26 = OpFunctionCall %void %modf_995934
+%vertex_main_inner = OpFunction %v4float None %24
+ %26 = OpLabel
+ %27 = OpFunctionCall %void %modf_995934
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %28 = OpLabel
- %29 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %29
+ %29 = OpLabel
+ %30 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %30
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %32 = OpLabel
- %33 = OpFunctionCall %void %modf_995934
+ %33 = OpLabel
+ %34 = OpFunctionCall %void %modf_995934
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %35 = OpLabel
- %36 = OpFunctionCall %void %modf_995934
+ %36 = OpLabel
+ %37 = OpFunctionCall %void %modf_995934
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.wgsl
index a73275d..c514967 100644
--- a/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/995934.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_995934() {
- var res = modf(vec4<f16>(1.0h));
+ var res = modf(vec4<f16>(-(1.5h)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl b/test/tint/builtins/gen/literal/modf/a545b9.wgsl
index 1a66aad..a1c1c6e 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<2, f16>) -> __modf_result_vec<2, f16>
fn modf_a545b9() {
- var res = modf(vec2<f16>(1.h));
+ var res = modf(vec2<f16>(-1.5h));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.dxc.hlsl
index 1805568..e3fe286 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
vector<float16_t, 2> fract;
vector<float16_t, 2> whole;
};
-modf_result_vec2_f16 tint_modf(vector<float16_t, 2> param_0) {
- modf_result_vec2_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_a545b9() {
- modf_result_vec2_f16 res = tint_modf((float16_t(1.0h)).xx);
+ modf_result_vec2_f16 res = {(float16_t(-0.5h)).xx, (float16_t(-1.0h)).xx};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.glsl
index 7c2f892..3bcc8fa 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.glsl
@@ -6,15 +6,9 @@
f16vec2 whole;
};
-modf_result_vec2_f16 tint_modf(f16vec2 param_0) {
- modf_result_vec2_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_a545b9() {
- modf_result_vec2_f16 res = tint_modf(f16vec2(1.0hf));
+ modf_result_vec2_f16 res = modf_result_vec2_f16(f16vec2(-0.5hf), f16vec2(-1.0hf));
}
vec4 vertex_main() {
@@ -39,15 +33,9 @@
f16vec2 whole;
};
-modf_result_vec2_f16 tint_modf(f16vec2 param_0) {
- modf_result_vec2_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_a545b9() {
- modf_result_vec2_f16 res = tint_modf(f16vec2(1.0hf));
+ modf_result_vec2_f16 res = modf_result_vec2_f16(f16vec2(-0.5hf), f16vec2(-1.0hf));
}
void fragment_main() {
@@ -66,15 +54,9 @@
f16vec2 whole;
};
-modf_result_vec2_f16 tint_modf(f16vec2 param_0) {
- modf_result_vec2_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_a545b9() {
- modf_result_vec2_f16 res = tint_modf(f16vec2(1.0hf));
+ modf_result_vec2_f16 res = modf_result_vec2_f16(f16vec2(-0.5hf), f16vec2(-1.0hf));
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.msl
index d7ce71e..18005ff 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.msl
@@ -6,14 +6,8 @@
half2 fract;
half2 whole;
};
-modf_result_vec2_f16 tint_modf(half2 param_0) {
- modf_result_vec2_f16 result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_a545b9() {
- modf_result_vec2_f16 res = tint_modf(half2(1.0h));
+ modf_result_vec2_f16 res = modf_result_vec2_f16{.fract=half2(-0.5h), .whole=half2(-1.0h)};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.spvasm
index 63d3be1..a1c6140 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 37
+; Bound: 38
; Schema: 0
OpCapability Shader
OpCapability Float16
OpCapability UniformAndStorageBuffer16BitAccess
OpCapability StorageBuffer16BitAccess
OpCapability StorageInputOutput16
- %17 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -43,38 +42,40 @@
%half = OpTypeFloat 16
%v2half = OpTypeVector %half 2
%__modf_result_vec2_f16 = OpTypeStruct %v2half %v2half
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %19 = OpConstantComposite %v2half %half_0x1p_0 %half_0x1p_0
+%half_n0x1pn1 = OpConstant %half -0x1p-1
+ %17 = OpConstantComposite %v2half %half_n0x1pn1 %half_n0x1pn1
+%half_n0x1p_0 = OpConstant %half -0x1p+0
+ %19 = OpConstantComposite %v2half %half_n0x1p_0 %half_n0x1p_0
+ %20 = OpConstantComposite %__modf_result_vec2_f16 %17 %19
%_ptr_Function___modf_result_vec2_f16 = OpTypePointer Function %__modf_result_vec2_f16
- %22 = OpConstantNull %__modf_result_vec2_f16
- %23 = OpTypeFunction %v4float
+ %23 = OpConstantNull %__modf_result_vec2_f16
+ %24 = OpTypeFunction %v4float
%float_1 = OpConstant %float 1
%modf_a545b9 = OpFunction %void None %9
%12 = OpLabel
- %res = OpVariable %_ptr_Function___modf_result_vec2_f16 Function %22
- %13 = OpExtInst %__modf_result_vec2_f16 %17 ModfStruct %19
- OpStore %res %13
+ %res = OpVariable %_ptr_Function___modf_result_vec2_f16 Function %23
+ OpStore %res %20
OpReturn
OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %23
- %25 = OpLabel
- %26 = OpFunctionCall %void %modf_a545b9
+%vertex_main_inner = OpFunction %v4float None %24
+ %26 = OpLabel
+ %27 = OpFunctionCall %void %modf_a545b9
OpReturnValue %5
OpFunctionEnd
%vertex_main = OpFunction %void None %9
- %28 = OpLabel
- %29 = OpFunctionCall %v4float %vertex_main_inner
- OpStore %value %29
+ %29 = OpLabel
+ %30 = OpFunctionCall %v4float %vertex_main_inner
+ OpStore %value %30
OpStore %vertex_point_size %float_1
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %32 = OpLabel
- %33 = OpFunctionCall %void %modf_a545b9
+ %33 = OpLabel
+ %34 = OpFunctionCall %void %modf_a545b9
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %35 = OpLabel
- %36 = OpFunctionCall %void %modf_a545b9
+ %36 = OpLabel
+ %37 = OpFunctionCall %void %modf_a545b9
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.wgsl
index 9d2b453..c7bc52b 100644
--- a/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/a545b9.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_a545b9() {
- var res = modf(vec2<f16>(1.0h));
+ var res = modf(vec2<f16>(-(1.5h)));
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl
index d0ffdaa..bdcd0f0 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl
@@ -23,7 +23,7 @@
// fn modf(f32) -> __modf_result<f32>
fn modf_bbf7f7() {
- var res = modf(1.f);
+ var res = modf(-1.5f);
}
@vertex
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.dxc.hlsl
index 020478a..ec4e06b 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.dxc.hlsl
@@ -2,14 +2,8 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = {-0.5f, -1.0f};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.fxc.hlsl
index 020478a..ec4e06b 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.fxc.hlsl
@@ -2,14 +2,8 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = {-0.5f, -1.0f};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.glsl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.glsl
index 30917ac..177ebe9 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.glsl
@@ -5,15 +5,9 @@
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = modf_result(-0.5f, -1.0f);
}
vec4 vertex_main() {
@@ -37,15 +31,9 @@
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = modf_result(-0.5f, -1.0f);
}
void fragment_main() {
@@ -63,15 +51,9 @@
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = modf_result(-0.5f, -1.0f);
}
void compute_main() {
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.msl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.msl
index 250e830..f5fdb55 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.msl
@@ -6,14 +6,8 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void modf_bbf7f7() {
- modf_result res = tint_modf(1.0f);
+ modf_result res = modf_result{.fract=-0.5f, .whole=-1.0f};
}
struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.spvasm
index 21a2358..1f64077 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 33
+; Bound: 34
; Schema: 0
OpCapability Shader
- %15 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -37,15 +36,17 @@
%void = OpTypeVoid
%9 = OpTypeFunction %void
%__modf_result = OpTypeStruct %float %float
- %float_1 = OpConstant %float 1
+ %float_n0_5 = OpConstant %float -0.5
+ %float_n1 = OpConstant %float -1
+ %16 = OpConstantComposite %__modf_result %float_n0_5 %float_n1
%_ptr_Function___modf_result = OpTypePointer Function %__modf_result
%19 = OpConstantNull %__modf_result
%20 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_bbf7f7 = OpFunction %void None %9
%12 = OpLabel
%res = OpVariable %_ptr_Function___modf_result Function %19
- %13 = OpExtInst %__modf_result %15 ModfStruct %float_1
- OpStore %res %13
+ OpStore %res %16
OpReturn
OpFunctionEnd
%vertex_main_inner = OpFunction %v4float None %20
@@ -61,12 +62,12 @@
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %28 = OpLabel
- %29 = OpFunctionCall %void %modf_bbf7f7
+ %29 = OpLabel
+ %30 = OpFunctionCall %void %modf_bbf7f7
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %31 = OpLabel
- %32 = OpFunctionCall %void %modf_bbf7f7
+ %32 = OpLabel
+ %33 = OpFunctionCall %void %modf_bbf7f7
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.wgsl
index 31c86d6..a93f3e3 100644
--- a/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/modf/bbf7f7.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_bbf7f7() {
- var res = modf(1.0f);
+ var res = modf(-(1.5f));
}
@vertex
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl b/test/tint/builtins/gen/var/modf/2d50da.wgsl
index d8f067b..00be018 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<2, f32>) -> __modf_result_vec<2, f32>
fn modf_2d50da() {
- var arg_0 = vec2<f32>(1.f);
+ var arg_0 = vec2<f32>(-1.5f);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.dxc.hlsl
index bf9728e..a3745ba 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_2d50da() {
- float2 arg_0 = (1.0f).xx;
+ float2 arg_0 = (-1.5f).xx;
modf_result_vec2 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.fxc.hlsl
index bf9728e..a3745ba 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.fxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_2d50da() {
- float2 arg_0 = (1.0f).xx;
+ float2 arg_0 = (-1.5f).xx;
modf_result_vec2 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.glsl
index a1998b9..d7ecc21 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.glsl
@@ -13,7 +13,7 @@
void modf_2d50da() {
- vec2 arg_0 = vec2(1.0f);
+ vec2 arg_0 = vec2(-1.5f);
modf_result_vec2 res = tint_modf(arg_0);
}
@@ -46,7 +46,7 @@
void modf_2d50da() {
- vec2 arg_0 = vec2(1.0f);
+ vec2 arg_0 = vec2(-1.5f);
modf_result_vec2 res = tint_modf(arg_0);
}
@@ -73,7 +73,7 @@
void modf_2d50da() {
- vec2 arg_0 = vec2(1.0f);
+ vec2 arg_0 = vec2(-1.5f);
modf_result_vec2 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.msl
index 7579576..5963525 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_2d50da() {
- float2 arg_0 = float2(1.0f);
+ float2 arg_0 = float2(-1.5f);
modf_result_vec2 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.spvasm
index 9e6337b..4fda240 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.spvasm
@@ -1,7 +1,7 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 39
+; Bound: 40
; Schema: 0
OpCapability Shader
%21 = OpExtInstImport "GLSL.std.450"
@@ -38,14 +38,15 @@
%void = OpTypeVoid
%9 = OpTypeFunction %void
%v2float = OpTypeVector %float 2
- %float_1 = OpConstant %float 1
- %15 = OpConstantComposite %v2float %float_1 %float_1
+ %float_n1_5 = OpConstant %float -1.5
+ %15 = OpConstantComposite %v2float %float_n1_5 %float_n1_5
%_ptr_Function_v2float = OpTypePointer Function %v2float
%18 = OpConstantNull %v2float
%__modf_result_vec2 = OpTypeStruct %v2float %v2float
%_ptr_Function___modf_result_vec2 = OpTypePointer Function %__modf_result_vec2
%25 = OpConstantNull %__modf_result_vec2
%26 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_2d50da = OpFunction %void None %9
%12 = OpLabel
%arg_0 = OpVariable %_ptr_Function_v2float Function %18
@@ -69,12 +70,12 @@
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %34 = OpLabel
- %35 = OpFunctionCall %void %modf_2d50da
+ %35 = OpLabel
+ %36 = OpFunctionCall %void %modf_2d50da
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %37 = OpLabel
- %38 = OpFunctionCall %void %modf_2d50da
+ %38 = OpLabel
+ %39 = OpFunctionCall %void %modf_2d50da
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.wgsl
index baa5039..1ea4d30 100644
--- a/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/2d50da.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_2d50da() {
- var arg_0 = vec2<f32>(1.0f);
+ var arg_0 = vec2<f32>(-(1.5f));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl b/test/tint/builtins/gen/var/modf/45005f.wgsl
index 3764709..8955e23 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<3, f16>) -> __modf_result_vec<3, f16>
fn modf_45005f() {
- var arg_0 = vec3<f16>(1.h);
+ var arg_0 = vec3<f16>(-1.5h);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.dxc.hlsl
index f9a9e8d..db8c084 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_45005f() {
- vector<float16_t, 3> arg_0 = (float16_t(1.0h)).xxx;
+ vector<float16_t, 3> arg_0 = (float16_t(-1.5h)).xxx;
modf_result_vec3_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.glsl
index 0c6aad6..f019a7d 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.glsl
@@ -14,7 +14,7 @@
void modf_45005f() {
- f16vec3 arg_0 = f16vec3(1.0hf);
+ f16vec3 arg_0 = f16vec3(-1.5hf);
modf_result_vec3_f16 res = tint_modf(arg_0);
}
@@ -48,7 +48,7 @@
void modf_45005f() {
- f16vec3 arg_0 = f16vec3(1.0hf);
+ f16vec3 arg_0 = f16vec3(-1.5hf);
modf_result_vec3_f16 res = tint_modf(arg_0);
}
@@ -76,7 +76,7 @@
void modf_45005f() {
- f16vec3 arg_0 = f16vec3(1.0hf);
+ f16vec3 arg_0 = f16vec3(-1.5hf);
modf_result_vec3_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.msl
index 106d1b6..5c9713f 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_45005f() {
- half3 arg_0 = half3(1.0h);
+ half3 arg_0 = half3(-1.5h);
modf_result_vec3_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.spvasm
index 7c7b813..d647058 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.spvasm
@@ -43,8 +43,8 @@
%9 = OpTypeFunction %void
%half = OpTypeFloat 16
%v3half = OpTypeVector %half 3
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %16 = OpConstantComposite %v3half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_n0x1_8p_0 = OpConstant %half -0x1.8p+0
+ %16 = OpConstantComposite %v3half %half_n0x1_8p_0 %half_n0x1_8p_0 %half_n0x1_8p_0
%_ptr_Function_v3half = OpTypePointer Function %v3half
%19 = OpConstantNull %v3half
%__modf_result_vec3_f16 = OpTypeStruct %v3half %v3half
diff --git a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.wgsl
index f9e08f3..96fce1a 100644
--- a/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/45005f.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_45005f() {
- var arg_0 = vec3<f16>(1.0h);
+ var arg_0 = vec3<f16>(-(1.5h));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl b/test/tint/builtins/gen/var/modf/4bfced.wgsl
index 4929415..52581ce 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<4, f32>) -> __modf_result_vec<4, f32>
fn modf_4bfced() {
- var arg_0 = vec4<f32>(1.f);
+ var arg_0 = vec4<f32>(-1.5f);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.dxc.hlsl
index 0cfe790..e084fcc 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_4bfced() {
- float4 arg_0 = (1.0f).xxxx;
+ float4 arg_0 = (-1.5f).xxxx;
modf_result_vec4 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.fxc.hlsl
index 0cfe790..e084fcc 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.fxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_4bfced() {
- float4 arg_0 = (1.0f).xxxx;
+ float4 arg_0 = (-1.5f).xxxx;
modf_result_vec4 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.glsl
index 5d5615b..5a153b9 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.glsl
@@ -13,7 +13,7 @@
void modf_4bfced() {
- vec4 arg_0 = vec4(1.0f);
+ vec4 arg_0 = vec4(-1.5f);
modf_result_vec4 res = tint_modf(arg_0);
}
@@ -46,7 +46,7 @@
void modf_4bfced() {
- vec4 arg_0 = vec4(1.0f);
+ vec4 arg_0 = vec4(-1.5f);
modf_result_vec4 res = tint_modf(arg_0);
}
@@ -73,7 +73,7 @@
void modf_4bfced() {
- vec4 arg_0 = vec4(1.0f);
+ vec4 arg_0 = vec4(-1.5f);
modf_result_vec4 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.msl
index 4bac39e..fe36491 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_4bfced() {
- float4 arg_0 = float4(1.0f);
+ float4 arg_0 = float4(-1.5f);
modf_result_vec4 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.spvasm
index 44dedfe..8bdaea4 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.spvasm
@@ -1,7 +1,7 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 37
+; Bound: 38
; Schema: 0
OpCapability Shader
%19 = OpExtInstImport "GLSL.std.450"
@@ -37,13 +37,14 @@
%vertex_point_size = OpVariable %_ptr_Output_float Output %8
%void = OpTypeVoid
%9 = OpTypeFunction %void
- %float_1 = OpConstant %float 1
- %14 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+ %float_n1_5 = OpConstant %float -1.5
+ %14 = OpConstantComposite %v4float %float_n1_5 %float_n1_5 %float_n1_5 %float_n1_5
%_ptr_Function_v4float = OpTypePointer Function %v4float
%__modf_result_vec4 = OpTypeStruct %v4float %v4float
%_ptr_Function___modf_result_vec4 = OpTypePointer Function %__modf_result_vec4
%23 = OpConstantNull %__modf_result_vec4
%24 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_4bfced = OpFunction %void None %9
%12 = OpLabel
%arg_0 = OpVariable %_ptr_Function_v4float Function %5
@@ -67,12 +68,12 @@
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %32 = OpLabel
- %33 = OpFunctionCall %void %modf_4bfced
+ %33 = OpLabel
+ %34 = OpFunctionCall %void %modf_4bfced
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %35 = OpLabel
- %36 = OpFunctionCall %void %modf_4bfced
+ %36 = OpLabel
+ %37 = OpFunctionCall %void %modf_4bfced
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.wgsl
index cff6f57..cc7e11d 100644
--- a/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/4bfced.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_4bfced() {
- var arg_0 = vec4<f32>(1.0f);
+ var arg_0 = vec4<f32>(-(1.5f));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl b/test/tint/builtins/gen/var/modf/5ea256.wgsl
index f85cfeb..f623263 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl
@@ -23,7 +23,7 @@
// fn modf(vec<3, f32>) -> __modf_result_vec<3, f32>
fn modf_5ea256() {
- var arg_0 = vec3<f32>(1.f);
+ var arg_0 = vec3<f32>(-1.5f);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.dxc.hlsl
index ffd6a12..96db57b 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_5ea256() {
- float3 arg_0 = (1.0f).xxx;
+ float3 arg_0 = (-1.5f).xxx;
modf_result_vec3 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.fxc.hlsl
index ffd6a12..96db57b 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.fxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_5ea256() {
- float3 arg_0 = (1.0f).xxx;
+ float3 arg_0 = (-1.5f).xxx;
modf_result_vec3 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.glsl
index 021cf81..9c050b4 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.glsl
@@ -13,7 +13,7 @@
void modf_5ea256() {
- vec3 arg_0 = vec3(1.0f);
+ vec3 arg_0 = vec3(-1.5f);
modf_result_vec3 res = tint_modf(arg_0);
}
@@ -46,7 +46,7 @@
void modf_5ea256() {
- vec3 arg_0 = vec3(1.0f);
+ vec3 arg_0 = vec3(-1.5f);
modf_result_vec3 res = tint_modf(arg_0);
}
@@ -73,7 +73,7 @@
void modf_5ea256() {
- vec3 arg_0 = vec3(1.0f);
+ vec3 arg_0 = vec3(-1.5f);
modf_result_vec3 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.msl
index fa5d28a..f5a7183 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_5ea256() {
- float3 arg_0 = float3(1.0f);
+ float3 arg_0 = float3(-1.5f);
modf_result_vec3 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.spvasm
index 1587506..42c66e4 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.spvasm
@@ -1,7 +1,7 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 39
+; Bound: 40
; Schema: 0
OpCapability Shader
%21 = OpExtInstImport "GLSL.std.450"
@@ -38,14 +38,15 @@
%void = OpTypeVoid
%9 = OpTypeFunction %void
%v3float = OpTypeVector %float 3
- %float_1 = OpConstant %float 1
- %15 = OpConstantComposite %v3float %float_1 %float_1 %float_1
+ %float_n1_5 = OpConstant %float -1.5
+ %15 = OpConstantComposite %v3float %float_n1_5 %float_n1_5 %float_n1_5
%_ptr_Function_v3float = OpTypePointer Function %v3float
%18 = OpConstantNull %v3float
%__modf_result_vec3 = OpTypeStruct %v3float %v3float
%_ptr_Function___modf_result_vec3 = OpTypePointer Function %__modf_result_vec3
%25 = OpConstantNull %__modf_result_vec3
%26 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_5ea256 = OpFunction %void None %9
%12 = OpLabel
%arg_0 = OpVariable %_ptr_Function_v3float Function %18
@@ -69,12 +70,12 @@
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %34 = OpLabel
- %35 = OpFunctionCall %void %modf_5ea256
+ %35 = OpLabel
+ %36 = OpFunctionCall %void %modf_5ea256
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %37 = OpLabel
- %38 = OpFunctionCall %void %modf_5ea256
+ %38 = OpLabel
+ %39 = OpFunctionCall %void %modf_5ea256
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.wgsl
index 5180d14..9d05d93 100644
--- a/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/5ea256.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_5ea256() {
- var arg_0 = vec3<f32>(1.0f);
+ var arg_0 = vec3<f32>(-(1.5f));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl
index f3dea08..3b65908 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl
@@ -25,7 +25,7 @@
// fn modf(f16) -> __modf_result<f16>
fn modf_8dbbbf() {
- var arg_0 = 1.h;
+ var arg_0 = -1.5h;
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.dxc.hlsl
index 04d940b..ef0eb00 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_8dbbbf() {
- float16_t arg_0 = float16_t(1.0h);
+ float16_t arg_0 = float16_t(-1.5h);
modf_result_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.glsl
index d6b8976..db8b53a 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.glsl
@@ -14,7 +14,7 @@
void modf_8dbbbf() {
- float16_t arg_0 = 1.0hf;
+ float16_t arg_0 = -1.5hf;
modf_result_f16 res = tint_modf(arg_0);
}
@@ -48,7 +48,7 @@
void modf_8dbbbf() {
- float16_t arg_0 = 1.0hf;
+ float16_t arg_0 = -1.5hf;
modf_result_f16 res = tint_modf(arg_0);
}
@@ -76,7 +76,7 @@
void modf_8dbbbf() {
- float16_t arg_0 = 1.0hf;
+ float16_t arg_0 = -1.5hf;
modf_result_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.msl
index 58a30ca..c3b9f88 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_8dbbbf() {
- half arg_0 = 1.0h;
+ half arg_0 = -1.5h;
modf_result_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.spvasm
index 28b19b0..5714e2f 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.spvasm
@@ -42,7 +42,7 @@
%void = OpTypeVoid
%9 = OpTypeFunction %void
%half = OpTypeFloat 16
-%half_0x1p_0 = OpConstant %half 0x1p+0
+%half_n0x1_8p_0 = OpConstant %half -0x1.8p+0
%_ptr_Function_half = OpTypePointer Function %half
%17 = OpConstantNull %half
%__modf_result_f16 = OpTypeStruct %half %half
@@ -54,7 +54,7 @@
%12 = OpLabel
%arg_0 = OpVariable %_ptr_Function_half Function %17
%res = OpVariable %_ptr_Function___modf_result_f16 Function %24
- OpStore %arg_0 %half_0x1p_0
+ OpStore %arg_0 %half_n0x1_8p_0
%21 = OpLoad %half %arg_0
%18 = OpExtInst %__modf_result_f16 %20 ModfStruct %21
OpStore %res %18
diff --git a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.wgsl
index d0815e7..e92ab55 100644
--- a/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/8dbbbf.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_8dbbbf() {
- var arg_0 = 1.0h;
+ var arg_0 = -(1.5h);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl b/test/tint/builtins/gen/var/modf/995934.wgsl
index 463335e..fa33c70 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<4, f16>) -> __modf_result_vec<4, f16>
fn modf_995934() {
- var arg_0 = vec4<f16>(1.h);
+ var arg_0 = vec4<f16>(-1.5h);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.dxc.hlsl
index 26c46db..82b85d3 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_995934() {
- vector<float16_t, 4> arg_0 = (float16_t(1.0h)).xxxx;
+ vector<float16_t, 4> arg_0 = (float16_t(-1.5h)).xxxx;
modf_result_vec4_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.glsl
index 71659e8..49bd43b 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.glsl
@@ -14,7 +14,7 @@
void modf_995934() {
- f16vec4 arg_0 = f16vec4(1.0hf);
+ f16vec4 arg_0 = f16vec4(-1.5hf);
modf_result_vec4_f16 res = tint_modf(arg_0);
}
@@ -48,7 +48,7 @@
void modf_995934() {
- f16vec4 arg_0 = f16vec4(1.0hf);
+ f16vec4 arg_0 = f16vec4(-1.5hf);
modf_result_vec4_f16 res = tint_modf(arg_0);
}
@@ -76,7 +76,7 @@
void modf_995934() {
- f16vec4 arg_0 = f16vec4(1.0hf);
+ f16vec4 arg_0 = f16vec4(-1.5hf);
modf_result_vec4_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.msl
index 1b5ebe7..4e6cf8a 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_995934() {
- half4 arg_0 = half4(1.0h);
+ half4 arg_0 = half4(-1.5h);
modf_result_vec4_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.spvasm
index 94260c897a..440faff 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.spvasm
@@ -43,8 +43,8 @@
%9 = OpTypeFunction %void
%half = OpTypeFloat 16
%v4half = OpTypeVector %half 4
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %16 = OpConstantComposite %v4half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_n0x1_8p_0 = OpConstant %half -0x1.8p+0
+ %16 = OpConstantComposite %v4half %half_n0x1_8p_0 %half_n0x1_8p_0 %half_n0x1_8p_0 %half_n0x1_8p_0
%_ptr_Function_v4half = OpTypePointer Function %v4half
%19 = OpConstantNull %v4half
%__modf_result_vec4_f16 = OpTypeStruct %v4half %v4half
diff --git a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.wgsl
index 317ae85..e5995a9 100644
--- a/test/tint/builtins/gen/var/modf/995934.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/995934.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_995934() {
- var arg_0 = vec4<f16>(1.0h);
+ var arg_0 = vec4<f16>(-(1.5h));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl b/test/tint/builtins/gen/var/modf/a545b9.wgsl
index 51895fd..c559912 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl
@@ -25,7 +25,7 @@
// fn modf(vec<2, f16>) -> __modf_result_vec<2, f16>
fn modf_a545b9() {
- var arg_0 = vec2<f16>(1.h);
+ var arg_0 = vec2<f16>(-1.5h);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.dxc.hlsl
index 47cc509..30290bc 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_a545b9() {
- vector<float16_t, 2> arg_0 = (float16_t(1.0h)).xx;
+ vector<float16_t, 2> arg_0 = (float16_t(-1.5h)).xx;
modf_result_vec2_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.glsl
index 86f166d..56974b5 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.glsl
@@ -14,7 +14,7 @@
void modf_a545b9() {
- f16vec2 arg_0 = f16vec2(1.0hf);
+ f16vec2 arg_0 = f16vec2(-1.5hf);
modf_result_vec2_f16 res = tint_modf(arg_0);
}
@@ -48,7 +48,7 @@
void modf_a545b9() {
- f16vec2 arg_0 = f16vec2(1.0hf);
+ f16vec2 arg_0 = f16vec2(-1.5hf);
modf_result_vec2_f16 res = tint_modf(arg_0);
}
@@ -76,7 +76,7 @@
void modf_a545b9() {
- f16vec2 arg_0 = f16vec2(1.0hf);
+ f16vec2 arg_0 = f16vec2(-1.5hf);
modf_result_vec2_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.msl
index 1cf4d62..2a59af2 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_a545b9() {
- half2 arg_0 = half2(1.0h);
+ half2 arg_0 = half2(-1.5h);
modf_result_vec2_f16 res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.spvasm
index da154ba..6bd4d3e 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.spvasm
@@ -43,8 +43,8 @@
%9 = OpTypeFunction %void
%half = OpTypeFloat 16
%v2half = OpTypeVector %half 2
-%half_0x1p_0 = OpConstant %half 0x1p+0
- %16 = OpConstantComposite %v2half %half_0x1p_0 %half_0x1p_0
+%half_n0x1_8p_0 = OpConstant %half -0x1.8p+0
+ %16 = OpConstantComposite %v2half %half_n0x1_8p_0 %half_n0x1_8p_0
%_ptr_Function_v2half = OpTypePointer Function %v2half
%19 = OpConstantNull %v2half
%__modf_result_vec2_f16 = OpTypeStruct %v2half %v2half
diff --git a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.wgsl
index dfb8c47..c6e6265 100644
--- a/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/a545b9.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
enable f16;
fn modf_a545b9() {
- var arg_0 = vec2<f16>(1.0h);
+ var arg_0 = vec2<f16>(-(1.5h));
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl
index 60ab469..7fa9467 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl
@@ -23,7 +23,7 @@
// fn modf(f32) -> __modf_result<f32>
fn modf_bbf7f7() {
- var arg_0 = 1.f;
+ var arg_0 = -1.5f;
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.dxc.hlsl
index 39adf2d..26d23b2 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.dxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.fxc.hlsl
index 39adf2d..26d23b2 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.fxc.hlsl
@@ -9,7 +9,7 @@
}
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.glsl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.glsl
index 4907635..12f70df 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.glsl
@@ -13,7 +13,7 @@
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
@@ -46,7 +46,7 @@
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
@@ -73,7 +73,7 @@
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.msl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.msl
index 2ef6251..3e4accd 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.msl
@@ -13,7 +13,7 @@
}
void modf_bbf7f7() {
- float arg_0 = 1.0f;
+ float arg_0 = -1.5f;
modf_result res = tint_modf(arg_0);
}
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.spvasm b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.spvasm
index 97fe510..6ffbfde 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.spvasm
@@ -1,7 +1,7 @@
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
-; Bound: 36
+; Bound: 37
; Schema: 0
OpCapability Shader
%18 = OpExtInstImport "GLSL.std.450"
@@ -37,17 +37,18 @@
%vertex_point_size = OpVariable %_ptr_Output_float Output %8
%void = OpTypeVoid
%9 = OpTypeFunction %void
- %float_1 = OpConstant %float 1
+ %float_n1_5 = OpConstant %float -1.5
%_ptr_Function_float = OpTypePointer Function %float
%__modf_result = OpTypeStruct %float %float
%_ptr_Function___modf_result = OpTypePointer Function %__modf_result
%22 = OpConstantNull %__modf_result
%23 = OpTypeFunction %v4float
+ %float_1 = OpConstant %float 1
%modf_bbf7f7 = OpFunction %void None %9
%12 = OpLabel
%arg_0 = OpVariable %_ptr_Function_float Function %8
%res = OpVariable %_ptr_Function___modf_result Function %22
- OpStore %arg_0 %float_1
+ OpStore %arg_0 %float_n1_5
%19 = OpLoad %float %arg_0
%16 = OpExtInst %__modf_result %18 ModfStruct %19
OpStore %res %16
@@ -66,12 +67,12 @@
OpReturn
OpFunctionEnd
%fragment_main = OpFunction %void None %9
- %31 = OpLabel
- %32 = OpFunctionCall %void %modf_bbf7f7
+ %32 = OpLabel
+ %33 = OpFunctionCall %void %modf_bbf7f7
OpReturn
OpFunctionEnd
%compute_main = OpFunction %void None %9
- %34 = OpLabel
- %35 = OpFunctionCall %void %modf_bbf7f7
+ %35 = OpLabel
+ %36 = OpFunctionCall %void %modf_bbf7f7
OpReturn
OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.wgsl b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.wgsl
index 0ebdc4b..418a00d 100644
--- a/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/modf/bbf7f7.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
fn modf_bbf7f7() {
- var arg_0 = 1.0f;
+ var arg_0 = -(1.5f);
var res = modf(arg_0);
}
diff --git a/test/tint/builtins/modf.wgsl.expected.dxc.hlsl b/test/tint/builtins/modf.wgsl.expected.dxc.hlsl
index 6ea70f3..2411190 100644
--- a/test/tint/builtins/modf.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/modf.wgsl.expected.dxc.hlsl
@@ -2,15 +2,9 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
[numthreads(1, 1, 1)]
void main() {
- const modf_result res = tint_modf(1.230000019f);
+ const modf_result res = {0.230000019f, 1.0f};
const float fract = res.fract;
const float whole = res.whole;
return;
diff --git a/test/tint/builtins/modf.wgsl.expected.fxc.hlsl b/test/tint/builtins/modf.wgsl.expected.fxc.hlsl
index 6ea70f3..2411190 100644
--- a/test/tint/builtins/modf.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/modf.wgsl.expected.fxc.hlsl
@@ -2,15 +2,9 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
[numthreads(1, 1, 1)]
void main() {
- const modf_result res = tint_modf(1.230000019f);
+ const modf_result res = {0.230000019f, 1.0f};
const float fract = res.fract;
const float whole = res.whole;
return;
diff --git a/test/tint/builtins/modf.wgsl.expected.glsl b/test/tint/builtins/modf.wgsl.expected.glsl
index 00fa668..e59dfb0 100644
--- a/test/tint/builtins/modf.wgsl.expected.glsl
+++ b/test/tint/builtins/modf.wgsl.expected.glsl
@@ -5,15 +5,9 @@
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
void tint_symbol() {
- modf_result res = tint_modf(1.230000019f);
+ modf_result res = modf_result(0.230000019f, 1.0f);
float tint_symbol_1 = res.fract;
float whole = res.whole;
}
diff --git a/test/tint/builtins/modf.wgsl.expected.msl b/test/tint/builtins/modf.wgsl.expected.msl
index 108250d..6c73b24 100644
--- a/test/tint/builtins/modf.wgsl.expected.msl
+++ b/test/tint/builtins/modf.wgsl.expected.msl
@@ -6,14 +6,8 @@
float fract;
float whole;
};
-modf_result tint_modf(float param_0) {
- modf_result result;
- result.fract = modf(param_0, result.whole);
- return result;
-}
-
kernel void tint_symbol() {
- modf_result const res = tint_modf(1.230000019f);
+ modf_result const res = modf_result{.fract=0.230000019f, .whole=1.0f};
float const fract = res.fract;
float const whole = res.whole;
return;
diff --git a/test/tint/builtins/modf.wgsl.expected.spvasm b/test/tint/builtins/modf.wgsl.expected.spvasm
index ebbc766..cca23fc 100644
--- a/test/tint/builtins/modf.wgsl.expected.spvasm
+++ b/test/tint/builtins/modf.wgsl.expected.spvasm
@@ -4,7 +4,6 @@
; Bound: 12
; Schema: 0
OpCapability Shader
- %8 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
@@ -18,11 +17,12 @@
%1 = OpTypeFunction %void
%float = OpTypeFloat 32
%__modf_result = OpTypeStruct %float %float
-%float_1_23000002 = OpConstant %float 1.23000002
+%float_0_230000019 = OpConstant %float 0.230000019
+ %float_1 = OpConstant %float 1
+ %9 = OpConstantComposite %__modf_result %float_0_230000019 %float_1
%main = OpFunction %void None %1
%4 = OpLabel
- %5 = OpExtInst %__modf_result %8 ModfStruct %float_1_23000002
- %10 = OpCompositeExtract %float %5 0
- %11 = OpCompositeExtract %float %5 1
+ %10 = OpCompositeExtract %float %9 0
+ %11 = OpCompositeExtract %float %9 1
OpReturn
OpFunctionEnd
diff --git a/test/tint/var/inferred/global.wgsl.expected.dxc.hlsl b/test/tint/var/inferred/global.wgsl.expected.dxc.hlsl
index 09a7a21..ec015d8 100644
--- a/test/tint/var/inferred/global.wgsl.expected.dxc.hlsl
+++ b/test/tint/var/inferred/global.wgsl.expected.dxc.hlsl
@@ -8,7 +8,8 @@
static int3 v4 = (1).xxx;
static uint3 v5 = uint3(1u, 2u, 3u);
static float3 v6 = float3(1.0f, 2.0f, 3.0f);
-static MyStruct v7 = {1.0f};
+const MyStruct c = {1.0f};
+static MyStruct v7 = c;
static float v8[10] = (float[10])0;
static int v9 = 0;
static uint v10 = 0u;
diff --git a/test/tint/var/inferred/global.wgsl.expected.fxc.hlsl b/test/tint/var/inferred/global.wgsl.expected.fxc.hlsl
index 09a7a21..ec015d8 100644
--- a/test/tint/var/inferred/global.wgsl.expected.fxc.hlsl
+++ b/test/tint/var/inferred/global.wgsl.expected.fxc.hlsl
@@ -8,7 +8,8 @@
static int3 v4 = (1).xxx;
static uint3 v5 = uint3(1u, 2u, 3u);
static float3 v6 = float3(1.0f, 2.0f, 3.0f);
-static MyStruct v7 = {1.0f};
+const MyStruct c = {1.0f};
+static MyStruct v7 = c;
static float v8[10] = (float[10])0;
static int v9 = 0;
static uint v10 = 0u;