Scalar type in Vector is not added to the IR

[Napokue]

Converting this WGSL:

[[location 0]] var<in> a_pos : vec2<f32>;
[[location 0]] var<out> v_uv : vec2<f32>;

fn main_vert() -> void {
  v_uv = a_pos * a_pos;
  return;
}
entry_point vertex as "main" = main_vert;

To the following IR module (omitted most things):

types: Arena {
        data: [
            Type {
                name: None,
                inner: Vector {
                    size: Bi,
                    kind: Float,
                    width: 32,
                },
            },
        ],
    },

As you can see, the Float scalar is not created, the SPIR-V back-end has to check if the scalar type already exists, if not, create it.

The reason the quad.wgsl works, is because at the top of the file is the following line declared:
const c_scale: f32 = 1.2;

This causes the front-end to create the Float scalar for the Vectors that need this.

[Napokue]

Talked with @kvark at Matrix about this, the problems needs to be fixed in the back-ends. The back-end has to check if the scalar type is available, if not, create it.

[kvark]

More specifically, it's a problem with SPIR-V backend. I don't think anything else need to adjust for this.

[pjoe]

Also ran into this using glsl frontend

[pjoe]

Wondering if this would cause issues for other backends too? Maybe we should have things like this handle in middle-out - ehh middle-end 😄

[Napokue]

Fixed in #88, closing issue.