🏡 index : cold-air-networks/mirror-webgpu-cts.git

const builtin = 'refract';
export const description = `
Validation tests for the ${builtin}() builtin.
`;
import { makeTestGroup } from '../../../../../../common/framework/test_group.js';
import { keysOf, objectsToRecord } from '../../../../../../common/util/data_tables.js';
import {
  Type,
  kConvertableToFloatVectors,
  scalarTypeOf,
  ScalarType,
} from '../../../../../util/conversion.js';
import {
  QuantizeFunc,
  quantizeToF16,
  quantizeToF32,
  isSubnormalNumberF16,
  isSubnormalNumberF32,
} from '../../../../../util/math.js';
import { ShaderValidationTest } from '../../../shader_validation_test.js';

import {
  ConstantOrOverrideValueChecker,
  fullRangeForType,
  kConstantAndOverrideStages,
  stageSupportsType,
  validateConstOrOverrideBuiltinEval,
} from './const_override_validation.js';

export const g = makeTestGroup(ShaderValidationTest);

const kValidArgumentTypes = objectsToRecord(kConvertableToFloatVectors);

function quantizeFunctionForScalarType(type: ScalarType): QuantizeFunc<number> {
  switch (type) {
    case Type.f32:
      return quantizeToF32;
    case Type.f16:
      return quantizeToF16;
    default:
      return (v: number) => v;
  }
}

function isSubnormalFunctionForScalarType(type: ScalarType): (v: number) => boolean {
  switch (type) {
    case Type.f32:
      return isSubnormalNumberF32;
    case Type.f16:
      return isSubnormalNumberF16;
    default:
      return (v: number) => false;
  }
}

g.test('values')
  .desc(
    `
Validates that constant evaluation and override evaluation of ${builtin}() only errors in cases
where a the calculations result in a non-representable value for the given type.
`
  )
  .params(u =>
    u
      .combine('stage', kConstantAndOverrideStages)
      .combine('type', keysOf(kValidArgumentTypes))
      .filter(u => stageSupportsType(u.stage, kValidArgumentTypes[u.type]))
      .beginSubcases()
      .expand('a', u => fullRangeForType(kValidArgumentTypes[u.type], 5))
      .expand('b', u => fullRangeForType(kValidArgumentTypes[u.type], 5))
      .expand('c', u => fullRangeForType(kValidArgumentTypes[u.type], 5))
  )
  .fn(t => {
    const type = kValidArgumentTypes[t.params.type];
    const scalarType = scalarTypeOf(kValidArgumentTypes[t.params.type]);
    const vCheck = new ConstantOrOverrideValueChecker(t, scalarType);

    // Refract equation:
    //   let k = 1.0 - c * c * (1.0 - dot(b, a) * dot(b, a))
    //   if (k < 0.0) { return vecN(0.0); }
    //   return c * a - (c * dot(b, a) + sqrt(k)) * b
    // Should be invalid if the calculations result in intermediate values that
    // exceed the maximum representable float value for the given type.
    const a = Number(t.params.a);
    const b = Number(t.params.b);
    const c = Number(t.params.c);

    const b_dot_a = vCheck.checkedResult(b * a * type.width);
    const b_dot_a_2 = vCheck.checkedResult(b_dot_a * b_dot_a);
    const one_minus_b_dot_a_2 = vCheck.checkedResult(1.0 - b_dot_a_2);
    const c2 = vCheck.checkedResult(c * c);
    const c2_one_minus_b_dot_a_2 = vCheck.checkedResult(c2 * one_minus_b_dot_a_2);
    const k = vCheck.checkedResult(1.0 - c2_one_minus_b_dot_a_2);

    const quantizeFn = quantizeFunctionForScalarType(scalarType);
    const isSubnormalFn = isSubnormalFunctionForScalarType(scalarType);
    // We skip tests with values that would involve subnormal computations in
    // order to avoid defining a specific behavior (flush to zero).
    t.skipIf(
      isSubnormalFn(quantizeFn(b_dot_a)) ||
        isSubnormalFn(quantizeFn(b_dot_a_2)) ||
        isSubnormalFn(quantizeFn(c2)) ||
        isSubnormalFn(quantizeFn(k))
    );

    if (k >= 0) {
      // If the k is near zero it may fail on some implementations which implement sqrt as
      // 1/inversesqrt, so skip the test.
      if (vCheck.isNearZero(k)) {
        t.skip(`K value, ${k}, is at or near 0.`);
      }

      const ca = vCheck.checkedResult(c * a);
      const cbda = vCheck.checkedResult(c * b_dot_a);
      const sqrt_k = vCheck.checkedResult(Math.sqrt(k));
      const cdba_sqrt_k = vCheck.checkedResult(cbda + sqrt_k);
      const cdba_sqrt_k_b = vCheck.checkedResult(cdba_sqrt_k * b);
      vCheck.checkedResult(ca - cdba_sqrt_k_b);
    }

    // Validates refract(vecN(a), vecN(b), c);
    validateConstOrOverrideBuiltinEval(
      t,
      builtin,
      vCheck.allChecksPassed(),
      [type.create(t.params.a), type.create(t.params.b), scalarType.create(t.params.c)],
      t.params.stage
    );
  });

const kValidArgs = {
  vec2f: '(vec2(0), vec2(1), 2.0)',
  vec3f: '(vec3(0), vec3(1), 2.0)',
  vec4f: '(vec4(0), vec4(1), 2.0)',
};

const kArgCases = {
  ...kValidArgs,
  bad_no_parens: '',
  // Bad number of args
  bad_0args: '()',
  bad_1arg: '(vec3(0))',
  bad_2arg: '(vec3(0), vec3(1))',
  bad_3arg: '(vec3(0), vec3(1), 2.0, vec3(3))',
  // Mismatched vec sizes
  bad_vec2_vec3: '(vec2(0), vec3(1), 2.0)',
  bad_vec3_vec4: '(vec3(0), vec4(1), 2.0)',
  bad_vec4_vec2: '(vec4(0), vec2(1), 2.0)',
  // Bad value for arg 0
  bad_0bool: '(false, vec3(1), 2.0)',
  bad_0array: '(array(1.1,2.2), vec3(1), 2.0)',
  bad_0struct: '(modf(2.2), vec3(1), 2.0)',
  bad_0int: '(0i, vec3(1), 2.0)',
  bad_0uint: '(0u, vec3(1), 2.0)',
  bad_0f32: '(0.0, vec3(1), 2.0)',
  bad_0f16: '(0.0h, vec3(1), 2.0)',
  bad_0veci: '(vec3i(0), vec3(1), 2.0)',
  bad_0vecu: '(vec3u(0), vec3(1), 2.0)',
  // Bad value type for arg 1
  bad_1bool: '(vec3(0), true, 2.0)',
  bad_1array: '(vec3(0), array(1.1,2.2), 2.0)',
  bad_1struct: '(vec3(0), modf(2.2), 2.0)',
  bad_1int: '(vec3(0), 1i, 2.0)',
  bad_1uint: '(vec3(0), 1u, 2.0)',
  bad_1f32: '(vec3(0), 1.0, 2.0)',
  bad_1f16: '(vec3(0), 1.0h, 2.0)',
  bad_1veci: '(vec3(0), vec3i(1), 2.0)',
  bad_1vecu: '(vec3(0), vec3u(1), 2.0)',
  // Bad value type for arg 2
  bad_2bool: '(vec3(0), vec3(1), true)',
  bad_2array: '(vec3(0), vec3(1), array(1.1,2.2))',
  bad_2struct: '(vec3(0), vec3(1), modf(2.2))',
  bad_2int: '(vec3(0), vec3(1), 2i)',
  bad_2uint: '(vec3(0), vec3(1), 2u)',
  bad_2veci: '(vec3(0), vec3(1), vec3i(2))',
  bad_2vecu: '(vec3(0), vec3(1), vec3u(2))',
  bad_2vecf: '(vec3(0), vec3(1), vec3f(2))',
  bad_2vech: '(vec3(0), vec3(1), vec3h(2))',
};

g.test('args')
  .desc(`Test compilation failure of ${builtin} with variously shaped and typed arguments`)
  .params(u => u.combine('arg', keysOf(kArgCases)))
  .fn(t => {
    t.expectCompileResult(
      t.params.arg in kValidArgs,
      `const c = ${builtin}${kArgCases[t.params.arg]};`
    );
  });

g.test('return')
  .desc(`Test ${builtin} return value type`)
  .params(u =>
    u
      .combine('arg', keysOf(kValidArgs))
      .combine('returnType', [...keysOf(kValidArgs), 'vec3u', 'vec3i', 'u32', 'i32', 'f32', 'bool'])
  )
  .fn(t => {
    t.expectCompileResult(
      t.params.returnType === t.params.arg,
      `const c: ${t.params.returnType} = ${builtin}${kValidArgs[t.params.arg]};`
    );
  });

g.test('must_use')
  .desc(`Result of ${builtin} must be used`)
  .params(u => u.combine('arg', keysOf(kValidArgs)).combine('use', [true, false]))
  .fn(t => {
    const use_it = t.params.use ? '_ = ' : '';
    t.expectCompileResult(
      t.params.use,
      `fn f() { ${use_it}${builtin}${kValidArgs[t.params.arg]}; }`
    );
  });