[glsl-in] set initializer of local variables

src/front/glsl/parser/declarations.rs

@@ -251,8 +251,7 @@ impl<'source> ParsingContext<'source> {
             } else if ctx.external {
                 init.and_then(|expr| ctx.ctx.lift_up_const_expression(expr).ok())
             } else {
-                None
-                // init.filter(|expr| ctx.ctx.expressions.is_const(*expr))
+                init.filter(|expr| ctx.ctx.expressions.is_const(*expr))
             };
 
             let pointer = ctx.add_var(frontend, ty, name, maybe_const_expr, meta)?;

tests/out/wgsl/246-collatz-comp.wgsl

@@ -8,11 +8,10 @@ var<private> gl_GlobalInvocationID: vec3<u32>;
 
 fn collatz_iterations(n: u32) -> u32 {
     var n_1: u32;
-    var i: u32;
+    var i: u32 = 0u;
 
     _ = (&global.indices);
     n_1 = n;
-    i = 0u;
     loop {
         let _e7 = n_1;
         if !((_e7 != 1u)) {

tests/out/wgsl/277-casting-frag.wgsl

@@ -1,7 +1,6 @@
 fn main_1() {
-    var a: f32;
+    var a: f32 = 1.0;
 
-    a = 1.0;
     return;
 }
 

tests/out/wgsl/280-matrix-cast-frag.wgsl

@@ -1,8 +1,7 @@
 fn main_1() {
-    var a: mat4x4<f32>;
+    var a: mat4x4<f32> = mat4x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0), vec4<f32>(0.0, 0.0, 1.0, 0.0), vec4<f32>(0.0, 0.0, 0.0, 1.0));
 
-    a = mat4x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0), vec4<f32>(0.0, 0.0, 1.0, 0.0), vec4<f32>(0.0, 0.0, 0.0, 1.0));
-    return;
+    _ = mat4x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0), vec4<f32>(0.0, 0.0, 1.0, 0.0), vec4<f32>(0.0, 0.0, 0.0, 1.0));
 }
 
 @fragment 

tests/out/wgsl/901-lhs-field-select-frag.wgsl

@@ -1,7 +1,7 @@
 fn main_1() {
-    var a: vec4<f32>;
+    var a: vec4<f32> = vec4(1.0);
 
-    a = vec4(1.0);
+    _ = vec4(1.0);
     a.x = 2.0;
     return;
 }

tests/out/wgsl/932-for-loop-if-frag.wgsl

@@ -1,7 +1,6 @@
 fn main_1() {
-    var i: i32;
+    var i: i32 = 0;
 
-    i = 0;
     loop {
         let _e2 = i;
         if !((_e2 < 1)) {

tests/out/wgsl/bevy-pbr-frag.wgsl

@@ -452,8 +452,8 @@ fn EnvBRDFApprox(f0_7: vec3<f32>, perceptual_roughness: f32, NoV_6: f32) -> vec3
     var f0_8: vec3<f32>;
     var perceptual_roughness_1: f32;
     var NoV_7: f32;
-    var c0_: vec4<f32>;
-    var c1_: vec4<f32>;
+    var c0_: vec4<f32> = vec4<f32>(-1.0, -0.0275, -0.572, 0.022);
+    var c1_: vec4<f32> = vec4<f32>(1.0, 0.0425, 1.04, -0.04);
     var r: vec4<f32>;
     var a004_: f32;
     var AB: vec2<f32>;
@@ -472,8 +472,8 @@ fn EnvBRDFApprox(f0_7: vec3<f32>, perceptual_roughness: f32, NoV_6: f32) -> vec3
     f0_8 = f0_7;
     perceptual_roughness_1 = perceptual_roughness;
     NoV_7 = NoV_6;
-    c0_ = vec4<f32>(-1.0, -0.0275, -0.572, 0.022);
-    c1_ = vec4<f32>(1.0, 0.0425, 1.04, -0.04);
+    _ = vec4<f32>(-1.0, -0.0275, -0.572, 0.022);
+    _ = vec4<f32>(1.0, 0.0425, 1.04, -0.04);
     let _e62 = perceptual_roughness_1;
     let _e64 = c0_;
     let _e66 = c1_;
@@ -943,7 +943,7 @@ fn dir_light(light_2: DirectionalLight, roughness_10: f32, NdotV_2: f32, normal:
     var NoH_5: f32;
     var LoH_7: f32;
     var diffuse_1: vec3<f32>;
-    var specularIntensity_3: f32;
+    var specularIntensity_3: f32 = 1.0;
     var specular_2: vec3<f32>;
 
     _ = (&global.ViewProj);
@@ -1014,7 +1014,6 @@ fn dir_light(light_2: DirectionalLight, roughness_10: f32, NdotV_2: f32, normal:
     let _e124 = LoH_7;
     let _e125 = Fd_Burley(_e121, _e122, _e123, _e124);
     diffuse_1 = (_e116 * _e125);
-    specularIntensity_3 = 1.0;
     _ = F0_3;
     _ = roughness_11;
     _ = half_vector;
@@ -1060,9 +1059,9 @@ fn main_1() {
     var F0_4: vec3<f32>;
     var diffuseColor_4: vec3<f32>;
     var R_4: vec3<f32>;
-    var light_accum: vec3<f32>;
-    var i: i32;
-    var i_1: i32;
+    var light_accum: vec3<f32> = vec3(0.0);
+    var i: i32 = 0;
+    var i_1: i32 = 0;
     var diffuse_ambient: vec3<f32>;
     var specular_ambient: vec3<f32>;
 
@@ -1191,8 +1190,7 @@ fn main_1() {
     let _e217 = V_3;
     let _e219 = N_2;
     R_4 = reflect(-(_e217), _e219);
-    light_accum = vec3(0.0);
-    i = 0;
+    _ = vec3(0.0);
     loop {
         let _e227 = i;
         let _e228 = global_2.NumLights;
@@ -1228,7 +1226,6 @@ fn main_1() {
             i = (_e236 + 1);
         }
     }
-    i_1 = 0;
     loop {
         let _e264 = i_1;
         let _e265 = global_2.NumLights;

tests/out/wgsl/bits_glsl-frag.wgsl

@@ -1,25 +1,23 @@
 fn main_1() {
-    var i: i32;
-    var i2_: vec2<i32>;
-    var i3_: vec3<i32>;
-    var i4_: vec4<i32>;
-    var u: u32;
-    var u2_: vec2<u32>;
-    var u3_: vec3<u32>;
-    var u4_: vec4<u32>;
-    var f2_: vec2<f32>;
-    var f4_: vec4<f32>;
+    var i: i32 = 0;
+    var i2_: vec2<i32> = vec2(0);
+    var i3_: vec3<i32> = vec3(0);
+    var i4_: vec4<i32> = vec4(0);
+    var u: u32 = 0u;
+    var u2_: vec2<u32> = vec2(0u);
+    var u3_: vec3<u32> = vec3(0u);
+    var u4_: vec4<u32> = vec4(0u);
+    var f2_: vec2<f32> = vec2(0.0);
+    var f4_: vec4<f32> = vec4(0.0);
 
-    i = 0;
-    i2_ = vec2(0);
-    i3_ = vec3(0);
-    i4_ = vec4(0);
-    u = 0u;
-    u2_ = vec2(0u);
-    u3_ = vec3(0u);
-    u4_ = vec4(0u);
-    f2_ = vec2(0.0);
-    f4_ = vec4(0.0);
+    _ = vec2(0);
+    _ = vec3(0);
+    _ = vec4(0);
+    _ = vec2(0u);
+    _ = vec3(0u);
+    _ = vec4(0u);
+    _ = vec2(0.0);
+    _ = vec4(0.0);
     _ = f4_;
     let _e33 = f4_;
     u = pack4x8snorm(_e33);

tests/out/wgsl/constant-array-size-frag.wgsl

@@ -8,11 +8,10 @@ const NUM_VECS: i32 = 42;
 var<uniform> global: Data;
 
 fn function() -> vec4<f32> {
-    var sum: vec4<f32>;
-    var i: i32;
+    var sum: vec4<f32> = vec4(0.0);
+    var i: i32 = 0;
 
-    sum = vec4(0.0);
-    i = 0;
+    _ = vec4(0.0);
     loop {
         let _e9 = i;
         if !((_e9 < NUM_VECS)) {

tests/out/wgsl/declarations-frag.wgsl

@@ -28,8 +28,8 @@ var<private> array_2d: array<array<f32, 2>, 2>;
 var<private> array_toomanyd: array<array<array<array<array<array<array<f32, 2>, 2>, 2>, 2>, 2>, 2>, 2>;
 
 fn main_1() {
-    var positions: array<vec3<f32>, 2>;
-    var strct: TestStruct;
+    var positions: array<vec3<f32>, 2> = array<vec3<f32>, 2>(vec3<f32>(-1.0, 1.0, 0.0), vec3<f32>(-1.0, -1.0, 0.0));
+    var strct: TestStruct = TestStruct(1.0, 2.0);
     var from_input_array: vec4<f32>;
     var a_1: f32;
     var b: f32;
@@ -38,8 +38,8 @@ fn main_1() {
     _ = (&vert.a);
     _ = (&frag.position);
     _ = (&frag.a);
-    positions = array<vec3<f32>, 2>(vec3<f32>(-1.0, 1.0, 0.0), vec3<f32>(-1.0, -1.0, 0.0));
-    strct = TestStruct(1.0, 2.0);
+    _ = array<vec3<f32>, 2>(vec3<f32>(-1.0, 1.0, 0.0), vec3<f32>(-1.0, -1.0, 0.0));
+    _ = TestStruct(1.0, 2.0);
     let _e35 = in_array_2[1];
     from_input_array = _e35;
     let _e41 = array_2d[0][0];

tests/out/wgsl/expressions-frag.wgsl

@@ -280,36 +280,31 @@ fn testUnaryOpMat(a_16: mat3x3<f32>) {
 }
 
 fn testStructConstructor() {
-    var tree: BST;
+    var tree: BST = BST(1);
 
-    tree = BST(1);
-    return;
+    _ = BST(1);
 }
 
 fn testNonScalarToScalarConstructor() {
-    var f: f32;
+    var f: f32 = 1.0;
 
     _ = mat2x2<f32>(vec2<f32>(1.0, 0.0), vec2<f32>(0.0, 1.0));
-    f = 1.0;
-    return;
 }
 
 fn testArrayConstructor() {
-    var tree_1: array<f32, 1>;
+    var tree_1: array<f32, 1> = array<f32, 1>(0.0);
 
-    tree_1 = array<f32, 1>(0.0);
-    return;
+    _ = array<f32, 1>(0.0);
 }
 
 fn testFreestandingConstructor() {
     return;
 }
 
 fn testNonImplicitCastVectorCast() {
-    var a_18: u32;
+    var a_18: u32 = 1u;
     var b_16: vec4<i32>;
 
-    a_18 = 1u;
     let _e3 = a_18;
     b_16 = vec4(i32(_e3));
     return;
@@ -394,13 +389,11 @@ fn testLength() {
 
 fn testConstantLength(a_24: array<f32, 4>) {
     var a_25: array<f32, 4>;
-    var len_1: i32;
+    var len_1: i32 = 4;
 
     _ = (&global_1.a);
     a_25 = a_24;
     _ = a_25;
-    len_1 = 4;
-    return;
 }
 
 fn indexConstantNonConstantIndex(i: i32) {

tests/out/wgsl/long-form-matrix-frag.wgsl

@@ -1,36 +1,35 @@
 fn main_1() {
-    var splat: mat2x2<f32>;
-    var normal: mat2x2<f32>;
-    var from_matrix: mat2x4<f32>;
-    var a: mat2x2<f32>;
-    var b: mat2x2<f32>;
-    var c: mat3x3<f32>;
-    var d: mat3x3<f32>;
-    var e: mat4x4<f32>;
+    var splat: mat2x2<f32> = mat2x2<f32>(vec2<f32>(1.0, 0.0), vec2<f32>(0.0, 1.0));
+    var normal: mat2x2<f32> = mat2x2<f32>(vec2<f32>(1.0, 1.0), vec2<f32>(2.0, 2.0));
+    var from_matrix: mat2x4<f32> = mat2x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0));
+    var a: mat2x2<f32> = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
+    var b: mat2x2<f32> = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
+    var c: mat3x3<f32> = mat3x3<f32>(vec3<f32>(1.0, 2.0, 3.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
+    var d: mat3x3<f32> = mat3x3<f32>(vec3<f32>(2.0, 2.0, 1.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
+    var e: mat4x4<f32> = mat4x4<f32>(vec4<f32>(2.0, 2.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 2.0, 2.0), vec4<f32>(1.0, 1.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 1.0, 1.0));
 
-    splat = mat2x2<f32>(vec2<f32>(1.0, 0.0), vec2<f32>(0.0, 1.0));
+    _ = mat2x2<f32>(vec2<f32>(1.0, 0.0), vec2<f32>(0.0, 1.0));
     _ = vec2(1.0);
     _ = vec2(2.0);
-    normal = mat2x2<f32>(vec2<f32>(1.0, 1.0), vec2<f32>(2.0, 2.0));
+    _ = mat2x2<f32>(vec2<f32>(1.0, 1.0), vec2<f32>(2.0, 2.0));
     _ = mat3x3<f32>(vec3<f32>(1.0, 0.0, 0.0), vec3<f32>(0.0, 1.0, 0.0), vec3<f32>(0.0, 0.0, 1.0));
-    from_matrix = mat2x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0));
-    a = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
+    _ = mat2x4<f32>(vec4<f32>(1.0, 0.0, 0.0, 0.0), vec4<f32>(0.0, 1.0, 0.0, 0.0));
+    _ = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
     _ = vec2<f32>(2.0, 3.0);
-    b = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
+    _ = mat2x2<f32>(vec2<f32>(1.0, 2.0), vec2<f32>(3.0, 4.0));
     _ = vec3(1.0);
     _ = vec3(1.0);
-    c = mat3x3<f32>(vec3<f32>(1.0, 2.0, 3.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
+    _ = mat3x3<f32>(vec3<f32>(1.0, 2.0, 3.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
     _ = vec2(2.0);
     _ = vec3(1.0);
     _ = vec3(1.0);
-    d = mat3x3<f32>(vec3<f32>(2.0, 2.0, 1.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
+    _ = mat3x3<f32>(vec3<f32>(2.0, 2.0, 1.0), vec3<f32>(1.0, 1.0, 1.0), vec3<f32>(1.0, 1.0, 1.0));
     _ = vec2(2.0);
     _ = vec4(1.0);
     _ = vec2(2.0);
     _ = vec4(1.0);
     _ = vec4(1.0);
-    e = mat4x4<f32>(vec4<f32>(2.0, 2.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 2.0, 2.0), vec4<f32>(1.0, 1.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 1.0, 1.0));
-    return;
+    _ = mat4x4<f32>(vec4<f32>(2.0, 2.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 2.0, 2.0), vec4<f32>(1.0, 1.0, 1.0, 1.0), vec4<f32>(1.0, 1.0, 1.0, 1.0));
 }
 
 @fragment 

tests/out/wgsl/math-functions-frag.wgsl

@@ -1,8 +1,8 @@
 fn main_1() {
-    var a: vec4<f32>;
-    var b: vec4<f32>;
+    var a: vec4<f32> = vec4(1.0);
+    var b: vec4<f32> = vec4(2.0);
     var m: mat4x4<f32>;
-    var i: i32;
+    var i: i32 = 5;
     var ceilOut: vec4<f32>;
     var roundOut: vec4<f32>;
     var floorOut: vec4<f32>;
@@ -48,14 +48,13 @@ fn main_1() {
     var smoothStepVector: vec4<f32>;
     var smoothStepMixed: vec4<f32>;
 
-    a = vec4(1.0);
-    b = vec4(2.0);
+    _ = vec4(1.0);
+    _ = vec4(2.0);
     let _e6 = a;
     let _e7 = b;
     let _e8 = a;
     let _e9 = b;
     m = mat4x4<f32>(vec4<f32>(_e6.x, _e6.y, _e6.z, _e6.w), vec4<f32>(_e7.x, _e7.y, _e7.z, _e7.w), vec4<f32>(_e8.x, _e8.y, _e8.z, _e8.w), vec4<f32>(_e9.x, _e9.y, _e9.z, _e9.w));
-    i = 5;
     _ = a;
     let _e35 = a;
     ceilOut = ceil(_e35);

tests/out/wgsl/prepostfix-frag.wgsl

@@ -1,28 +1,27 @@
 fn main_1() {
     var scalar_target: i32;
-    var scalar: i32;
+    var scalar: i32 = 1;
     var vec_target: vec2<u32>;
-    var vec: vec2<u32>;
+    var vec: vec2<u32> = vec2(1u);
     var mat_target: mat4x3<f32>;
-    var mat: mat4x3<f32>;
+    var mat: mat4x3<f32> = mat4x3<f32>(vec3<f32>(1.0, 0.0, 0.0), vec3<f32>(0.0, 1.0, 0.0), vec3<f32>(0.0, 0.0, 1.0), vec3<f32>(0.0, 0.0, 0.0));
 
-    scalar = 1;
     let _e3 = scalar;
     scalar = (_e3 + 1);
     scalar_target = _e3;
     let _e6 = scalar;
     let _e8 = (_e6 - 1);
     scalar = _e8;
     scalar_target = _e8;
-    vec = vec2(1u);
+    _ = vec2(1u);
     let _e14 = vec;
     vec = (_e14 - vec2(1u));
     vec_target = _e14;
     let _e18 = vec;
     let _e21 = (_e18 + vec2(1u));
     vec = _e21;
     vec_target = _e21;
-    mat = mat4x3<f32>(vec3<f32>(1.0, 0.0, 0.0), vec3<f32>(0.0, 1.0, 0.0), vec3<f32>(0.0, 0.0, 1.0), vec3<f32>(0.0, 0.0, 0.0));
+    _ = mat4x3<f32>(vec3<f32>(1.0, 0.0, 0.0), vec3<f32>(0.0, 1.0, 0.0), vec3<f32>(0.0, 0.0, 1.0), vec3<f32>(0.0, 0.0, 0.0));
     let _e32 = mat;
     let _e34 = vec3(1.0);
     mat = (_e32 + mat4x3<f32>(_e34, _e34, _e34, _e34));

tests/out/wgsl/sampler-functions-frag.wgsl

@@ -1,9 +1,8 @@
 fn CalcShadowPCF1_(T_P_t_TextureDepth: texture_depth_2d, S_P_t_TextureDepth: sampler_comparison, t_ProjCoord: vec3<f32>) -> f32 {
     var t_ProjCoord_1: vec3<f32>;
-    var t_Res: f32;
+    var t_Res: f32 = 0.0;
 
     t_ProjCoord_1 = t_ProjCoord;
-    t_Res = 0.0;
     let _e6 = t_Res;
     let _e7 = t_ProjCoord_1;
     _ = _e7.xyz;