export const description = `
Validation tests for various texture types in shaders.
`;

import { makeTestGroup } from '../../../../common/framework/test_group.js';
import {
  getTextureFormatType,
  isTextureFormatUsableAsStorageFormatInCreateShaderModule,
  kAllTextureFormats,
  kPossibleStorageTextureFormats,
} from '../../../format_info.js';
import { getPlainTypeInfo } from '../../../util/shader.js';
import { ShaderValidationTest } from '../shader_validation_test.js';

export const g = makeTestGroup(ShaderValidationTest);

g.test('texel_formats')
  .desc(
    'Test channels and channel format of various texel formats when using as the storage texture format'
  )
  .params(u =>
    u
      .combine('format', kPossibleStorageTextureFormats)
      .beginSubcases()
      .combine('shaderScalarType', ['f32', 'u32', 'i32', 'bool', 'f16'] as const)
  )
  .fn(t => {
    const { format, shaderScalarType } = t.params;
    t.skipIfTextureFormatNotSupported(format);
    t.skipIfTextureFormatNotUsableWithStorageAccessMode('read-only', format);
    const validShaderScalarType = getPlainTypeInfo(getTextureFormatType(format));
    const shaderValueType = `vec4<${shaderScalarType}>`;
    const wgsl = `
    @group(0) @binding(0) var tex: texture_storage_2d<${format}, read>;
    @compute @workgroup_size(1) fn main() {
        let v : ${shaderValueType} = textureLoad(tex, vec2u(0));
        _ = v;
    }
`;
    t.expectCompileResult(validShaderScalarType === shaderScalarType, wgsl);
  });

g.test('texel_formats,as_value')
  .desc('Test that texel format cannot be used as value')
  .fn(t => {
    const wgsl = `
    @compute @workgroup_size(1) fn main() {
        var i = rgba8unorm;
    }
`;
    t.expectCompileResult(false, wgsl);
  });

const kValidTextureSampledTypes = ['f32', 'i32', 'u32'];

g.test('sampled_texture_types')
  .desc(
    `Test that for texture_xx<T>
- The sampled type T must be f32, i32, or u32
`
  )
  .params(u =>
    u
      .combine('textureType', ['texture_2d', 'texture_multisampled_2d'])
      .beginSubcases()
      .combine('sampledType', [
        ...kValidTextureSampledTypes,
        'bool',
        'vec2',
        'mat2x2',
        '1.0',
        '1',
        '1u',
      ] as const)
      .combine('comma', ['', ','] as const)
  )
  .fn(t => {
    const { textureType, sampledType, comma } = t.params;
    const wgsl = `@group(0) @binding(0) var tex: ${textureType}<${sampledType}${comma}>;`;
    t.expectCompileResult(kValidTextureSampledTypes.includes(sampledType), wgsl);
  });

g.test('external_sampled_texture_types')
  .desc(
    `Test that texture_external compiles and cannot specify address space
`
  )
  .fn(t => {
    t.expectCompileResult(true, `@group(0) @binding(0) var tex: texture_external;`);
    t.expectCompileResult(false, `@group(0) @binding(0) var<private> tex: texture_external;`);
  });

const kAccessModes = ['read', 'write', 'read_write'];

g.test('storage_texture_types')
  .desc(
    `Test that for texture_storage_xx<format, access>
- format must be an enumerant for one of the texel formats for storage textures
- access must be an enumerant for one of the access modes

Besides, the shader compilation should always pass regardless of whether the format supports the usage indicated by the access or not.
`
  )
  .params(u =>
    u
      .combine('access', [...kAccessModes, 'storage'] as const)
      .combine('format', kAllTextureFormats)
      .combine('comma', ['', ','] as const)
  )
  .fn(t => {
    const { format, access, comma } = t.params;
    const isFormatValid = isTextureFormatUsableAsStorageFormatInCreateShaderModule(
      t.device.features,
      format
    );
    const isAccessValid = kAccessModes.includes(access);
    const wgsl = `@group(0) @binding(0) var tex: texture_storage_2d<${format}, ${access}${comma}>;`;
    t.expectCompileResult(isFormatValid && isAccessValid, wgsl);
  });

g.test('depth_texture_types')
  .desc(
    `Test that for texture_depth_xx
- must not specify an address space
`
  )
  .params(u =>
    u.combine('textureType', [
      'texture_depth_2d',
      'texture_depth_2d_array',
      'texture_depth_cube',
      'texture_depth_cube_array',
    ])
  )
  .fn(t => {
    const { textureType } = t.params;
    t.expectCompileResult(true, `@group(0) @binding(0) var t: ${textureType};`);
    t.expectCompileResult(false, `@group(0) @binding(0) var<private> t: ${textureType};`);
    t.expectCompileResult(false, `@group(0) @binding(0) var<storage, read> t: ${textureType};`);
  });

g.test('sampler_types')
  .desc(
    `Test that for sampler and sampler_comparison
- cannot specify address space
- cannot be declared in WGSL function scope
`
  )
  .params(u => u.combine('samplerType', ['sampler', 'sampler_comparison']))
  .fn(t => {
    const { samplerType } = t.params;
    t.expectCompileResult(true, `@group(0) @binding(0) var s: ${samplerType};`);
    t.expectCompileResult(false, `@group(0) @binding(0) var<private> s: ${samplerType};`);
    t.expectCompileResult(
      false,
      `
      @compute @workgroup_size(1) fn main() {
        var s: ${samplerType};
      }
    `
    );
  });
