Naga const validation failures (bin op)

[ecoricemon]

Description
Naga const evaluator does not correctly handle binary comparisons, divisions by zero, and short circuiting.

Examples

1. Binary comparisons

const lhs = false;
const rhs = false;
const foo = lhs > rhs; // Expected validation error

Relevant CTS: webgpu:shader,validation,expression,binary,comparison:*

I'll fix this soon

2. Divisions by zero

fn f() {
  var v = 1;
  v /= 0; // Expected validation error
}

Relevant CTS: webgpu:shader,validation,expression,binary,div_rem:*

3. Short circuiting

const lhs = false;
const rhs = vec2(false, false);
const foo = lhs && rhs; // Expected validation error

Relevant CTS: webgpu:shader,validation,expression,binary,short_circuiting_and_or:*

4. And, Or operations on bool (not short-circuiting)

const lhs = false;
const rhs = false;
const foo : bool = lhs | rhs; // Unexpected validation error

Relevant CTS: webgpu:shader,validation,expression,binary,and_or_xor:*

I'll fix this soon

[andyleiserson]

Item 2 is #4385 and item 3 is #6302.

Fixing division by zero might not be too bad, but note that there's also a runtime division by zero behavior we need to make sure we get right.

Fixing the short circuit problem we think is harder, although, I missed seeing your solution to #5474 when I wrote #5474 (comment), so just because I'm saying it's hard, doesn't mean it is 😄.