wgsl: Execution tests, constructors

[dj2]

Identity constructors

• [ ] bool(true)
• [ ] bool(false)
• [ ] let a = true; bool(a);
• [ ] i32(-2147483648)
• [ ] i32(2147483647)
• [ ] i32(0)
• [ ] let a = 123; i32(a);
• [ ] u32(0)
• [ ] u32(4294967295)
• [ ] let a = 123u; u32(a);
• [ ] f32(-0.0)
• [ ] f32(0.0)
• [ ] f32(<float min>)
• [ ] f32(<float max>)
• [ ] let a = 1.0; f32(a);
• [ ] f16(0.0)
• [ ] f16(-0.0)
• [ ] f16(<f16 min>)
• [ ] f16(<f16 max>)
• [ ] let a = 1.0h; f16(a);

Vector constructors

• [ ] vec{2,3,4}(1{i, u, f, h, AbstractInt, AbstractFloat})
• [ ] vec{2,3,4}<{i32, u32, f32, f16}>(1)
• [ ] const a = 1{i, u, f, h, AbstractInt, AbstractFloat}; vec{2, 3, 4}(a++) -- each value should be 2
• [ ] const a = 1; vec{2, 3, 4}<{i32, u32, f32, f16}>(a++) -- each value should be 2
• [ ] For each constructor listed test for each of {i32, u32, f32, f16, AbstractInt, AbstractFloat}

Matrix constructors

• [ ] For each constructor listed, test for {f16, f32, AbstractFloat}
• [ ] For the matrix constructors, pass 2, 3, 5, 7, 10, 11, 12, 13, 14, 15, 17 parameters
• [ ] For the matrix constructors, pass mixed size column values (T, vec2), (vec3, vec2), etc for various combinations

Array constructors

• [ ] array<T, 5>(1, 2, 3, 4, 5) for each value of T
• [ ] array<T, 5>(1) fails
• [ ] array<T, 5>(1, 2, 3, 4, 5, 6) fails

Struct constructors

• [ ] Struct with each value listed
• [ ] Struct skipping values fails
• [ ] Struct with too many values fails
• [ ] Struct short values fails

Zero values

• [ ] bool() is false

• [ ] i32() is 0

• [ ] u32() is 0

• [ ] f32() is 0.0

• [ ] f16() is 0.0

• [ ] vec{2, 3, 4}<T>() is 0 value for T

• [ ] mat{2,3,4}x{2,3,4}<{f16, f32}>() is 0.0 for all cells

• [ ] array<T, 5>() is 0 value for T

• [ ] struct A{}; A() is 0 value for each field of A

• [ ] array<T>() -- fails, no zero value for runtime array

• [ ] Other non-constructable types fail as zero value initializers

• https://www.w3.org/TR/WGSL/#construction-from-components

[dj2]

This seems covered by the https://github.com/gpuweb/cts/blob/main/src/webgpu/shader/execution/expression/constructor/zero_value.spec.ts and https://github.com/gpuweb/cts/blob/main/src/webgpu/shader/execution/expression/constructor/non_zero.spec.ts tests.