Add const-eval for `smoothstep`

This CL adds const-eval for `smoothstep`.

Bug: tint:1581
Change-Id: I78aa5c4a39882f29ff78e37313e6c44708719095
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/110176
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
Kokoro: Kokoro <noreply+kokoro@google.com>
Commit-Queue: Dan Sinclair <dsinclair@chromium.org>
diff --git a/src/tint/intrinsics.def b/src/tint/intrinsics.def
index abf4dce..d6fdfd4 100644
--- a/src/tint/intrinsics.def
+++ b/src/tint/intrinsics.def
@@ -535,8 +535,8 @@
 @const fn sin<N: num, T: fa_f32_f16>(vec<N, T>) -> vec<N, T>
 @const fn sinh<T: fa_f32_f16>(T) -> T
 @const fn sinh<N: num, T: fa_f32_f16>(vec<N, T>) -> vec<N, T>
-fn smoothstep<T: f32_f16>(T, T, T) -> T
-fn smoothstep<N: num, T: f32_f16>(vec<N, T>, vec<N, T>, vec<N, T>) -> vec<N, T>
+@const fn smoothstep<T: fa_f32_f16>(@test_value(2) T, @test_value(4) T, @test_value(3) T) -> T
+@const fn smoothstep<N: num, T: fa_f32_f16>(@test_value(2) vec<N, T>, @test_value(4) vec<N, T>, @test_value(3) vec<N, T>) -> vec<N, T>
 @const fn sqrt<T: fa_f32_f16>(T) -> T
 @const fn sqrt<N: num, T: fa_f32_f16>(vec<N, T>) -> vec<N, T>
 @const fn step<T: fa_f32_f16>(T, T) -> T
diff --git a/src/tint/resolver/const_eval.cc b/src/tint/resolver/const_eval.cc
index a83d331..8dc4728 100644
--- a/src/tint/resolver/const_eval.cc
+++ b/src/tint/resolver/const_eval.cc
@@ -734,6 +734,41 @@
 }
 
 template <typename NumberT>
+utils::Result<NumberT> ConstEval::Div(NumberT a, NumberT b) {
+    NumberT result;
+    if constexpr (IsAbstract<NumberT>) {
+        // Check for over/underflow for abstract values
+        if (auto r = CheckedDiv(a, b)) {
+            result = r->value;
+        } else {
+            AddError(OverflowErrorMessage(a, "/", b), *current_source);
+            return utils::Failure;
+        }
+    } else {
+        using T = UnwrapNumber<NumberT>;
+        auto divide_values = [](T lhs, T rhs) {
+            if constexpr (std::is_integral_v<T>) {
+                // For integers, lhs / 0 returns lhs
+                if (rhs == 0) {
+                    return lhs;
+                }
+
+                if constexpr (std::is_signed_v<T>) {
+                    // For signed integers, for lhs / -1, return lhs if lhs is the
+                    // most negative value
+                    if (rhs == -1 && lhs == std::numeric_limits<T>::min()) {
+                        return lhs;
+                    }
+                }
+            }
+            return lhs / rhs;
+        };
+        result = divide_values(a.value, b.value);
+    }
+    return result;
+}
+
+template <typename NumberT>
 utils::Result<NumberT> ConstEval::Dot2(NumberT a1, NumberT a2, NumberT b1, NumberT b2) {
     auto r1 = Mul(a1, b1);
     if (!r1) {
@@ -878,6 +913,15 @@
     };
 }
 
+auto ConstEval::DivFunc(const sem::Type* elem_ty) {
+    return [=](auto a1, auto a2) -> ImplResult {
+        if (auto r = Div(a1, a2)) {
+            return CreateElement(builder, elem_ty, r.Get());
+        }
+        return utils::Failure;
+    };
+}
+
 auto ConstEval::Dot2Func(const sem::Type* elem_ty) {
     return [=](auto a1, auto a2, auto b1, auto b2) -> ImplResult {
         if (auto r = Dot2(a1, a2, b1, b2)) {
@@ -1366,42 +1410,9 @@
 ConstEval::Result ConstEval::OpDivide(const sem::Type* ty,
                                       utils::VectorRef<const sem::Constant*> args,
                                       const Source& source) {
+    TINT_SCOPED_ASSIGNMENT(current_source, &source);
     auto transform = [&](const sem::Constant* c0, const sem::Constant* c1) {
-        auto create = [&](auto i, auto j) -> ImplResult {
-            using NumberT = decltype(i);
-            NumberT result;
-            if constexpr (IsAbstract<NumberT>) {
-                // Check for over/underflow for abstract values
-                if (auto r = CheckedDiv(i, j)) {
-                    result = r->value;
-                } else {
-                    AddError(OverflowErrorMessage(i, "/", j), source);
-                    return utils::Failure;
-                }
-            } else {
-                using T = UnwrapNumber<NumberT>;
-                auto divide_values = [](T lhs, T rhs) {
-                    if constexpr (std::is_integral_v<T>) {
-                        // For integers, lhs / 0 returns lhs
-                        if (rhs == 0) {
-                            return lhs;
-                        }
-
-                        if constexpr (std::is_signed_v<T>) {
-                            // For signed integers, for lhs / -1, return lhs if lhs is the
-                            // most negative value
-                            if (rhs == -1 && lhs == std::numeric_limits<T>::min()) {
-                                return lhs;
-                            }
-                        }
-                    }
-                    return lhs / rhs;
-                };
-                result = divide_values(i.value, j.value);
-            }
-            return CreateElement(builder, c0->Type(), result);
-        };
-        return Dispatch_fia_fiu32_f16(create, c0, c1);
+        return Dispatch_fia_fiu32_f16(DivFunc(c0->Type()), c0, c1);
     };
 
     return TransformBinaryElements(builder, ty, transform, args[0], args[1]);
@@ -2397,6 +2408,59 @@
     return TransformElements(builder, ty, transform, args[0]);
 }
 
+ConstEval::Result ConstEval::smoothstep(const sem::Type* ty,
+                                        utils::VectorRef<const sem::Constant*> args,
+                                        const Source& source) {
+    TINT_SCOPED_ASSIGNMENT(current_source, &source);
+
+    auto transform = [&](const sem::Constant* c0, const sem::Constant* c1,
+                         const sem::Constant* c2) {
+        auto create = [&](auto low, auto high, auto x) -> ImplResult {
+            using NumberT = decltype(low);
+
+            auto err = [&] {
+                AddNote("when calculating smoothstep", source);
+                return utils::Failure;
+            };
+
+            // t = clamp((x - low) / (high - low), 0.0, 1.0)
+            auto x_minus_low = Sub(x, low);
+            auto high_minus_low = Sub(high, low);
+            if (!x_minus_low || !high_minus_low) {
+                return err();
+            }
+
+            auto div = Div(x_minus_low.Get(), high_minus_low.Get());
+            if (!div) {
+                return err();
+            }
+
+            auto clamp = Clamp(div.Get(), NumberT(0), NumberT(1));
+            auto t = clamp.Get();
+
+            // result = t * t * (3.0 - 2.0 * t)
+            auto t_times_t = Mul(t, t);
+            auto t_times_2 = Mul(NumberT(2), t);
+            if (!t_times_t || !t_times_2) {
+                return err();
+            }
+
+            auto three_minus_t_times_2 = Sub(NumberT(3), t_times_2.Get());
+            if (!three_minus_t_times_2) {
+                return err();
+            }
+
+            auto result = Mul(t_times_t.Get(), three_minus_t_times_2.Get());
+            if (!result) {
+                return err();
+            }
+            return CreateElement(builder, c0->Type(), result.Get());
+        };
+        return Dispatch_fa_f32_f16(create, c0, c1, c2);
+    };
+    return TransformElements(builder, ty, transform, args[0], args[1], args[2]);
+}
+
 ConstEval::Result ConstEval::step(const sem::Type* ty,
                                   utils::VectorRef<const sem::Constant*> args,
                                   const Source&) {
@@ -2587,4 +2651,8 @@
     builder.Diagnostics().add_warning(diag::System::Resolver, msg, source);
 }
 
+void ConstEval::AddNote(const std::string& msg, const Source& source) const {
+    builder.Diagnostics().add_note(diag::System::Resolver, msg, source);
+}
+
 }  // namespace tint::resolver
diff --git a/src/tint/resolver/const_eval.h b/src/tint/resolver/const_eval.h
index aa8dc2d..e2c5ed0 100644
--- a/src/tint/resolver/const_eval.h
+++ b/src/tint/resolver/const_eval.h
@@ -719,6 +719,15 @@
                 utils::VectorRef<const sem::Constant*> args,
                 const Source& source);
 
+    /// smoothstep builtin
+    /// @param ty the expression type
+    /// @param args the input arguments
+    /// @param source the source location of the conversion
+    /// @return the result value, or null if the value cannot be calculated
+    Result smoothstep(const sem::Type* ty,
+                      utils::VectorRef<const sem::Constant*> args,
+                      const Source& source);
+
     /// step builtin
     /// @param ty the expression type
     /// @param args the input arguments
@@ -825,6 +834,9 @@
     /// Adds the given warning message to the diagnostics
     void AddWarning(const std::string& msg, const Source& source) const;
 
+    /// Adds the given note message to the diagnostics
+    void AddNote(const std::string& msg, const Source& source) const;
+
     /// Adds two Number<T>s
     /// @param a the lhs number
     /// @param b the rhs number
@@ -846,6 +858,13 @@
     template <typename NumberT>
     utils::Result<NumberT> Mul(NumberT a, NumberT b);
 
+    /// Divides two Number<T>s
+    /// @param a the lhs number
+    /// @param b the rhs number
+    /// @returns the result number on success, or logs an error and returns Failure
+    template <typename NumberT>
+    utils::Result<NumberT> Div(NumberT a, NumberT b);
+
     /// Returns the dot product of (a1,a2) with (b1,b2)
     /// @param a1 component 1 of lhs vector
     /// @param a2 component 2 of lhs vector
@@ -925,6 +944,12 @@
     /// @returns the callable function
     auto MulFunc(const sem::Type* elem_ty);
 
+    /// Returns a callable that calls Div, and creates a Constant with its result of type `elem_ty`
+    /// if successful, or returns Failure otherwise.
+    /// @param elem_ty the element type of the Constant to create on success
+    /// @returns the callable function
+    auto DivFunc(const sem::Type* elem_ty);
+
     /// Returns a callable that calls Dot2, and creates a Constant with its result of type `elem_ty`
     /// if successful, or returns Failure otherwise.
     /// @param elem_ty the element type of the Constant to create on success
diff --git a/src/tint/resolver/const_eval_builtin_test.cc b/src/tint/resolver/const_eval_builtin_test.cc
index c893a29..69a30a4 100644
--- a/src/tint/resolver/const_eval_builtin_test.cc
+++ b/src/tint/resolver/const_eval_builtin_test.cc
@@ -1649,6 +1649,90 @@
                                               SinhCases<f16>()))));
 
 template <typename T>
+std::vector<Case> SmoothstepCases() {
+    return {
+        // t == 0
+        C({T(4), T(6), T(2)}, T(0)),
+        // t == 1
+        C({T(4), T(6), T(8)}, T(1)),
+        // t == .5
+        C({T(4), T(6), T(5)}, T(.5)),
+
+        // Vector tests
+        C({Vec(T(4), T(4)), Vec(T(6), T(6)), Vec(T(2), T(8))}, Vec(T(0), T(1))),
+    };
+}
+INSTANTIATE_TEST_SUITE_P(  //
+    Smoothstep,
+    ResolverConstEvalBuiltinTest,
+    testing::Combine(testing::Values(sem::BuiltinType::kSmoothstep),
+                     testing::ValuesIn(Concat(SmoothstepCases<AFloat>(),  //
+                                              SmoothstepCases<f32>(),
+                                              SmoothstepCases<f16>()))));
+
+template <typename T>
+std::vector<Case> SmoothstepAFloatErrorCases() {
+    auto error_msg = [](auto a, const char* op, auto b) {
+        return "12:34 error: " + OverflowErrorMessage(a, op, b) + R"(
+12:34 note: when calculating smoothstep)";
+    };
+
+    return {// `x - low` underflows
+            E({T::Highest(), T(1), T::Lowest()}, error_msg(T::Lowest(), "-", T::Highest())),
+            // `high - low` underflows
+            E({T::Highest(), T::Lowest(), T(0)}, error_msg(T::Lowest(), "-", T::Highest())),
+            // Divid by zero on `(x - low) / (high - low)`
+            E({T(0), T(0), T(0)}, error_msg(T(0), "/", T(0)))};
+}
+INSTANTIATE_TEST_SUITE_P(  //
+    SmoothstepAFloatError,
+    ResolverConstEvalBuiltinTest,
+    testing::Combine(testing::Values(sem::BuiltinType::kSmoothstep),
+                     testing::ValuesIn(SmoothstepAFloatErrorCases<AFloat>())));
+
+template <typename T>
+std::vector<Case> SmoothstepF16ErrorCases() {
+    auto error_msg = [](auto a, const char* op, auto b) {
+        return "12:34 error: " + OverflowErrorMessage(a, op, b) + R"(
+12:34 note: when calculating smoothstep)";
+    };
+
+    return {// `x - low` underflows
+            E({T::Highest(), T(1), T::Lowest()}, error_msg(T::Lowest(), "-", T::Highest())),
+            // `high - low` underflows
+            E({T::Highest(), T::Lowest(), T(0)}, error_msg(T::Lowest(), "-", T::Highest())),
+            // Divid by zero on `(x - low) / (high - low)`
+            E({T(0), T(0), T(0)}, error_msg(T(0), "/", T(0)))};
+}
+// TODO(crbug.com/tint/1581): Enable when non-abstract math is checked.
+INSTANTIATE_TEST_SUITE_P(  //
+    DISABLED_SmoothstepF16Error,
+    ResolverConstEvalBuiltinTest,
+    testing::Combine(testing::Values(sem::BuiltinType::kSmoothstep),
+                     testing::ValuesIn(SmoothstepF16ErrorCases<f16>())));
+
+template <typename T>
+std::vector<Case> SmoothstepF32ErrorCases() {
+    auto error_msg = [](auto a, const char* op, auto b) {
+        return "12:34 error: " + OverflowErrorMessage(a, op, b) + R"(
+12:34 note: when calculating smoothstep)";
+    };
+
+    return {// `x - low` underflows
+            E({T::Highest(), T(1), T::Lowest()}, error_msg(T::Lowest(), "-", T::Highest())),
+            // `high - low` underflows
+            E({T::Highest(), T::Lowest(), T(0)}, error_msg(T::Lowest(), "-", T::Highest())),
+            // Divid by zero on `(x - low) / (high - low)`
+            E({T(0), T(0), T(0)}, error_msg(T(0), "/", T(0)))};
+}
+// TODO(crbug.com/tint/1581): Enable when non-abstract math is checked.
+INSTANTIATE_TEST_SUITE_P(  //
+    DISABLED_SmoothstepF32Error,
+    ResolverConstEvalBuiltinTest,
+    testing::Combine(testing::Values(sem::BuiltinType::kSmoothstep),
+                     testing::ValuesIn(SmoothstepF32ErrorCases<f32>())));
+
+template <typename T>
 std::vector<Case> StepCases() {
     return {
         C({T(0), T(0)}, T(1.0)),
diff --git a/src/tint/resolver/intrinsic_table.inl b/src/tint/resolver/intrinsic_table.inl
index d65dc5d..71bd1d4 100644
--- a/src/tint/resolver/intrinsic_table.inl
+++ b/src/tint/resolver/intrinsic_table.inl
@@ -13113,24 +13113,24 @@
     /* num parameters */ 3,
     /* num template types */ 1,
     /* num template numbers */ 0,
-    /* template types */ &kTemplateTypes[26],
+    /* template types */ &kTemplateTypes[23],
     /* template numbers */ &kTemplateNumbers[10],
     /* parameters */ &kParameters[489],
     /* return matcher indices */ &kMatcherIndices[3],
     /* flags */ OverloadFlags(OverloadFlag::kIsBuiltin, OverloadFlag::kSupportsVertexPipeline, OverloadFlag::kSupportsFragmentPipeline, OverloadFlag::kSupportsComputePipeline),
-    /* const eval */ nullptr,
+    /* const eval */ &ConstEval::smoothstep,
   },
   {
     /* [399] */
     /* num parameters */ 3,
     /* num template types */ 1,
     /* num template numbers */ 1,
-    /* template types */ &kTemplateTypes[26],
+    /* template types */ &kTemplateTypes[23],
     /* template numbers */ &kTemplateNumbers[4],
     /* parameters */ &kParameters[492],
     /* return matcher indices */ &kMatcherIndices[30],
     /* flags */ OverloadFlags(OverloadFlag::kIsBuiltin, OverloadFlag::kSupportsVertexPipeline, OverloadFlag::kSupportsFragmentPipeline, OverloadFlag::kSupportsComputePipeline),
-    /* const eval */ nullptr,
+    /* const eval */ &ConstEval::smoothstep,
   },
   {
     /* [400] */
@@ -14504,8 +14504,8 @@
   },
   {
     /* [72] */
-    /* fn smoothstep<T : f32_f16>(T, T, T) -> T */
-    /* fn smoothstep<N : num, T : f32_f16>(vec<N, T>, vec<N, T>, vec<N, T>) -> vec<N, T> */
+    /* fn smoothstep<T : fa_f32_f16>(@test_value(2) T, @test_value(4) T, @test_value(3) T) -> T */
+    /* fn smoothstep<N : num, T : fa_f32_f16>(@test_value(2) vec<N, T>, @test_value(4) vec<N, T>, @test_value(3) vec<N, T>) -> vec<N, T> */
     /* num overloads */ 2,
     /* overloads */ &kOverloads[398],
   },
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl
new file mode 100644
index 0000000..8b36e50
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl
@@ -0,0 +1,43 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<2, fa>, vec<2, fa>, vec<2, fa>) -> vec<2, fa>
+fn smoothstep_0c481b() {
+  var res = smoothstep(vec2(2.), vec2(4.), vec2(3.));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c481b();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c481b();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c481b();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..262a8a1
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c481b() {
+  float2 res = (0.5f).xx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..262a8a1
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c481b() {
+  float2 res = (0.5f).xx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.glsl
new file mode 100644
index 0000000..d7f4fe4
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_0c481b();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+void compute_main() {
+  smoothstep_0c481b();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.msl
new file mode 100644
index 0000000..63d2e22
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_0c481b() {
+  float2 res = float2(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.spvasm
new file mode 100644
index 0000000..1980105
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.spvasm
@@ -0,0 +1,67 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 33
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_0c481b "smoothstep_0c481b"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+    %v2float = OpTypeVector %float 2
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v2float %float_0_5 %float_0_5
+%_ptr_Function_v2float = OpTypePointer Function %v2float
+         %18 = OpConstantNull %v2float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_0c481b = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v2float Function %18
+               OpStore %res %15
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.wgsl
new file mode 100644
index 0000000..7da8473
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c481b.wgsl.expected.wgsl
@@ -0,0 +1,19 @@
+fn smoothstep_0c481b() {
+  var res = smoothstep(vec2(2.0), vec2(4.0), vec2(3.0));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c481b();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c481b();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c481b();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl
new file mode 100644
index 0000000..ad30ae3
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl
@@ -0,0 +1,43 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<4, fa>, vec<4, fa>, vec<4, fa>) -> vec<4, fa>
+fn smoothstep_0c4ffc() {
+  var res = smoothstep(vec4(2.), vec4(4.), vec4(3.));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c4ffc();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c4ffc();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..d67929f
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c4ffc() {
+  float4 res = (0.5f).xxxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..d67929f
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c4ffc() {
+  float4 res = (0.5f).xxxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.glsl
new file mode 100644
index 0000000..12359d8
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_0c4ffc();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+void compute_main() {
+  smoothstep_0c4ffc();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.msl
new file mode 100644
index 0000000..8676d3f
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_0c4ffc() {
+  float4 res = float4(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.spvasm
new file mode 100644
index 0000000..1e62ccb
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.spvasm
@@ -0,0 +1,65 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 31
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_0c4ffc "smoothstep_0c4ffc"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+  %float_0_5 = OpConstant %float 0.5
+         %14 = OpConstantComposite %v4float %float_0_5 %float_0_5 %float_0_5 %float_0_5
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+         %17 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_0c4ffc = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v4float Function %5
+               OpStore %res %14
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %17
+         %19 = OpLabel
+         %20 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %22 = OpLabel
+         %23 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %23
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %26 = OpLabel
+         %27 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.wgsl
new file mode 100644
index 0000000..7d1efd9
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/0c4ffc.wgsl.expected.wgsl
@@ -0,0 +1,19 @@
+fn smoothstep_0c4ffc() {
+  var res = smoothstep(vec4(2.0), vec4(4.0), vec4(3.0));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c4ffc();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c4ffc();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl
index df27cfa..1187f47 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl
@@ -25,7 +25,7 @@
 
 // fn smoothstep(vec<2, f16>, vec<2, f16>, vec<2, f16>) -> vec<2, f16>
 fn smoothstep_12c031() {
-  var res: vec2<f16> = smoothstep(vec2<f16>(1.h), vec2<f16>(1.h), vec2<f16>(1.h));
+  var res: vec2<f16> = smoothstep(vec2<f16>(2.h), vec2<f16>(4.h), vec2<f16>(3.h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.dxc.hlsl
index 3a449d7..9ac89b6 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_12c031() {
-  vector<float16_t, 2> res = smoothstep((float16_t(1.0h)).xx, (float16_t(1.0h)).xx, (float16_t(1.0h)).xx);
+  vector<float16_t, 2> res = (float16_t(0.5h)).xx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.glsl
index 2e1fb6f..6c8d1e7 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.glsl
@@ -2,7 +2,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_12c031() {
-  f16vec2 res = smoothstep(f16vec2(1.0hf), f16vec2(1.0hf), f16vec2(1.0hf));
+  f16vec2 res = f16vec2(0.5hf);
 }
 
 vec4 vertex_main() {
@@ -23,7 +23,7 @@
 precision mediump float;
 
 void smoothstep_12c031() {
-  f16vec2 res = smoothstep(f16vec2(1.0hf), f16vec2(1.0hf), f16vec2(1.0hf));
+  f16vec2 res = f16vec2(0.5hf);
 }
 
 void fragment_main() {
@@ -38,7 +38,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_12c031() {
-  f16vec2 res = smoothstep(f16vec2(1.0hf), f16vec2(1.0hf), f16vec2(1.0hf));
+  f16vec2 res = f16vec2(0.5hf);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.msl
index b11f421..240a3b1 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_12c031() {
-  half2 res = smoothstep(half2(1.0h), half2(1.0h), half2(1.0h));
+  half2 res = half2(0.5h);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.spvasm
index 1df4bfc..12f6c20 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 36
+; Bound: 34
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                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"
@@ -37,38 +36,37 @@
           %9 = OpTypeFunction %void
        %half = OpTypeFloat 16
      %v2half = OpTypeVector %half 2
-%half_0x1p_0 = OpConstant %half 0x1p+0
-         %18 = OpConstantComposite %v2half %half_0x1p_0 %half_0x1p_0
+%half_0x1pn1 = OpConstant %half 0x1p-1
+         %16 = OpConstantComposite %v2half %half_0x1pn1 %half_0x1pn1
 %_ptr_Function_v2half = OpTypePointer Function %v2half
-         %21 = OpConstantNull %v2half
-         %22 = OpTypeFunction %v4float
+         %19 = OpConstantNull %v2half
+         %20 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_12c031 = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_v2half Function %21
-         %13 = OpExtInst %v2half %16 SmoothStep %18 %18 %18
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_v2half Function %19
+               OpStore %res %16
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %22
-         %24 = OpLabel
-         %25 = OpFunctionCall %void %smoothstep_12c031
+%vertex_main_inner = OpFunction %v4float None %20
+         %22 = OpLabel
+         %23 = OpFunctionCall %void %smoothstep_12c031
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %27 = OpLabel
-         %28 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %28
+         %25 = OpLabel
+         %26 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %26
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %31 = OpLabel
-         %32 = OpFunctionCall %void %smoothstep_12c031
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_12c031
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %34 = OpLabel
-         %35 = OpFunctionCall %void %smoothstep_12c031
+         %32 = OpLabel
+         %33 = OpFunctionCall %void %smoothstep_12c031
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.wgsl
index e48b625..1aa07fc 100644
--- a/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/12c031.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 enable f16;
 
 fn smoothstep_12c031() {
-  var res : vec2<f16> = smoothstep(vec2<f16>(1.0h), vec2<f16>(1.0h), vec2<f16>(1.0h));
+  var res : vec2<f16> = smoothstep(vec2<f16>(2.0h), vec2<f16>(4.0h), vec2<f16>(3.0h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl
index 6dfea2b..cb3ec04 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl
@@ -23,7 +23,7 @@
 
 // fn smoothstep(vec<2, f32>, vec<2, f32>, vec<2, f32>) -> vec<2, f32>
 fn smoothstep_392c19() {
-  var res: vec2<f32> = smoothstep(vec2<f32>(1.f), vec2<f32>(1.f), vec2<f32>(1.f));
+  var res: vec2<f32> = smoothstep(vec2<f32>(2.f), vec2<f32>(4.f), vec2<f32>(3.f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.dxc.hlsl
index e1a3d85..d3d9d98 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_392c19() {
-  float2 res = smoothstep((1.0f).xx, (1.0f).xx, (1.0f).xx);
+  float2 res = (0.5f).xx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.fxc.hlsl
index e1a3d85..d3d9d98 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.fxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_392c19() {
-  float2 res = smoothstep((1.0f).xx, (1.0f).xx, (1.0f).xx);
+  float2 res = (0.5f).xx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.glsl
index 4b897f4..9ac8a8d 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.glsl
@@ -1,7 +1,7 @@
 #version 310 es
 
 void smoothstep_392c19() {
-  vec2 res = smoothstep(vec2(1.0f), vec2(1.0f), vec2(1.0f));
+  vec2 res = vec2(0.5f);
 }
 
 vec4 vertex_main() {
@@ -21,7 +21,7 @@
 precision mediump float;
 
 void smoothstep_392c19() {
-  vec2 res = smoothstep(vec2(1.0f), vec2(1.0f), vec2(1.0f));
+  vec2 res = vec2(0.5f);
 }
 
 void fragment_main() {
@@ -35,7 +35,7 @@
 #version 310 es
 
 void smoothstep_392c19() {
-  vec2 res = smoothstep(vec2(1.0f), vec2(1.0f), vec2(1.0f));
+  vec2 res = vec2(0.5f);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.msl
index 6a64231..8518f36 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_392c19() {
-  float2 res = smoothstep(float2(1.0f), float2(1.0f), float2(1.0f));
+  float2 res = float2(0.5f);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.spvasm
index cce9e9a..1b8fc9e 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 34
+; Bound: 33
 ; 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"
@@ -32,37 +31,37 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
     %v2float = OpTypeVector %float 2
-    %float_1 = OpConstant %float 1
-         %17 = OpConstantComposite %v2float %float_1 %float_1
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v2float %float_0_5 %float_0_5
 %_ptr_Function_v2float = OpTypePointer Function %v2float
-         %20 = OpConstantNull %v2float
-         %21 = OpTypeFunction %v4float
+         %18 = OpConstantNull %v2float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_392c19 = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_v2float Function %20
-         %13 = OpExtInst %v2float %15 SmoothStep %17 %17 %17
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_v2float Function %18
+               OpStore %res %15
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %21
-         %23 = OpLabel
-         %24 = OpFunctionCall %void %smoothstep_392c19
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_392c19
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %26 = OpLabel
-         %27 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %27
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_392c19
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_392c19
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %void %smoothstep_392c19
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_392c19
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.wgsl
index a645970..4a1c190 100644
--- a/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/392c19.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
 fn smoothstep_392c19() {
-  var res : vec2<f32> = smoothstep(vec2<f32>(1.0f), vec2<f32>(1.0f), vec2<f32>(1.0f));
+  var res : vec2<f32> = smoothstep(vec2<f32>(2.0f), vec2<f32>(4.0f), vec2<f32>(3.0f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl
index 6293a5b..42ff1c0 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl
@@ -23,7 +23,7 @@
 
 // fn smoothstep(vec<4, f32>, vec<4, f32>, vec<4, f32>) -> vec<4, f32>
 fn smoothstep_40864c() {
-  var res: vec4<f32> = smoothstep(vec4<f32>(1.f), vec4<f32>(1.f), vec4<f32>(1.f));
+  var res: vec4<f32> = smoothstep(vec4<f32>(2.f), vec4<f32>(4.f), vec4<f32>(3.f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.dxc.hlsl
index a19b74d..9e6afca 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_40864c() {
-  float4 res = smoothstep((1.0f).xxxx, (1.0f).xxxx, (1.0f).xxxx);
+  float4 res = (0.5f).xxxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.fxc.hlsl
index a19b74d..9e6afca 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.fxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_40864c() {
-  float4 res = smoothstep((1.0f).xxxx, (1.0f).xxxx, (1.0f).xxxx);
+  float4 res = (0.5f).xxxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.glsl
index 47e97b6..42337e5 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.glsl
@@ -1,7 +1,7 @@
 #version 310 es
 
 void smoothstep_40864c() {
-  vec4 res = smoothstep(vec4(1.0f), vec4(1.0f), vec4(1.0f));
+  vec4 res = vec4(0.5f);
 }
 
 vec4 vertex_main() {
@@ -21,7 +21,7 @@
 precision mediump float;
 
 void smoothstep_40864c() {
-  vec4 res = smoothstep(vec4(1.0f), vec4(1.0f), vec4(1.0f));
+  vec4 res = vec4(0.5f);
 }
 
 void fragment_main() {
@@ -35,7 +35,7 @@
 #version 310 es
 
 void smoothstep_40864c() {
-  vec4 res = smoothstep(vec4(1.0f), vec4(1.0f), vec4(1.0f));
+  vec4 res = vec4(0.5f);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.msl
index 9e47f93..3be99a9 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_40864c() {
-  float4 res = smoothstep(float4(1.0f), float4(1.0f), float4(1.0f));
+  float4 res = float4(0.5f);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.spvasm
index ce5479e..5ebf4aa 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 32
+; Bound: 31
 ; Schema: 0
                OpCapability Shader
-         %14 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -31,36 +30,36 @@
 %vertex_point_size = OpVariable %_ptr_Output_float Output %8
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
-    %float_1 = OpConstant %float 1
-         %16 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+  %float_0_5 = OpConstant %float 0.5
+         %14 = OpConstantComposite %v4float %float_0_5 %float_0_5 %float_0_5 %float_0_5
 %_ptr_Function_v4float = OpTypePointer Function %v4float
-         %19 = OpTypeFunction %v4float
+         %17 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_40864c = OpFunction %void None %9
          %12 = OpLabel
         %res = OpVariable %_ptr_Function_v4float Function %5
-         %13 = OpExtInst %v4float %14 SmoothStep %16 %16 %16
-               OpStore %res %13
+               OpStore %res %14
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %19
-         %21 = OpLabel
-         %22 = OpFunctionCall %void %smoothstep_40864c
+%vertex_main_inner = OpFunction %v4float None %17
+         %19 = OpLabel
+         %20 = OpFunctionCall %void %smoothstep_40864c
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %24 = OpLabel
-         %25 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %25
+         %22 = OpLabel
+         %23 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %23
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %27 = OpLabel
-         %28 = OpFunctionCall %void %smoothstep_40864c
+         %26 = OpLabel
+         %27 = OpFunctionCall %void %smoothstep_40864c
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %30 = OpLabel
-         %31 = OpFunctionCall %void %smoothstep_40864c
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_40864c
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.wgsl
index d53f10c..1c9e281 100644
--- a/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/40864c.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
 fn smoothstep_40864c() {
-  var res : vec4<f32> = smoothstep(vec4<f32>(1.0f), vec4<f32>(1.0f), vec4<f32>(1.0f));
+  var res : vec4<f32> = smoothstep(vec4<f32>(2.0f), vec4<f32>(4.0f), vec4<f32>(3.0f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl
index 2fe58c0..b84f8f9 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl
@@ -25,7 +25,7 @@
 
 // fn smoothstep(f16, f16, f16) -> f16
 fn smoothstep_586e12() {
-  var res: f16 = smoothstep(1.h, 1.h, 1.h);
+  var res: f16 = smoothstep(2.h, 4.h, 3.h);
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.dxc.hlsl
index 869b831..8050e65 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_586e12() {
-  float16_t res = smoothstep(float16_t(1.0h), float16_t(1.0h), float16_t(1.0h));
+  float16_t res = float16_t(0.5h);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.glsl
index 33de993..cc204e2 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.glsl
@@ -2,7 +2,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_586e12() {
-  float16_t res = smoothstep(1.0hf, 1.0hf, 1.0hf);
+  float16_t res = 0.5hf;
 }
 
 vec4 vertex_main() {
@@ -23,7 +23,7 @@
 precision mediump float;
 
 void smoothstep_586e12() {
-  float16_t res = smoothstep(1.0hf, 1.0hf, 1.0hf);
+  float16_t res = 0.5hf;
 }
 
 void fragment_main() {
@@ -38,7 +38,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_586e12() {
-  float16_t res = smoothstep(1.0hf, 1.0hf, 1.0hf);
+  float16_t res = 0.5hf;
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.msl
index 8ab6ed1..1415e41 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_586e12() {
-  half res = smoothstep(1.0h, 1.0h, 1.0h);
+  half res = 0.5h;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.spvasm
index 424b166..f63bdd1 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 34
+; Bound: 32
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                OpCapability UniformAndStorageBuffer16BitAccess
                OpCapability StorageBuffer16BitAccess
                OpCapability StorageInputOutput16
-         %15 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -36,37 +35,36 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
        %half = OpTypeFloat 16
-%half_0x1p_0 = OpConstant %half 0x1p+0
+%half_0x1pn1 = OpConstant %half 0x1p-1
 %_ptr_Function_half = OpTypePointer Function %half
-         %19 = OpConstantNull %half
-         %20 = OpTypeFunction %v4float
+         %17 = OpConstantNull %half
+         %18 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_586e12 = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_half Function %19
-         %13 = OpExtInst %half %15 SmoothStep %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_half Function %17
+               OpStore %res %half_0x1pn1
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %20
-         %22 = OpLabel
-         %23 = OpFunctionCall %void %smoothstep_586e12
+%vertex_main_inner = OpFunction %v4float None %18
+         %20 = OpLabel
+         %21 = OpFunctionCall %void %smoothstep_586e12
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %25 = OpLabel
-         %26 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %26
+         %23 = OpLabel
+         %24 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %24
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_586e12
+         %27 = OpLabel
+         %28 = OpFunctionCall %void %smoothstep_586e12
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %void %smoothstep_586e12
+         %30 = OpLabel
+         %31 = OpFunctionCall %void %smoothstep_586e12
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.wgsl
index bfd4e63..9927570 100644
--- a/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/586e12.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 enable f16;
 
 fn smoothstep_586e12() {
-  var res : f16 = smoothstep(1.0h, 1.0h, 1.0h);
+  var res : f16 = smoothstep(2.0h, 4.0h, 3.0h);
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl
new file mode 100644
index 0000000..3de91d5
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl
@@ -0,0 +1,43 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<3, fa>, vec<3, fa>, vec<3, fa>) -> vec<3, fa>
+fn smoothstep_66e4bd() {
+  var res = smoothstep(vec3(2.), vec3(4.), vec3(3.));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_66e4bd();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_66e4bd();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_66e4bd();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..682f251
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_66e4bd() {
+  float3 res = (0.5f).xxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..682f251
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_66e4bd() {
+  float3 res = (0.5f).xxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.glsl
new file mode 100644
index 0000000..562fefa
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_66e4bd();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+void compute_main() {
+  smoothstep_66e4bd();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.msl
new file mode 100644
index 0000000..9c16355
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_66e4bd() {
+  float3 res = float3(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.spvasm
new file mode 100644
index 0000000..1e1c83f
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.spvasm
@@ -0,0 +1,67 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 33
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_66e4bd "smoothstep_66e4bd"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+    %v3float = OpTypeVector %float 3
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v3float %float_0_5 %float_0_5 %float_0_5
+%_ptr_Function_v3float = OpTypePointer Function %v3float
+         %18 = OpConstantNull %v3float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_66e4bd = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v3float Function %18
+               OpStore %res %15
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.wgsl
new file mode 100644
index 0000000..6bd33a1
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/66e4bd.wgsl.expected.wgsl
@@ -0,0 +1,19 @@
+fn smoothstep_66e4bd() {
+  var res = smoothstep(vec3(2.0), vec3(4.0), vec3(3.0));
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_66e4bd();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_66e4bd();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_66e4bd();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl
index 417fa71..a779f23 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl
@@ -23,7 +23,7 @@
 
 // fn smoothstep(f32, f32, f32) -> f32
 fn smoothstep_6c4975() {
-  var res: f32 = smoothstep(1.f, 1.f, 1.f);
+  var res: f32 = smoothstep(2.f, 4.f, 3.f);
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.dxc.hlsl
index 02da7ce..76df66c 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.fxc.hlsl
index 02da7ce..76df66c 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.fxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.glsl
index 74f7dd4..ecc4075 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.glsl
@@ -1,7 +1,7 @@
 #version 310 es
 
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 vec4 vertex_main() {
@@ -21,7 +21,7 @@
 precision mediump float;
 
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 void fragment_main() {
@@ -35,7 +35,7 @@
 #version 310 es
 
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.msl
index f265e14..48f4bb8 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_6c4975() {
-  float res = smoothstep(1.0f, 1.0f, 1.0f);
+  float res = 0.5f;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.spvasm
index cc22ed4..28cb231 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 31
+; Bound: 30
 ; Schema: 0
                OpCapability Shader
-         %14 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -31,35 +30,35 @@
 %vertex_point_size = OpVariable %_ptr_Output_float Output %8
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
-    %float_1 = OpConstant %float 1
+  %float_0_5 = OpConstant %float 0.5
 %_ptr_Function_float = OpTypePointer Function %float
-         %18 = OpTypeFunction %v4float
+         %16 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_6c4975 = OpFunction %void None %9
          %12 = OpLabel
         %res = OpVariable %_ptr_Function_float Function %8
-         %13 = OpExtInst %float %14 SmoothStep %float_1 %float_1 %float_1
-               OpStore %res %13
+               OpStore %res %float_0_5
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %18
-         %20 = OpLabel
-         %21 = OpFunctionCall %void %smoothstep_6c4975
+%vertex_main_inner = OpFunction %v4float None %16
+         %18 = OpLabel
+         %19 = OpFunctionCall %void %smoothstep_6c4975
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %23 = OpLabel
-         %24 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %24
+         %21 = OpLabel
+         %22 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %22
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %26 = OpLabel
-         %27 = OpFunctionCall %void %smoothstep_6c4975
+         %25 = OpLabel
+         %26 = OpFunctionCall %void %smoothstep_6c4975
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_6c4975
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_6c4975
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.wgsl
index 596b0a0..2f281df 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6c4975.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
 fn smoothstep_6c4975() {
-  var res : f32 = smoothstep(1.0f, 1.0f, 1.0f);
+  var res : f32 = smoothstep(2.0f, 4.0f, 3.0f);
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl
index b21a6ba..fd42703 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl
@@ -25,7 +25,7 @@
 
 // fn smoothstep(vec<3, f16>, vec<3, f16>, vec<3, f16>) -> vec<3, f16>
 fn smoothstep_6e7a74() {
-  var res: vec3<f16> = smoothstep(vec3<f16>(1.h), vec3<f16>(1.h), vec3<f16>(1.h));
+  var res: vec3<f16> = smoothstep(vec3<f16>(2.h), vec3<f16>(4.h), vec3<f16>(3.h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
index 4a5261e..101fa07 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_6e7a74() {
-  vector<float16_t, 3> res = smoothstep((float16_t(1.0h)).xxx, (float16_t(1.0h)).xxx, (float16_t(1.0h)).xxx);
+  vector<float16_t, 3> res = (float16_t(0.5h)).xxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.glsl
index 39c0e20..fdad495 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.glsl
@@ -2,7 +2,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_6e7a74() {
-  f16vec3 res = smoothstep(f16vec3(1.0hf), f16vec3(1.0hf), f16vec3(1.0hf));
+  f16vec3 res = f16vec3(0.5hf);
 }
 
 vec4 vertex_main() {
@@ -23,7 +23,7 @@
 precision mediump float;
 
 void smoothstep_6e7a74() {
-  f16vec3 res = smoothstep(f16vec3(1.0hf), f16vec3(1.0hf), f16vec3(1.0hf));
+  f16vec3 res = f16vec3(0.5hf);
 }
 
 void fragment_main() {
@@ -38,7 +38,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_6e7a74() {
-  f16vec3 res = smoothstep(f16vec3(1.0hf), f16vec3(1.0hf), f16vec3(1.0hf));
+  f16vec3 res = f16vec3(0.5hf);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.msl
index e4b2026..aafc826 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_6e7a74() {
-  half3 res = smoothstep(half3(1.0h), half3(1.0h), half3(1.0h));
+  half3 res = half3(0.5h);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.spvasm
index d381603..e7c414d 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 36
+; Bound: 34
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                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"
@@ -37,38 +36,37 @@
           %9 = OpTypeFunction %void
        %half = OpTypeFloat 16
      %v3half = OpTypeVector %half 3
-%half_0x1p_0 = OpConstant %half 0x1p+0
-         %18 = OpConstantComposite %v3half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_0x1pn1 = OpConstant %half 0x1p-1
+         %16 = OpConstantComposite %v3half %half_0x1pn1 %half_0x1pn1 %half_0x1pn1
 %_ptr_Function_v3half = OpTypePointer Function %v3half
-         %21 = OpConstantNull %v3half
-         %22 = OpTypeFunction %v4float
+         %19 = OpConstantNull %v3half
+         %20 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_6e7a74 = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_v3half Function %21
-         %13 = OpExtInst %v3half %16 SmoothStep %18 %18 %18
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_v3half Function %19
+               OpStore %res %16
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %22
-         %24 = OpLabel
-         %25 = OpFunctionCall %void %smoothstep_6e7a74
+%vertex_main_inner = OpFunction %v4float None %20
+         %22 = OpLabel
+         %23 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %27 = OpLabel
-         %28 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %28
+         %25 = OpLabel
+         %26 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %26
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %31 = OpLabel
-         %32 = OpFunctionCall %void %smoothstep_6e7a74
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %34 = OpLabel
-         %35 = OpFunctionCall %void %smoothstep_6e7a74
+         %32 = OpLabel
+         %33 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.wgsl
index 807bdab..cab3340 100644
--- a/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/6e7a74.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 enable f16;
 
 fn smoothstep_6e7a74() {
-  var res : vec3<f16> = smoothstep(vec3<f16>(1.0h), vec3<f16>(1.0h), vec3<f16>(1.0h));
+  var res : vec3<f16> = smoothstep(vec3<f16>(2.0h), vec3<f16>(4.0h), vec3<f16>(3.0h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl
new file mode 100644
index 0000000..c1a83bd
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl
@@ -0,0 +1,43 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(fa, fa, fa) -> fa
+fn smoothstep_a80fff() {
+  var res = smoothstep(2., 4., 3.);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_a80fff();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_a80fff();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_a80fff();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..289e02d
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..289e02d
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.glsl
new file mode 100644
index 0000000..f046ecc
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+vec4 vertex_main() {
+  smoothstep_a80fff();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+void compute_main() {
+  smoothstep_a80fff();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.msl
new file mode 100644
index 0000000..c5e9800
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.spvasm
new file mode 100644
index 0000000..7e6be63
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.spvasm
@@ -0,0 +1,64 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 30
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_a80fff "smoothstep_a80fff"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+  %float_0_5 = OpConstant %float 0.5
+%_ptr_Function_float = OpTypePointer Function %float
+         %16 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_a80fff = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_float Function %8
+               OpStore %res %float_0_5
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %16
+         %18 = OpLabel
+         %19 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %21 = OpLabel
+         %22 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %22
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %25 = OpLabel
+         %26 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.wgsl
new file mode 100644
index 0000000..6caf7eb
--- /dev/null
+++ b/test/tint/builtins/gen/literal/smoothstep/a80fff.wgsl.expected.wgsl
@@ -0,0 +1,19 @@
+fn smoothstep_a80fff() {
+  var res = smoothstep(2.0, 4.0, 3.0);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_a80fff();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_a80fff();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_a80fff();
+}
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl
index ded0ed3..72e95a8 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl
@@ -23,7 +23,7 @@
 
 // fn smoothstep(vec<3, f32>, vec<3, f32>, vec<3, f32>) -> vec<3, f32>
 fn smoothstep_aad1db() {
-  var res: vec3<f32> = smoothstep(vec3<f32>(1.f), vec3<f32>(1.f), vec3<f32>(1.f));
+  var res: vec3<f32> = smoothstep(vec3<f32>(2.f), vec3<f32>(4.f), vec3<f32>(3.f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.dxc.hlsl
index cb88afb..151a631 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_aad1db() {
-  float3 res = smoothstep((1.0f).xxx, (1.0f).xxx, (1.0f).xxx);
+  float3 res = (0.5f).xxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.fxc.hlsl
index cb88afb..151a631 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.fxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_aad1db() {
-  float3 res = smoothstep((1.0f).xxx, (1.0f).xxx, (1.0f).xxx);
+  float3 res = (0.5f).xxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.glsl
index 3f8d9b2..9a2f4d3 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.glsl
@@ -1,7 +1,7 @@
 #version 310 es
 
 void smoothstep_aad1db() {
-  vec3 res = smoothstep(vec3(1.0f), vec3(1.0f), vec3(1.0f));
+  vec3 res = vec3(0.5f);
 }
 
 vec4 vertex_main() {
@@ -21,7 +21,7 @@
 precision mediump float;
 
 void smoothstep_aad1db() {
-  vec3 res = smoothstep(vec3(1.0f), vec3(1.0f), vec3(1.0f));
+  vec3 res = vec3(0.5f);
 }
 
 void fragment_main() {
@@ -35,7 +35,7 @@
 #version 310 es
 
 void smoothstep_aad1db() {
-  vec3 res = smoothstep(vec3(1.0f), vec3(1.0f), vec3(1.0f));
+  vec3 res = vec3(0.5f);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.msl
index 48037d1..021033e 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_aad1db() {
-  float3 res = smoothstep(float3(1.0f), float3(1.0f), float3(1.0f));
+  float3 res = float3(0.5f);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.spvasm
index 845c531..bfd3979 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.spvasm
@@ -1,10 +1,9 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 34
+; Bound: 33
 ; 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"
@@ -32,37 +31,37 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
     %v3float = OpTypeVector %float 3
-    %float_1 = OpConstant %float 1
-         %17 = OpConstantComposite %v3float %float_1 %float_1 %float_1
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v3float %float_0_5 %float_0_5 %float_0_5
 %_ptr_Function_v3float = OpTypePointer Function %v3float
-         %20 = OpConstantNull %v3float
-         %21 = OpTypeFunction %v4float
+         %18 = OpConstantNull %v3float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_aad1db = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_v3float Function %20
-         %13 = OpExtInst %v3float %15 SmoothStep %17 %17 %17
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_v3float Function %18
+               OpStore %res %15
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %21
-         %23 = OpLabel
-         %24 = OpFunctionCall %void %smoothstep_aad1db
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_aad1db
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %26 = OpLabel
-         %27 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %27
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_aad1db
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_aad1db
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %void %smoothstep_aad1db
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_aad1db
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.wgsl
index 38f7f8d..11bb354 100644
--- a/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/aad1db.wgsl.expected.wgsl
@@ -1,5 +1,5 @@
 fn smoothstep_aad1db() {
-  var res : vec3<f32> = smoothstep(vec3<f32>(1.0f), vec3<f32>(1.0f), vec3<f32>(1.0f));
+  var res : vec3<f32> = smoothstep(vec3<f32>(2.0f), vec3<f32>(4.0f), vec3<f32>(3.0f));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl
index 523df81..d2d9b70 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl
@@ -25,7 +25,7 @@
 
 // fn smoothstep(vec<4, f16>, vec<4, f16>, vec<4, f16>) -> vec<4, f16>
 fn smoothstep_c43ebd() {
-  var res: vec4<f16> = smoothstep(vec4<f16>(1.h), vec4<f16>(1.h), vec4<f16>(1.h));
+  var res: vec4<f16> = smoothstep(vec4<f16>(2.h), vec4<f16>(4.h), vec4<f16>(3.h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
index 7c6c44e..866e139 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
@@ -1,5 +1,5 @@
 void smoothstep_c43ebd() {
-  vector<float16_t, 4> res = smoothstep((float16_t(1.0h)).xxxx, (float16_t(1.0h)).xxxx, (float16_t(1.0h)).xxxx);
+  vector<float16_t, 4> res = (float16_t(0.5h)).xxxx;
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.glsl b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.glsl
index 996656a..1a57918 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.glsl
@@ -2,7 +2,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_c43ebd() {
-  f16vec4 res = smoothstep(f16vec4(1.0hf), f16vec4(1.0hf), f16vec4(1.0hf));
+  f16vec4 res = f16vec4(0.5hf);
 }
 
 vec4 vertex_main() {
@@ -23,7 +23,7 @@
 precision mediump float;
 
 void smoothstep_c43ebd() {
-  f16vec4 res = smoothstep(f16vec4(1.0hf), f16vec4(1.0hf), f16vec4(1.0hf));
+  f16vec4 res = f16vec4(0.5hf);
 }
 
 void fragment_main() {
@@ -38,7 +38,7 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_c43ebd() {
-  f16vec4 res = smoothstep(f16vec4(1.0hf), f16vec4(1.0hf), f16vec4(1.0hf));
+  f16vec4 res = f16vec4(0.5hf);
 }
 
 void compute_main() {
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.msl b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.msl
index 3503d95..b64d9be 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.msl
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.msl
@@ -2,7 +2,7 @@
 
 using namespace metal;
 void smoothstep_c43ebd() {
-  half4 res = smoothstep(half4(1.0h), half4(1.0h), half4(1.0h));
+  half4 res = half4(0.5h);
 }
 
 struct tint_symbol {
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.spvasm b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.spvasm
index a81f848..34ea008 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.spvasm
@@ -1,14 +1,13 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 36
+; Bound: 34
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                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"
@@ -37,38 +36,37 @@
           %9 = OpTypeFunction %void
        %half = OpTypeFloat 16
      %v4half = OpTypeVector %half 4
-%half_0x1p_0 = OpConstant %half 0x1p+0
-         %18 = OpConstantComposite %v4half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
+%half_0x1pn1 = OpConstant %half 0x1p-1
+         %16 = OpConstantComposite %v4half %half_0x1pn1 %half_0x1pn1 %half_0x1pn1 %half_0x1pn1
 %_ptr_Function_v4half = OpTypePointer Function %v4half
-         %21 = OpConstantNull %v4half
-         %22 = OpTypeFunction %v4float
+         %19 = OpConstantNull %v4half
+         %20 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_c43ebd = OpFunction %void None %9
          %12 = OpLabel
-        %res = OpVariable %_ptr_Function_v4half Function %21
-         %13 = OpExtInst %v4half %16 SmoothStep %18 %18 %18
-               OpStore %res %13
+        %res = OpVariable %_ptr_Function_v4half Function %19
+               OpStore %res %16
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %22
-         %24 = OpLabel
-         %25 = OpFunctionCall %void %smoothstep_c43ebd
+%vertex_main_inner = OpFunction %v4float None %20
+         %22 = OpLabel
+         %23 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %27 = OpLabel
-         %28 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %28
+         %25 = OpLabel
+         %26 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %26
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %31 = OpLabel
-         %32 = OpFunctionCall %void %smoothstep_c43ebd
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %34 = OpLabel
-         %35 = OpFunctionCall %void %smoothstep_c43ebd
+         %32 = OpLabel
+         %33 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.wgsl b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.wgsl
index aad2d01..c3ec48c 100644
--- a/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/literal/smoothstep/c43ebd.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 enable f16;
 
 fn smoothstep_c43ebd() {
-  var res : vec4<f16> = smoothstep(vec4<f16>(1.0h), vec4<f16>(1.0h), vec4<f16>(1.0h));
+  var res : vec4<f16> = smoothstep(vec4<f16>(2.0h), vec4<f16>(4.0h), vec4<f16>(3.0h));
 }
 
 @vertex
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl
new file mode 100644
index 0000000..88183f4
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl
@@ -0,0 +1,46 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<2, fa>, vec<2, fa>, vec<2, fa>) -> vec<2, fa>
+fn smoothstep_0c481b() {
+  const arg_0 = vec2(2.);
+  const arg_1 = vec2(4.);
+  const arg_2 = vec2(3.);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c481b();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c481b();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c481b();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..262a8a1
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c481b() {
+  float2 res = (0.5f).xx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..262a8a1
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c481b() {
+  float2 res = (0.5f).xx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.glsl
new file mode 100644
index 0000000..d7f4fe4
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_0c481b();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_0c481b();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_0c481b() {
+  vec2 res = vec2(0.5f);
+}
+
+void compute_main() {
+  smoothstep_0c481b();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.msl
new file mode 100644
index 0000000..63d2e22
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_0c481b() {
+  float2 res = float2(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c481b();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_0c481b();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_0c481b();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.spvasm
new file mode 100644
index 0000000..1980105
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.spvasm
@@ -0,0 +1,67 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 33
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_0c481b "smoothstep_0c481b"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+    %v2float = OpTypeVector %float 2
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v2float %float_0_5 %float_0_5
+%_ptr_Function_v2float = OpTypePointer Function %v2float
+         %18 = OpConstantNull %v2float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_0c481b = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v2float Function %18
+               OpStore %res %15
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_0c481b
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.wgsl
new file mode 100644
index 0000000..b9a905c
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c481b.wgsl.expected.wgsl
@@ -0,0 +1,22 @@
+fn smoothstep_0c481b() {
+  const arg_0 = vec2(2.0);
+  const arg_1 = vec2(4.0);
+  const arg_2 = vec2(3.0);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c481b();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c481b();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c481b();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl
new file mode 100644
index 0000000..a1c01d3
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl
@@ -0,0 +1,46 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<4, fa>, vec<4, fa>, vec<4, fa>) -> vec<4, fa>
+fn smoothstep_0c4ffc() {
+  const arg_0 = vec4(2.);
+  const arg_1 = vec4(4.);
+  const arg_2 = vec4(3.);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c4ffc();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c4ffc();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..d67929f
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c4ffc() {
+  float4 res = (0.5f).xxxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..d67929f
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_0c4ffc() {
+  float4 res = (0.5f).xxxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.glsl
new file mode 100644
index 0000000..12359d8
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_0c4ffc();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_0c4ffc() {
+  vec4 res = vec4(0.5f);
+}
+
+void compute_main() {
+  smoothstep_0c4ffc();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.msl
new file mode 100644
index 0000000..8676d3f
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_0c4ffc() {
+  float4 res = float4(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_0c4ffc();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_0c4ffc();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.spvasm
new file mode 100644
index 0000000..1e62ccb
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.spvasm
@@ -0,0 +1,65 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 31
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_0c4ffc "smoothstep_0c4ffc"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+  %float_0_5 = OpConstant %float 0.5
+         %14 = OpConstantComposite %v4float %float_0_5 %float_0_5 %float_0_5 %float_0_5
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+         %17 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_0c4ffc = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v4float Function %5
+               OpStore %res %14
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %17
+         %19 = OpLabel
+         %20 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %22 = OpLabel
+         %23 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %23
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %26 = OpLabel
+         %27 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %29 = OpLabel
+         %30 = OpFunctionCall %void %smoothstep_0c4ffc
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.wgsl
new file mode 100644
index 0000000..2cef79b
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/0c4ffc.wgsl.expected.wgsl
@@ -0,0 +1,22 @@
+fn smoothstep_0c4ffc() {
+  const arg_0 = vec4(2.0);
+  const arg_1 = vec4(4.0);
+  const arg_2 = vec4(3.0);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_0c4ffc();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_0c4ffc();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_0c4ffc();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl
index 2db4d35..ccd52ca 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl
@@ -25,9 +25,9 @@
 
 // fn smoothstep(vec<2, f16>, vec<2, f16>, vec<2, f16>) -> vec<2, f16>
 fn smoothstep_12c031() {
-  var arg_0 = vec2<f16>(1.h);
-  var arg_1 = vec2<f16>(1.h);
-  var arg_2 = vec2<f16>(1.h);
+  var arg_0 = vec2<f16>(2.h);
+  var arg_1 = vec2<f16>(4.h);
+  var arg_2 = vec2<f16>(3.h);
   var res: vec2<f16> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.dxc.hlsl
index b9615c1..80c0574 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_12c031() {
-  vector<float16_t, 2> arg_0 = (float16_t(1.0h)).xx;
-  vector<float16_t, 2> arg_1 = (float16_t(1.0h)).xx;
-  vector<float16_t, 2> arg_2 = (float16_t(1.0h)).xx;
+  vector<float16_t, 2> arg_0 = (float16_t(2.0h)).xx;
+  vector<float16_t, 2> arg_1 = (float16_t(4.0h)).xx;
+  vector<float16_t, 2> arg_2 = (float16_t(3.0h)).xx;
   vector<float16_t, 2> res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.glsl
index c71c7b5..840ed94 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.glsl
@@ -2,9 +2,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_12c031() {
-  f16vec2 arg_0 = f16vec2(1.0hf);
-  f16vec2 arg_1 = f16vec2(1.0hf);
-  f16vec2 arg_2 = f16vec2(1.0hf);
+  f16vec2 arg_0 = f16vec2(2.0hf);
+  f16vec2 arg_1 = f16vec2(4.0hf);
+  f16vec2 arg_2 = f16vec2(3.0hf);
   f16vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -26,9 +26,9 @@
 precision mediump float;
 
 void smoothstep_12c031() {
-  f16vec2 arg_0 = f16vec2(1.0hf);
-  f16vec2 arg_1 = f16vec2(1.0hf);
-  f16vec2 arg_2 = f16vec2(1.0hf);
+  f16vec2 arg_0 = f16vec2(2.0hf);
+  f16vec2 arg_1 = f16vec2(4.0hf);
+  f16vec2 arg_2 = f16vec2(3.0hf);
   f16vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -44,9 +44,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_12c031() {
-  f16vec2 arg_0 = f16vec2(1.0hf);
-  f16vec2 arg_1 = f16vec2(1.0hf);
-  f16vec2 arg_2 = f16vec2(1.0hf);
+  f16vec2 arg_0 = f16vec2(2.0hf);
+  f16vec2 arg_1 = f16vec2(4.0hf);
+  f16vec2 arg_2 = f16vec2(3.0hf);
   f16vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.msl
index 2bc622d..defb697 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_12c031() {
-  half2 arg_0 = half2(1.0h);
-  half2 arg_1 = half2(1.0h);
-  half2 arg_2 = half2(1.0h);
+  half2 arg_0 = half2(2.0h);
+  half2 arg_1 = half2(4.0h);
+  half2 arg_2 = half2(3.0h);
   half2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.spvasm
index 47cd760..1947e34 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.spvasm
@@ -1,14 +1,14 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 42
+; Bound: 46
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                OpCapability UniformAndStorageBuffer16BitAccess
                OpCapability StorageBuffer16BitAccess
                OpCapability StorageInputOutput16
-         %23 = OpExtInstImport "GLSL.std.450"
+         %27 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -40,11 +40,15 @@
           %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_0x1p_1 = OpConstant %half 0x1p+1
+         %16 = OpConstantComposite %v2half %half_0x1p_1 %half_0x1p_1
 %_ptr_Function_v2half = OpTypePointer Function %v2half
          %19 = OpConstantNull %v2half
-         %28 = OpTypeFunction %v4float
+%half_0x1p_2 = OpConstant %half 0x1p+2
+         %21 = OpConstantComposite %v2half %half_0x1p_2 %half_0x1p_2
+%half_0x1_8p_1 = OpConstant %half 0x1.8p+1
+         %24 = OpConstantComposite %v2half %half_0x1_8p_1 %half_0x1_8p_1
+         %32 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_12c031 = OpFunction %void None %9
          %12 = OpLabel
@@ -53,34 +57,34 @@
       %arg_2 = OpVariable %_ptr_Function_v2half Function %19
         %res = OpVariable %_ptr_Function_v2half Function %19
                OpStore %arg_0 %16
-               OpStore %arg_1 %16
-               OpStore %arg_2 %16
-         %24 = OpLoad %v2half %arg_0
-         %25 = OpLoad %v2half %arg_1
-         %26 = OpLoad %v2half %arg_2
-         %22 = OpExtInst %v2half %23 SmoothStep %24 %25 %26
-               OpStore %res %22
+               OpStore %arg_1 %21
+               OpStore %arg_2 %24
+         %28 = OpLoad %v2half %arg_0
+         %29 = OpLoad %v2half %arg_1
+         %30 = OpLoad %v2half %arg_2
+         %26 = OpExtInst %v2half %27 SmoothStep %28 %29 %30
+               OpStore %res %26
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %28
-         %30 = OpLabel
-         %31 = OpFunctionCall %void %smoothstep_12c031
+%vertex_main_inner = OpFunction %v4float None %32
+         %34 = OpLabel
+         %35 = OpFunctionCall %void %smoothstep_12c031
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %33 = OpLabel
-         %34 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %34
+         %37 = OpLabel
+         %38 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %38
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %37 = OpLabel
-         %38 = OpFunctionCall %void %smoothstep_12c031
+         %41 = OpLabel
+         %42 = OpFunctionCall %void %smoothstep_12c031
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %40 = OpLabel
-         %41 = OpFunctionCall %void %smoothstep_12c031
+         %44 = OpLabel
+         %45 = OpFunctionCall %void %smoothstep_12c031
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.wgsl
index 3356cb5..fd38b2b 100644
--- a/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/12c031.wgsl.expected.wgsl
@@ -1,9 +1,9 @@
 enable f16;
 
 fn smoothstep_12c031() {
-  var arg_0 = vec2<f16>(1.0h);
-  var arg_1 = vec2<f16>(1.0h);
-  var arg_2 = vec2<f16>(1.0h);
+  var arg_0 = vec2<f16>(2.0h);
+  var arg_1 = vec2<f16>(4.0h);
+  var arg_2 = vec2<f16>(3.0h);
   var res : vec2<f16> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl
index ef2d2f3..2816f21 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl
@@ -23,9 +23,9 @@
 
 // fn smoothstep(vec<2, f32>, vec<2, f32>, vec<2, f32>) -> vec<2, f32>
 fn smoothstep_392c19() {
-  var arg_0 = vec2<f32>(1.f);
-  var arg_1 = vec2<f32>(1.f);
-  var arg_2 = vec2<f32>(1.f);
+  var arg_0 = vec2<f32>(2.f);
+  var arg_1 = vec2<f32>(4.f);
+  var arg_2 = vec2<f32>(3.f);
   var res: vec2<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.dxc.hlsl
index a63dae4..0eca40f 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_392c19() {
-  float2 arg_0 = (1.0f).xx;
-  float2 arg_1 = (1.0f).xx;
-  float2 arg_2 = (1.0f).xx;
+  float2 arg_0 = (2.0f).xx;
+  float2 arg_1 = (4.0f).xx;
+  float2 arg_2 = (3.0f).xx;
   float2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.fxc.hlsl
index a63dae4..0eca40f 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.fxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_392c19() {
-  float2 arg_0 = (1.0f).xx;
-  float2 arg_1 = (1.0f).xx;
-  float2 arg_2 = (1.0f).xx;
+  float2 arg_0 = (2.0f).xx;
+  float2 arg_1 = (4.0f).xx;
+  float2 arg_2 = (3.0f).xx;
   float2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.glsl
index 9b89ca1..637ab837 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.glsl
@@ -1,9 +1,9 @@
 #version 310 es
 
 void smoothstep_392c19() {
-  vec2 arg_0 = vec2(1.0f);
-  vec2 arg_1 = vec2(1.0f);
-  vec2 arg_2 = vec2(1.0f);
+  vec2 arg_0 = vec2(2.0f);
+  vec2 arg_1 = vec2(4.0f);
+  vec2 arg_2 = vec2(3.0f);
   vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -24,9 +24,9 @@
 precision mediump float;
 
 void smoothstep_392c19() {
-  vec2 arg_0 = vec2(1.0f);
-  vec2 arg_1 = vec2(1.0f);
-  vec2 arg_2 = vec2(1.0f);
+  vec2 arg_0 = vec2(2.0f);
+  vec2 arg_1 = vec2(4.0f);
+  vec2 arg_2 = vec2(3.0f);
   vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -41,9 +41,9 @@
 #version 310 es
 
 void smoothstep_392c19() {
-  vec2 arg_0 = vec2(1.0f);
-  vec2 arg_1 = vec2(1.0f);
-  vec2 arg_2 = vec2(1.0f);
+  vec2 arg_0 = vec2(2.0f);
+  vec2 arg_1 = vec2(4.0f);
+  vec2 arg_2 = vec2(3.0f);
   vec2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.msl
index a833298..23cef1a 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_392c19() {
-  float2 arg_0 = float2(1.0f);
-  float2 arg_1 = float2(1.0f);
-  float2 arg_2 = float2(1.0f);
+  float2 arg_0 = float2(2.0f);
+  float2 arg_1 = float2(4.0f);
+  float2 arg_2 = float2(3.0f);
   float2 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.spvasm
index 2e3a4b1..bef0f06 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.spvasm
@@ -1,10 +1,10 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 40
+; Bound: 45
 ; Schema: 0
                OpCapability Shader
-         %22 = OpExtInstImport "GLSL.std.450"
+         %26 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -35,11 +35,16 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
     %v2float = OpTypeVector %float 2
-    %float_1 = OpConstant %float 1
-         %15 = OpConstantComposite %v2float %float_1 %float_1
+    %float_2 = OpConstant %float 2
+         %15 = OpConstantComposite %v2float %float_2 %float_2
 %_ptr_Function_v2float = OpTypePointer Function %v2float
          %18 = OpConstantNull %v2float
-         %27 = OpTypeFunction %v4float
+    %float_4 = OpConstant %float 4
+         %20 = OpConstantComposite %v2float %float_4 %float_4
+    %float_3 = OpConstant %float 3
+         %23 = OpConstantComposite %v2float %float_3 %float_3
+         %31 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_392c19 = OpFunction %void None %9
          %12 = OpLabel
       %arg_0 = OpVariable %_ptr_Function_v2float Function %18
@@ -47,34 +52,34 @@
       %arg_2 = OpVariable %_ptr_Function_v2float Function %18
         %res = OpVariable %_ptr_Function_v2float Function %18
                OpStore %arg_0 %15
-               OpStore %arg_1 %15
-               OpStore %arg_2 %15
-         %23 = OpLoad %v2float %arg_0
-         %24 = OpLoad %v2float %arg_1
-         %25 = OpLoad %v2float %arg_2
-         %21 = OpExtInst %v2float %22 SmoothStep %23 %24 %25
-               OpStore %res %21
+               OpStore %arg_1 %20
+               OpStore %arg_2 %23
+         %27 = OpLoad %v2float %arg_0
+         %28 = OpLoad %v2float %arg_1
+         %29 = OpLoad %v2float %arg_2
+         %25 = OpExtInst %v2float %26 SmoothStep %27 %28 %29
+               OpStore %res %25
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %27
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_392c19
+%vertex_main_inner = OpFunction %v4float None %31
+         %33 = OpLabel
+         %34 = OpFunctionCall %void %smoothstep_392c19
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %33
+         %36 = OpLabel
+         %37 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %37
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %35 = OpLabel
-         %36 = OpFunctionCall %void %smoothstep_392c19
+         %40 = OpLabel
+         %41 = OpFunctionCall %void %smoothstep_392c19
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %38 = OpLabel
-         %39 = OpFunctionCall %void %smoothstep_392c19
+         %43 = OpLabel
+         %44 = OpFunctionCall %void %smoothstep_392c19
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.wgsl
index 7d3c0d0..43d4f57 100644
--- a/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/392c19.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 fn smoothstep_392c19() {
-  var arg_0 = vec2<f32>(1.0f);
-  var arg_1 = vec2<f32>(1.0f);
-  var arg_2 = vec2<f32>(1.0f);
+  var arg_0 = vec2<f32>(2.0f);
+  var arg_1 = vec2<f32>(4.0f);
+  var arg_2 = vec2<f32>(3.0f);
   var res : vec2<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl
index 9e9ca2e..e42e7d3 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl
@@ -23,9 +23,9 @@
 
 // fn smoothstep(vec<4, f32>, vec<4, f32>, vec<4, f32>) -> vec<4, f32>
 fn smoothstep_40864c() {
-  var arg_0 = vec4<f32>(1.f);
-  var arg_1 = vec4<f32>(1.f);
-  var arg_2 = vec4<f32>(1.f);
+  var arg_0 = vec4<f32>(2.f);
+  var arg_1 = vec4<f32>(4.f);
+  var arg_2 = vec4<f32>(3.f);
   var res: vec4<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.dxc.hlsl
index c164361..47ab386 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_40864c() {
-  float4 arg_0 = (1.0f).xxxx;
-  float4 arg_1 = (1.0f).xxxx;
-  float4 arg_2 = (1.0f).xxxx;
+  float4 arg_0 = (2.0f).xxxx;
+  float4 arg_1 = (4.0f).xxxx;
+  float4 arg_2 = (3.0f).xxxx;
   float4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.fxc.hlsl
index c164361..47ab386 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.fxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_40864c() {
-  float4 arg_0 = (1.0f).xxxx;
-  float4 arg_1 = (1.0f).xxxx;
-  float4 arg_2 = (1.0f).xxxx;
+  float4 arg_0 = (2.0f).xxxx;
+  float4 arg_1 = (4.0f).xxxx;
+  float4 arg_2 = (3.0f).xxxx;
   float4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.glsl
index 84ac776..58f1039 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.glsl
@@ -1,9 +1,9 @@
 #version 310 es
 
 void smoothstep_40864c() {
-  vec4 arg_0 = vec4(1.0f);
-  vec4 arg_1 = vec4(1.0f);
-  vec4 arg_2 = vec4(1.0f);
+  vec4 arg_0 = vec4(2.0f);
+  vec4 arg_1 = vec4(4.0f);
+  vec4 arg_2 = vec4(3.0f);
   vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -24,9 +24,9 @@
 precision mediump float;
 
 void smoothstep_40864c() {
-  vec4 arg_0 = vec4(1.0f);
-  vec4 arg_1 = vec4(1.0f);
-  vec4 arg_2 = vec4(1.0f);
+  vec4 arg_0 = vec4(2.0f);
+  vec4 arg_1 = vec4(4.0f);
+  vec4 arg_2 = vec4(3.0f);
   vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -41,9 +41,9 @@
 #version 310 es
 
 void smoothstep_40864c() {
-  vec4 arg_0 = vec4(1.0f);
-  vec4 arg_1 = vec4(1.0f);
-  vec4 arg_2 = vec4(1.0f);
+  vec4 arg_0 = vec4(2.0f);
+  vec4 arg_1 = vec4(4.0f);
+  vec4 arg_2 = vec4(3.0f);
   vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.msl
index 6fb06e2..c3bc43e 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_40864c() {
-  float4 arg_0 = float4(1.0f);
-  float4 arg_1 = float4(1.0f);
-  float4 arg_2 = float4(1.0f);
+  float4 arg_0 = float4(2.0f);
+  float4 arg_1 = float4(4.0f);
+  float4 arg_2 = float4(3.0f);
   float4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.spvasm
index ae5cf31..abe8bd6 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.spvasm
@@ -1,10 +1,10 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 38
+; Bound: 43
 ; Schema: 0
                OpCapability Shader
-         %20 = OpExtInstImport "GLSL.std.450"
+         %24 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -34,10 +34,15 @@
 %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_2 = OpConstant %float 2
+         %14 = OpConstantComposite %v4float %float_2 %float_2 %float_2 %float_2
 %_ptr_Function_v4float = OpTypePointer Function %v4float
-         %25 = OpTypeFunction %v4float
+    %float_4 = OpConstant %float 4
+         %18 = OpConstantComposite %v4float %float_4 %float_4 %float_4 %float_4
+    %float_3 = OpConstant %float 3
+         %21 = OpConstantComposite %v4float %float_3 %float_3 %float_3 %float_3
+         %29 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_40864c = OpFunction %void None %9
          %12 = OpLabel
       %arg_0 = OpVariable %_ptr_Function_v4float Function %5
@@ -45,34 +50,34 @@
       %arg_2 = OpVariable %_ptr_Function_v4float Function %5
         %res = OpVariable %_ptr_Function_v4float Function %5
                OpStore %arg_0 %14
-               OpStore %arg_1 %14
-               OpStore %arg_2 %14
-         %21 = OpLoad %v4float %arg_0
-         %22 = OpLoad %v4float %arg_1
-         %23 = OpLoad %v4float %arg_2
-         %19 = OpExtInst %v4float %20 SmoothStep %21 %22 %23
-               OpStore %res %19
+               OpStore %arg_1 %18
+               OpStore %arg_2 %21
+         %25 = OpLoad %v4float %arg_0
+         %26 = OpLoad %v4float %arg_1
+         %27 = OpLoad %v4float %arg_2
+         %23 = OpExtInst %v4float %24 SmoothStep %25 %26 %27
+               OpStore %res %23
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %25
-         %27 = OpLabel
-         %28 = OpFunctionCall %void %smoothstep_40864c
+%vertex_main_inner = OpFunction %v4float None %29
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_40864c
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %30 = OpLabel
-         %31 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %31
+         %34 = OpLabel
+         %35 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %35
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %33 = OpLabel
-         %34 = OpFunctionCall %void %smoothstep_40864c
+         %38 = OpLabel
+         %39 = OpFunctionCall %void %smoothstep_40864c
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %36 = OpLabel
-         %37 = OpFunctionCall %void %smoothstep_40864c
+         %41 = OpLabel
+         %42 = OpFunctionCall %void %smoothstep_40864c
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.wgsl
index c6405b6..4d0b357 100644
--- a/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/40864c.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 fn smoothstep_40864c() {
-  var arg_0 = vec4<f32>(1.0f);
-  var arg_1 = vec4<f32>(1.0f);
-  var arg_2 = vec4<f32>(1.0f);
+  var arg_0 = vec4<f32>(2.0f);
+  var arg_1 = vec4<f32>(4.0f);
+  var arg_2 = vec4<f32>(3.0f);
   var res : vec4<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl
index cbe6b56..1c84475 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl
@@ -25,9 +25,9 @@
 
 // fn smoothstep(f16, f16, f16) -> f16
 fn smoothstep_586e12() {
-  var arg_0 = 1.h;
-  var arg_1 = 1.h;
-  var arg_2 = 1.h;
+  var arg_0 = 2.h;
+  var arg_1 = 4.h;
+  var arg_2 = 3.h;
   var res: f16 = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.dxc.hlsl
index c4e958d..af710b9 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_586e12() {
-  float16_t arg_0 = float16_t(1.0h);
-  float16_t arg_1 = float16_t(1.0h);
-  float16_t arg_2 = float16_t(1.0h);
+  float16_t arg_0 = float16_t(2.0h);
+  float16_t arg_1 = float16_t(4.0h);
+  float16_t arg_2 = float16_t(3.0h);
   float16_t res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.glsl
index 9e3c4fb..e9079b9 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.glsl
@@ -2,9 +2,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_586e12() {
-  float16_t arg_0 = 1.0hf;
-  float16_t arg_1 = 1.0hf;
-  float16_t arg_2 = 1.0hf;
+  float16_t arg_0 = 2.0hf;
+  float16_t arg_1 = 4.0hf;
+  float16_t arg_2 = 3.0hf;
   float16_t res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -26,9 +26,9 @@
 precision mediump float;
 
 void smoothstep_586e12() {
-  float16_t arg_0 = 1.0hf;
-  float16_t arg_1 = 1.0hf;
-  float16_t arg_2 = 1.0hf;
+  float16_t arg_0 = 2.0hf;
+  float16_t arg_1 = 4.0hf;
+  float16_t arg_2 = 3.0hf;
   float16_t res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -44,9 +44,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_586e12() {
-  float16_t arg_0 = 1.0hf;
-  float16_t arg_1 = 1.0hf;
-  float16_t arg_2 = 1.0hf;
+  float16_t arg_0 = 2.0hf;
+  float16_t arg_1 = 4.0hf;
+  float16_t arg_2 = 3.0hf;
   float16_t res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.msl
index 82d16f9..1ae3693 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_586e12() {
-  half arg_0 = 1.0h;
-  half arg_1 = 1.0h;
-  half arg_2 = 1.0h;
+  half arg_0 = 2.0h;
+  half arg_1 = 4.0h;
+  half arg_2 = 3.0h;
   half res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.spvasm
index c6a2fc2..c8fb280 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.spvasm
@@ -1,14 +1,14 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 40
+; Bound: 42
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                OpCapability UniformAndStorageBuffer16BitAccess
                OpCapability StorageBuffer16BitAccess
                OpCapability StorageInputOutput16
-         %21 = OpExtInstImport "GLSL.std.450"
+         %23 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -39,10 +39,12 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
        %half = OpTypeFloat 16
-%half_0x1p_0 = OpConstant %half 0x1p+0
+%half_0x1p_1 = OpConstant %half 0x1p+1
 %_ptr_Function_half = OpTypePointer Function %half
          %17 = OpConstantNull %half
-         %26 = OpTypeFunction %v4float
+%half_0x1p_2 = OpConstant %half 0x1p+2
+%half_0x1_8p_1 = OpConstant %half 0x1.8p+1
+         %28 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_586e12 = OpFunction %void None %9
          %12 = OpLabel
@@ -50,35 +52,35 @@
       %arg_1 = OpVariable %_ptr_Function_half Function %17
       %arg_2 = OpVariable %_ptr_Function_half Function %17
         %res = OpVariable %_ptr_Function_half Function %17
-               OpStore %arg_0 %half_0x1p_0
-               OpStore %arg_1 %half_0x1p_0
-               OpStore %arg_2 %half_0x1p_0
-         %22 = OpLoad %half %arg_0
-         %23 = OpLoad %half %arg_1
-         %24 = OpLoad %half %arg_2
-         %20 = OpExtInst %half %21 SmoothStep %22 %23 %24
-               OpStore %res %20
+               OpStore %arg_0 %half_0x1p_1
+               OpStore %arg_1 %half_0x1p_2
+               OpStore %arg_2 %half_0x1_8p_1
+         %24 = OpLoad %half %arg_0
+         %25 = OpLoad %half %arg_1
+         %26 = OpLoad %half %arg_2
+         %22 = OpExtInst %half %23 SmoothStep %24 %25 %26
+               OpStore %res %22
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %26
-         %28 = OpLabel
-         %29 = OpFunctionCall %void %smoothstep_586e12
+%vertex_main_inner = OpFunction %v4float None %28
+         %30 = OpLabel
+         %31 = OpFunctionCall %void %smoothstep_586e12
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %31 = OpLabel
-         %32 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %32
+         %33 = OpLabel
+         %34 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %34
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %35 = OpLabel
-         %36 = OpFunctionCall %void %smoothstep_586e12
+         %37 = OpLabel
+         %38 = OpFunctionCall %void %smoothstep_586e12
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %38 = OpLabel
-         %39 = OpFunctionCall %void %smoothstep_586e12
+         %40 = OpLabel
+         %41 = OpFunctionCall %void %smoothstep_586e12
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.wgsl
index 14a0ba7..5611bdb 100644
--- a/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/586e12.wgsl.expected.wgsl
@@ -1,9 +1,9 @@
 enable f16;
 
 fn smoothstep_586e12() {
-  var arg_0 = 1.0h;
-  var arg_1 = 1.0h;
-  var arg_2 = 1.0h;
+  var arg_0 = 2.0h;
+  var arg_1 = 4.0h;
+  var arg_2 = 3.0h;
   var res : f16 = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl
new file mode 100644
index 0000000..b08bf4f
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl
@@ -0,0 +1,46 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(vec<3, fa>, vec<3, fa>, vec<3, fa>) -> vec<3, fa>
+fn smoothstep_66e4bd() {
+  const arg_0 = vec3(2.);
+  const arg_1 = vec3(4.);
+  const arg_2 = vec3(3.);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_66e4bd();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_66e4bd();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_66e4bd();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..682f251
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_66e4bd() {
+  float3 res = (0.5f).xxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..682f251
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_66e4bd() {
+  float3 res = (0.5f).xxx;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.glsl
new file mode 100644
index 0000000..562fefa
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+vec4 vertex_main() {
+  smoothstep_66e4bd();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+void fragment_main() {
+  smoothstep_66e4bd();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_66e4bd() {
+  vec3 res = vec3(0.5f);
+}
+
+void compute_main() {
+  smoothstep_66e4bd();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.msl
new file mode 100644
index 0000000..9c16355
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_66e4bd() {
+  float3 res = float3(0.5f);
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_66e4bd();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_66e4bd();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.spvasm
new file mode 100644
index 0000000..1e1c83f
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.spvasm
@@ -0,0 +1,67 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 33
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_66e4bd "smoothstep_66e4bd"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+    %v3float = OpTypeVector %float 3
+  %float_0_5 = OpConstant %float 0.5
+         %15 = OpConstantComposite %v3float %float_0_5 %float_0_5 %float_0_5
+%_ptr_Function_v3float = OpTypePointer Function %v3float
+         %18 = OpConstantNull %v3float
+         %19 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_66e4bd = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_v3float Function %18
+               OpStore %res %15
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %19
+         %21 = OpLabel
+         %22 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %24 = OpLabel
+         %25 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %25
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %31 = OpLabel
+         %32 = OpFunctionCall %void %smoothstep_66e4bd
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.wgsl
new file mode 100644
index 0000000..c9f818b
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/66e4bd.wgsl.expected.wgsl
@@ -0,0 +1,22 @@
+fn smoothstep_66e4bd() {
+  const arg_0 = vec3(2.0);
+  const arg_1 = vec3(4.0);
+  const arg_2 = vec3(3.0);
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_66e4bd();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_66e4bd();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_66e4bd();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl
index e804fd1..7d80c88 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl
@@ -23,9 +23,9 @@
 
 // fn smoothstep(f32, f32, f32) -> f32
 fn smoothstep_6c4975() {
-  var arg_0 = 1.f;
-  var arg_1 = 1.f;
-  var arg_2 = 1.f;
+  var arg_0 = 2.f;
+  var arg_1 = 4.f;
+  var arg_2 = 3.f;
   var res: f32 = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.dxc.hlsl
index b0bcfc6..4c3db67 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.fxc.hlsl
index b0bcfc6..4c3db67 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.fxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.glsl
index 1358850..30a4487 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.glsl
@@ -1,9 +1,9 @@
 #version 310 es
 
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -24,9 +24,9 @@
 precision mediump float;
 
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -41,9 +41,9 @@
 #version 310 es
 
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.msl
index 0a4293c..e725191 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_6c4975() {
-  float arg_0 = 1.0f;
-  float arg_1 = 1.0f;
-  float arg_2 = 1.0f;
+  float arg_0 = 2.0f;
+  float arg_1 = 4.0f;
+  float arg_2 = 3.0f;
   float res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.spvasm
index e82372d..edffd3c 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.spvasm
@@ -1,10 +1,10 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 37
+; Bound: 40
 ; Schema: 0
                OpCapability Shader
-         %19 = OpExtInstImport "GLSL.std.450"
+         %21 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -34,44 +34,47 @@
 %vertex_point_size = OpVariable %_ptr_Output_float Output %8
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
-    %float_1 = OpConstant %float 1
+    %float_2 = OpConstant %float 2
 %_ptr_Function_float = OpTypePointer Function %float
-         %24 = OpTypeFunction %v4float
+    %float_4 = OpConstant %float 4
+    %float_3 = OpConstant %float 3
+         %26 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_6c4975 = OpFunction %void None %9
          %12 = OpLabel
       %arg_0 = OpVariable %_ptr_Function_float Function %8
       %arg_1 = OpVariable %_ptr_Function_float Function %8
       %arg_2 = OpVariable %_ptr_Function_float Function %8
         %res = OpVariable %_ptr_Function_float Function %8
-               OpStore %arg_0 %float_1
-               OpStore %arg_1 %float_1
-               OpStore %arg_2 %float_1
-         %20 = OpLoad %float %arg_0
-         %21 = OpLoad %float %arg_1
-         %22 = OpLoad %float %arg_2
-         %18 = OpExtInst %float %19 SmoothStep %20 %21 %22
-               OpStore %res %18
+               OpStore %arg_0 %float_2
+               OpStore %arg_1 %float_4
+               OpStore %arg_2 %float_3
+         %22 = OpLoad %float %arg_0
+         %23 = OpLoad %float %arg_1
+         %24 = OpLoad %float %arg_2
+         %20 = OpExtInst %float %21 SmoothStep %22 %23 %24
+               OpStore %res %20
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %24
-         %26 = OpLabel
-         %27 = OpFunctionCall %void %smoothstep_6c4975
+%vertex_main_inner = OpFunction %v4float None %26
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_6c4975
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %29 = OpLabel
-         %30 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %30
+         %31 = OpLabel
+         %32 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %32
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %void %smoothstep_6c4975
+         %35 = OpLabel
+         %36 = OpFunctionCall %void %smoothstep_6c4975
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %35 = OpLabel
-         %36 = OpFunctionCall %void %smoothstep_6c4975
+         %38 = OpLabel
+         %39 = OpFunctionCall %void %smoothstep_6c4975
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.wgsl
index eaa85ee..a9096e2 100644
--- a/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/6c4975.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 fn smoothstep_6c4975() {
-  var arg_0 = 1.0f;
-  var arg_1 = 1.0f;
-  var arg_2 = 1.0f;
+  var arg_0 = 2.0f;
+  var arg_1 = 4.0f;
+  var arg_2 = 3.0f;
   var res : f32 = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl
index 95d86ac..2bca005 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl
@@ -25,9 +25,9 @@
 
 // fn smoothstep(vec<3, f16>, vec<3, f16>, vec<3, f16>) -> vec<3, f16>
 fn smoothstep_6e7a74() {
-  var arg_0 = vec3<f16>(1.h);
-  var arg_1 = vec3<f16>(1.h);
-  var arg_2 = vec3<f16>(1.h);
+  var arg_0 = vec3<f16>(2.h);
+  var arg_1 = vec3<f16>(4.h);
+  var arg_2 = vec3<f16>(3.h);
   var res: vec3<f16> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
index 6ef1676..b7b85c7 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_6e7a74() {
-  vector<float16_t, 3> arg_0 = (float16_t(1.0h)).xxx;
-  vector<float16_t, 3> arg_1 = (float16_t(1.0h)).xxx;
-  vector<float16_t, 3> arg_2 = (float16_t(1.0h)).xxx;
+  vector<float16_t, 3> arg_0 = (float16_t(2.0h)).xxx;
+  vector<float16_t, 3> arg_1 = (float16_t(4.0h)).xxx;
+  vector<float16_t, 3> arg_2 = (float16_t(3.0h)).xxx;
   vector<float16_t, 3> res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.glsl
index 324c40f..6567caa 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.glsl
@@ -2,9 +2,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_6e7a74() {
-  f16vec3 arg_0 = f16vec3(1.0hf);
-  f16vec3 arg_1 = f16vec3(1.0hf);
-  f16vec3 arg_2 = f16vec3(1.0hf);
+  f16vec3 arg_0 = f16vec3(2.0hf);
+  f16vec3 arg_1 = f16vec3(4.0hf);
+  f16vec3 arg_2 = f16vec3(3.0hf);
   f16vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -26,9 +26,9 @@
 precision mediump float;
 
 void smoothstep_6e7a74() {
-  f16vec3 arg_0 = f16vec3(1.0hf);
-  f16vec3 arg_1 = f16vec3(1.0hf);
-  f16vec3 arg_2 = f16vec3(1.0hf);
+  f16vec3 arg_0 = f16vec3(2.0hf);
+  f16vec3 arg_1 = f16vec3(4.0hf);
+  f16vec3 arg_2 = f16vec3(3.0hf);
   f16vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -44,9 +44,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_6e7a74() {
-  f16vec3 arg_0 = f16vec3(1.0hf);
-  f16vec3 arg_1 = f16vec3(1.0hf);
-  f16vec3 arg_2 = f16vec3(1.0hf);
+  f16vec3 arg_0 = f16vec3(2.0hf);
+  f16vec3 arg_1 = f16vec3(4.0hf);
+  f16vec3 arg_2 = f16vec3(3.0hf);
   f16vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.msl
index 07b3f83..15260cd 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_6e7a74() {
-  half3 arg_0 = half3(1.0h);
-  half3 arg_1 = half3(1.0h);
-  half3 arg_2 = half3(1.0h);
+  half3 arg_0 = half3(2.0h);
+  half3 arg_1 = half3(4.0h);
+  half3 arg_2 = half3(3.0h);
   half3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.spvasm
index 85d9d72..c4577e4 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.spvasm
@@ -1,14 +1,14 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 42
+; Bound: 46
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                OpCapability UniformAndStorageBuffer16BitAccess
                OpCapability StorageBuffer16BitAccess
                OpCapability StorageInputOutput16
-         %23 = OpExtInstImport "GLSL.std.450"
+         %27 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -40,11 +40,15 @@
           %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_0x1p_1 = OpConstant %half 0x1p+1
+         %16 = OpConstantComposite %v3half %half_0x1p_1 %half_0x1p_1 %half_0x1p_1
 %_ptr_Function_v3half = OpTypePointer Function %v3half
          %19 = OpConstantNull %v3half
-         %28 = OpTypeFunction %v4float
+%half_0x1p_2 = OpConstant %half 0x1p+2
+         %21 = OpConstantComposite %v3half %half_0x1p_2 %half_0x1p_2 %half_0x1p_2
+%half_0x1_8p_1 = OpConstant %half 0x1.8p+1
+         %24 = OpConstantComposite %v3half %half_0x1_8p_1 %half_0x1_8p_1 %half_0x1_8p_1
+         %32 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_6e7a74 = OpFunction %void None %9
          %12 = OpLabel
@@ -53,34 +57,34 @@
       %arg_2 = OpVariable %_ptr_Function_v3half Function %19
         %res = OpVariable %_ptr_Function_v3half Function %19
                OpStore %arg_0 %16
-               OpStore %arg_1 %16
-               OpStore %arg_2 %16
-         %24 = OpLoad %v3half %arg_0
-         %25 = OpLoad %v3half %arg_1
-         %26 = OpLoad %v3half %arg_2
-         %22 = OpExtInst %v3half %23 SmoothStep %24 %25 %26
-               OpStore %res %22
+               OpStore %arg_1 %21
+               OpStore %arg_2 %24
+         %28 = OpLoad %v3half %arg_0
+         %29 = OpLoad %v3half %arg_1
+         %30 = OpLoad %v3half %arg_2
+         %26 = OpExtInst %v3half %27 SmoothStep %28 %29 %30
+               OpStore %res %26
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %28
-         %30 = OpLabel
-         %31 = OpFunctionCall %void %smoothstep_6e7a74
+%vertex_main_inner = OpFunction %v4float None %32
+         %34 = OpLabel
+         %35 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %33 = OpLabel
-         %34 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %34
+         %37 = OpLabel
+         %38 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %38
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %37 = OpLabel
-         %38 = OpFunctionCall %void %smoothstep_6e7a74
+         %41 = OpLabel
+         %42 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %40 = OpLabel
-         %41 = OpFunctionCall %void %smoothstep_6e7a74
+         %44 = OpLabel
+         %45 = OpFunctionCall %void %smoothstep_6e7a74
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.wgsl
index f8b0486..3e3ee0b 100644
--- a/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/6e7a74.wgsl.expected.wgsl
@@ -1,9 +1,9 @@
 enable f16;
 
 fn smoothstep_6e7a74() {
-  var arg_0 = vec3<f16>(1.0h);
-  var arg_1 = vec3<f16>(1.0h);
-  var arg_2 = vec3<f16>(1.0h);
+  var arg_0 = vec3<f16>(2.0h);
+  var arg_1 = vec3<f16>(4.0h);
+  var arg_2 = vec3<f16>(3.0h);
   var res : vec3<f16> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl
new file mode 100644
index 0000000..4eb41ec
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl
@@ -0,0 +1,46 @@
+// Copyright 2022 The Tint Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+////////////////////////////////////////////////////////////////////////////////
+// File generated by tools/src/cmd/gen
+// using the template:
+//   test/tint/builtins/gen/gen.wgsl.tmpl
+//
+// Do not modify this file directly
+////////////////////////////////////////////////////////////////////////////////
+
+
+// fn smoothstep(fa, fa, fa) -> fa
+fn smoothstep_a80fff() {
+  const arg_0 = 2.;
+  const arg_1 = 4.;
+  const arg_2 = 3.;
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_a80fff();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_a80fff();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_a80fff();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.dxc.hlsl
new file mode 100644
index 0000000..289e02d
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.dxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.fxc.hlsl
new file mode 100644
index 0000000..289e02d
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.fxc.hlsl
@@ -0,0 +1,30 @@
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value : SV_Position;
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return (0.0f).xxxx;
+}
+
+tint_symbol vertex_main() {
+  const float4 inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = (tint_symbol)0;
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+[numthreads(1, 1, 1)]
+void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.glsl
new file mode 100644
index 0000000..f046ecc
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.glsl
@@ -0,0 +1,49 @@
+#version 310 es
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+vec4 vertex_main() {
+  smoothstep_a80fff();
+  return vec4(0.0f);
+}
+
+void main() {
+  gl_PointSize = 1.0;
+  vec4 inner_result = vertex_main();
+  gl_Position = inner_result;
+  gl_Position.y = -(gl_Position.y);
+  gl_Position.z = ((2.0f * gl_Position.z) - gl_Position.w);
+  return;
+}
+#version 310 es
+precision mediump float;
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+void fragment_main() {
+  smoothstep_a80fff();
+}
+
+void main() {
+  fragment_main();
+  return;
+}
+#version 310 es
+
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+void compute_main() {
+  smoothstep_a80fff();
+}
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+void main() {
+  compute_main();
+  return;
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.msl
new file mode 100644
index 0000000..c5e9800
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.msl
@@ -0,0 +1,33 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void smoothstep_a80fff() {
+  float res = 0.5f;
+}
+
+struct tint_symbol {
+  float4 value [[position]];
+};
+
+float4 vertex_main_inner() {
+  smoothstep_a80fff();
+  return float4(0.0f);
+}
+
+vertex tint_symbol vertex_main() {
+  float4 const inner_result = vertex_main_inner();
+  tint_symbol wrapper_result = {};
+  wrapper_result.value = inner_result;
+  return wrapper_result;
+}
+
+fragment void fragment_main() {
+  smoothstep_a80fff();
+  return;
+}
+
+kernel void compute_main() {
+  smoothstep_a80fff();
+  return;
+}
+
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.spvasm
new file mode 100644
index 0000000..7e6be63
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.spvasm
@@ -0,0 +1,64 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 30
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
+               OpEntryPoint Fragment %fragment_main "fragment_main"
+               OpEntryPoint GLCompute %compute_main "compute_main"
+               OpExecutionMode %fragment_main OriginUpperLeft
+               OpExecutionMode %compute_main LocalSize 1 1 1
+               OpName %value "value"
+               OpName %vertex_point_size "vertex_point_size"
+               OpName %smoothstep_a80fff "smoothstep_a80fff"
+               OpName %res "res"
+               OpName %vertex_main_inner "vertex_main_inner"
+               OpName %vertex_main "vertex_main"
+               OpName %fragment_main "fragment_main"
+               OpName %compute_main "compute_main"
+               OpDecorate %value BuiltIn Position
+               OpDecorate %vertex_point_size BuiltIn PointSize
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+          %5 = OpConstantNull %v4float
+      %value = OpVariable %_ptr_Output_v4float Output %5
+%_ptr_Output_float = OpTypePointer Output %float
+          %8 = OpConstantNull %float
+%vertex_point_size = OpVariable %_ptr_Output_float Output %8
+       %void = OpTypeVoid
+          %9 = OpTypeFunction %void
+  %float_0_5 = OpConstant %float 0.5
+%_ptr_Function_float = OpTypePointer Function %float
+         %16 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
+%smoothstep_a80fff = OpFunction %void None %9
+         %12 = OpLabel
+        %res = OpVariable %_ptr_Function_float Function %8
+               OpStore %res %float_0_5
+               OpReturn
+               OpFunctionEnd
+%vertex_main_inner = OpFunction %v4float None %16
+         %18 = OpLabel
+         %19 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturnValue %5
+               OpFunctionEnd
+%vertex_main = OpFunction %void None %9
+         %21 = OpLabel
+         %22 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %22
+               OpStore %vertex_point_size %float_1
+               OpReturn
+               OpFunctionEnd
+%fragment_main = OpFunction %void None %9
+         %25 = OpLabel
+         %26 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturn
+               OpFunctionEnd
+%compute_main = OpFunction %void None %9
+         %28 = OpLabel
+         %29 = OpFunctionCall %void %smoothstep_a80fff
+               OpReturn
+               OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.wgsl
new file mode 100644
index 0000000..cc1c735
--- /dev/null
+++ b/test/tint/builtins/gen/var/smoothstep/a80fff.wgsl.expected.wgsl
@@ -0,0 +1,22 @@
+fn smoothstep_a80fff() {
+  const arg_0 = 2.0;
+  const arg_1 = 4.0;
+  const arg_2 = 3.0;
+  var res = smoothstep(arg_0, arg_1, arg_2);
+}
+
+@vertex
+fn vertex_main() -> @builtin(position) vec4<f32> {
+  smoothstep_a80fff();
+  return vec4<f32>();
+}
+
+@fragment
+fn fragment_main() {
+  smoothstep_a80fff();
+}
+
+@compute @workgroup_size(1)
+fn compute_main() {
+  smoothstep_a80fff();
+}
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl
index 4096afe..9230d9d 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl
@@ -23,9 +23,9 @@
 
 // fn smoothstep(vec<3, f32>, vec<3, f32>, vec<3, f32>) -> vec<3, f32>
 fn smoothstep_aad1db() {
-  var arg_0 = vec3<f32>(1.f);
-  var arg_1 = vec3<f32>(1.f);
-  var arg_2 = vec3<f32>(1.f);
+  var arg_0 = vec3<f32>(2.f);
+  var arg_1 = vec3<f32>(4.f);
+  var arg_2 = vec3<f32>(3.f);
   var res: vec3<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.dxc.hlsl
index 4e6c55c..b0326ae 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_aad1db() {
-  float3 arg_0 = (1.0f).xxx;
-  float3 arg_1 = (1.0f).xxx;
-  float3 arg_2 = (1.0f).xxx;
+  float3 arg_0 = (2.0f).xxx;
+  float3 arg_1 = (4.0f).xxx;
+  float3 arg_2 = (3.0f).xxx;
   float3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.fxc.hlsl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.fxc.hlsl
index 4e6c55c..b0326ae 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.fxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.fxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_aad1db() {
-  float3 arg_0 = (1.0f).xxx;
-  float3 arg_1 = (1.0f).xxx;
-  float3 arg_2 = (1.0f).xxx;
+  float3 arg_0 = (2.0f).xxx;
+  float3 arg_1 = (4.0f).xxx;
+  float3 arg_2 = (3.0f).xxx;
   float3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.glsl
index 632aa04..db5f26c 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.glsl
@@ -1,9 +1,9 @@
 #version 310 es
 
 void smoothstep_aad1db() {
-  vec3 arg_0 = vec3(1.0f);
-  vec3 arg_1 = vec3(1.0f);
-  vec3 arg_2 = vec3(1.0f);
+  vec3 arg_0 = vec3(2.0f);
+  vec3 arg_1 = vec3(4.0f);
+  vec3 arg_2 = vec3(3.0f);
   vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -24,9 +24,9 @@
 precision mediump float;
 
 void smoothstep_aad1db() {
-  vec3 arg_0 = vec3(1.0f);
-  vec3 arg_1 = vec3(1.0f);
-  vec3 arg_2 = vec3(1.0f);
+  vec3 arg_0 = vec3(2.0f);
+  vec3 arg_1 = vec3(4.0f);
+  vec3 arg_2 = vec3(3.0f);
   vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -41,9 +41,9 @@
 #version 310 es
 
 void smoothstep_aad1db() {
-  vec3 arg_0 = vec3(1.0f);
-  vec3 arg_1 = vec3(1.0f);
-  vec3 arg_2 = vec3(1.0f);
+  vec3 arg_0 = vec3(2.0f);
+  vec3 arg_1 = vec3(4.0f);
+  vec3 arg_2 = vec3(3.0f);
   vec3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.msl
index 08e89ff..c624c50 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_aad1db() {
-  float3 arg_0 = float3(1.0f);
-  float3 arg_1 = float3(1.0f);
-  float3 arg_2 = float3(1.0f);
+  float3 arg_0 = float3(2.0f);
+  float3 arg_1 = float3(4.0f);
+  float3 arg_2 = float3(3.0f);
   float3 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.spvasm
index 124b722..ba68fbd 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.spvasm
@@ -1,10 +1,10 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 40
+; Bound: 45
 ; Schema: 0
                OpCapability Shader
-         %22 = OpExtInstImport "GLSL.std.450"
+         %26 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -35,11 +35,16 @@
        %void = OpTypeVoid
           %9 = OpTypeFunction %void
     %v3float = OpTypeVector %float 3
-    %float_1 = OpConstant %float 1
-         %15 = OpConstantComposite %v3float %float_1 %float_1 %float_1
+    %float_2 = OpConstant %float 2
+         %15 = OpConstantComposite %v3float %float_2 %float_2 %float_2
 %_ptr_Function_v3float = OpTypePointer Function %v3float
          %18 = OpConstantNull %v3float
-         %27 = OpTypeFunction %v4float
+    %float_4 = OpConstant %float 4
+         %20 = OpConstantComposite %v3float %float_4 %float_4 %float_4
+    %float_3 = OpConstant %float 3
+         %23 = OpConstantComposite %v3float %float_3 %float_3 %float_3
+         %31 = OpTypeFunction %v4float
+    %float_1 = OpConstant %float 1
 %smoothstep_aad1db = OpFunction %void None %9
          %12 = OpLabel
       %arg_0 = OpVariable %_ptr_Function_v3float Function %18
@@ -47,34 +52,34 @@
       %arg_2 = OpVariable %_ptr_Function_v3float Function %18
         %res = OpVariable %_ptr_Function_v3float Function %18
                OpStore %arg_0 %15
-               OpStore %arg_1 %15
-               OpStore %arg_2 %15
-         %23 = OpLoad %v3float %arg_0
-         %24 = OpLoad %v3float %arg_1
-         %25 = OpLoad %v3float %arg_2
-         %21 = OpExtInst %v3float %22 SmoothStep %23 %24 %25
-               OpStore %res %21
+               OpStore %arg_1 %20
+               OpStore %arg_2 %23
+         %27 = OpLoad %v3float %arg_0
+         %28 = OpLoad %v3float %arg_1
+         %29 = OpLoad %v3float %arg_2
+         %25 = OpExtInst %v3float %26 SmoothStep %27 %28 %29
+               OpStore %res %25
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %27
-         %29 = OpLabel
-         %30 = OpFunctionCall %void %smoothstep_aad1db
+%vertex_main_inner = OpFunction %v4float None %31
+         %33 = OpLabel
+         %34 = OpFunctionCall %void %smoothstep_aad1db
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %32 = OpLabel
-         %33 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %33
+         %36 = OpLabel
+         %37 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %37
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %35 = OpLabel
-         %36 = OpFunctionCall %void %smoothstep_aad1db
+         %40 = OpLabel
+         %41 = OpFunctionCall %void %smoothstep_aad1db
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %38 = OpLabel
-         %39 = OpFunctionCall %void %smoothstep_aad1db
+         %43 = OpLabel
+         %44 = OpFunctionCall %void %smoothstep_aad1db
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.wgsl
index b8629a0..5151f51 100644
--- a/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/aad1db.wgsl.expected.wgsl
@@ -1,7 +1,7 @@
 fn smoothstep_aad1db() {
-  var arg_0 = vec3<f32>(1.0f);
-  var arg_1 = vec3<f32>(1.0f);
-  var arg_2 = vec3<f32>(1.0f);
+  var arg_0 = vec3<f32>(2.0f);
+  var arg_1 = vec3<f32>(4.0f);
+  var arg_2 = vec3<f32>(3.0f);
   var res : vec3<f32> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl
index 8d87efe..ecb985c 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl
@@ -25,9 +25,9 @@
 
 // fn smoothstep(vec<4, f16>, vec<4, f16>, vec<4, f16>) -> vec<4, f16>
 fn smoothstep_c43ebd() {
-  var arg_0 = vec4<f16>(1.h);
-  var arg_1 = vec4<f16>(1.h);
-  var arg_2 = vec4<f16>(1.h);
+  var arg_0 = vec4<f16>(2.h);
+  var arg_1 = vec4<f16>(4.h);
+  var arg_2 = vec4<f16>(3.h);
   var res: vec4<f16> = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.dxc.hlsl b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
index 1b61019..67dca92 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.dxc.hlsl
@@ -1,7 +1,7 @@
 void smoothstep_c43ebd() {
-  vector<float16_t, 4> arg_0 = (float16_t(1.0h)).xxxx;
-  vector<float16_t, 4> arg_1 = (float16_t(1.0h)).xxxx;
-  vector<float16_t, 4> arg_2 = (float16_t(1.0h)).xxxx;
+  vector<float16_t, 4> arg_0 = (float16_t(2.0h)).xxxx;
+  vector<float16_t, 4> arg_1 = (float16_t(4.0h)).xxxx;
+  vector<float16_t, 4> arg_2 = (float16_t(3.0h)).xxxx;
   vector<float16_t, 4> res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.glsl b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.glsl
index 88829c6..5ea049d 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.glsl
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.glsl
@@ -2,9 +2,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_c43ebd() {
-  f16vec4 arg_0 = f16vec4(1.0hf);
-  f16vec4 arg_1 = f16vec4(1.0hf);
-  f16vec4 arg_2 = f16vec4(1.0hf);
+  f16vec4 arg_0 = f16vec4(2.0hf);
+  f16vec4 arg_1 = f16vec4(4.0hf);
+  f16vec4 arg_2 = f16vec4(3.0hf);
   f16vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -26,9 +26,9 @@
 precision mediump float;
 
 void smoothstep_c43ebd() {
-  f16vec4 arg_0 = f16vec4(1.0hf);
-  f16vec4 arg_1 = f16vec4(1.0hf);
-  f16vec4 arg_2 = f16vec4(1.0hf);
+  f16vec4 arg_0 = f16vec4(2.0hf);
+  f16vec4 arg_1 = f16vec4(4.0hf);
+  f16vec4 arg_2 = f16vec4(3.0hf);
   f16vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
@@ -44,9 +44,9 @@
 #extension GL_AMD_gpu_shader_half_float : require
 
 void smoothstep_c43ebd() {
-  f16vec4 arg_0 = f16vec4(1.0hf);
-  f16vec4 arg_1 = f16vec4(1.0hf);
-  f16vec4 arg_2 = f16vec4(1.0hf);
+  f16vec4 arg_0 = f16vec4(2.0hf);
+  f16vec4 arg_1 = f16vec4(4.0hf);
+  f16vec4 arg_2 = f16vec4(3.0hf);
   f16vec4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.msl b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.msl
index aea4c1e..c135f33 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.msl
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.msl
@@ -2,9 +2,9 @@
 
 using namespace metal;
 void smoothstep_c43ebd() {
-  half4 arg_0 = half4(1.0h);
-  half4 arg_1 = half4(1.0h);
-  half4 arg_2 = half4(1.0h);
+  half4 arg_0 = half4(2.0h);
+  half4 arg_1 = half4(4.0h);
+  half4 arg_2 = half4(3.0h);
   half4 res = smoothstep(arg_0, arg_1, arg_2);
 }
 
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.spvasm b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.spvasm
index 74c9c93..03ee908 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.spvasm
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.spvasm
@@ -1,14 +1,14 @@
 ; SPIR-V
 ; Version: 1.3
 ; Generator: Google Tint Compiler; 0
-; Bound: 42
+; Bound: 46
 ; Schema: 0
                OpCapability Shader
                OpCapability Float16
                OpCapability UniformAndStorageBuffer16BitAccess
                OpCapability StorageBuffer16BitAccess
                OpCapability StorageInputOutput16
-         %23 = OpExtInstImport "GLSL.std.450"
+         %27 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Vertex %vertex_main "vertex_main" %value %vertex_point_size
                OpEntryPoint Fragment %fragment_main "fragment_main"
@@ -40,11 +40,15 @@
           %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_0x1p_1 = OpConstant %half 0x1p+1
+         %16 = OpConstantComposite %v4half %half_0x1p_1 %half_0x1p_1 %half_0x1p_1 %half_0x1p_1
 %_ptr_Function_v4half = OpTypePointer Function %v4half
          %19 = OpConstantNull %v4half
-         %28 = OpTypeFunction %v4float
+%half_0x1p_2 = OpConstant %half 0x1p+2
+         %21 = OpConstantComposite %v4half %half_0x1p_2 %half_0x1p_2 %half_0x1p_2 %half_0x1p_2
+%half_0x1_8p_1 = OpConstant %half 0x1.8p+1
+         %24 = OpConstantComposite %v4half %half_0x1_8p_1 %half_0x1_8p_1 %half_0x1_8p_1 %half_0x1_8p_1
+         %32 = OpTypeFunction %v4float
     %float_1 = OpConstant %float 1
 %smoothstep_c43ebd = OpFunction %void None %9
          %12 = OpLabel
@@ -53,34 +57,34 @@
       %arg_2 = OpVariable %_ptr_Function_v4half Function %19
         %res = OpVariable %_ptr_Function_v4half Function %19
                OpStore %arg_0 %16
-               OpStore %arg_1 %16
-               OpStore %arg_2 %16
-         %24 = OpLoad %v4half %arg_0
-         %25 = OpLoad %v4half %arg_1
-         %26 = OpLoad %v4half %arg_2
-         %22 = OpExtInst %v4half %23 SmoothStep %24 %25 %26
-               OpStore %res %22
+               OpStore %arg_1 %21
+               OpStore %arg_2 %24
+         %28 = OpLoad %v4half %arg_0
+         %29 = OpLoad %v4half %arg_1
+         %30 = OpLoad %v4half %arg_2
+         %26 = OpExtInst %v4half %27 SmoothStep %28 %29 %30
+               OpStore %res %26
                OpReturn
                OpFunctionEnd
-%vertex_main_inner = OpFunction %v4float None %28
-         %30 = OpLabel
-         %31 = OpFunctionCall %void %smoothstep_c43ebd
+%vertex_main_inner = OpFunction %v4float None %32
+         %34 = OpLabel
+         %35 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturnValue %5
                OpFunctionEnd
 %vertex_main = OpFunction %void None %9
-         %33 = OpLabel
-         %34 = OpFunctionCall %v4float %vertex_main_inner
-               OpStore %value %34
+         %37 = OpLabel
+         %38 = OpFunctionCall %v4float %vertex_main_inner
+               OpStore %value %38
                OpStore %vertex_point_size %float_1
                OpReturn
                OpFunctionEnd
 %fragment_main = OpFunction %void None %9
-         %37 = OpLabel
-         %38 = OpFunctionCall %void %smoothstep_c43ebd
+         %41 = OpLabel
+         %42 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturn
                OpFunctionEnd
 %compute_main = OpFunction %void None %9
-         %40 = OpLabel
-         %41 = OpFunctionCall %void %smoothstep_c43ebd
+         %44 = OpLabel
+         %45 = OpFunctionCall %void %smoothstep_c43ebd
                OpReturn
                OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.wgsl b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.wgsl
index 360a779..206abd4 100644
--- a/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.wgsl
+++ b/test/tint/builtins/gen/var/smoothstep/c43ebd.wgsl.expected.wgsl
@@ -1,9 +1,9 @@
 enable f16;
 
 fn smoothstep_c43ebd() {
-  var arg_0 = vec4<f16>(1.0h);
-  var arg_1 = vec4<f16>(1.0h);
-  var arg_2 = vec4<f16>(1.0h);
+  var arg_0 = vec4<f16>(2.0h);
+  var arg_1 = vec4<f16>(4.0h);
+  var arg_2 = vec4<f16>(3.0h);
   var res : vec4<f16> = smoothstep(arg_0, arg_1, arg_2);
 }