src/tint/lang/spirv/reader/parser/constant_test.cc

// Copyright 2023 The Dawn & Tint Authors
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this
//    list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright notice,
//    this list of conditions and the following disclaimer in the documentation
//    and/or other materials provided with the distribution.
//
// 3. Neither the name of the copyright holder nor the names of its
//    contributors may be used to endorse or promote products derived from
//    this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#include "src/tint/lang/spirv/reader/parser/helper_test.h"

namespace tint::spirv::reader {
namespace {

TEST_F(SpirvParserTest, Constant_Bool) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
       %bool = OpTypeBool
       %true = OpConstantTrue %bool
      %false = OpConstantFalse %bool
       %null = OpConstantNull %bool
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %void %bool

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %void None %fn_type
      %param = OpFunctionParameter %bool
  %foo_start = OpLabel
               OpReturn
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %void %foo %true
          %2 = OpFunctionCall %void %foo %false
          %3 = OpFunctionCall %void %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:void = call %2, true
    %6:void = call %2, false
    %7:void = call %2, false
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_I32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
      %i32_0 = OpConstant %i32 0
      %i32_1 = OpConstant %i32 1
     %i32_n1 = OpConstant %i32 -1
    %i32_max = OpConstant %i32 2147483647
    %i32_min = OpConstant %i32 -2147483648
   %i32_null = OpConstantNull %i32
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %void %i32

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %void None %fn_type
      %param = OpFunctionParameter %i32
  %foo_start = OpLabel
               OpReturn
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %void %foo %i32_0
          %2 = OpFunctionCall %void %foo %i32_1
          %3 = OpFunctionCall %void %foo %i32_n1
          %4 = OpFunctionCall %void %foo %i32_max
          %5 = OpFunctionCall %void %foo %i32_min
          %6 = OpFunctionCall %void %foo %i32_null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:void = call %2, 0i
    %6:void = call %2, 1i
    %7:void = call %2, -1i
    %8:void = call %2, 2147483647i
    %9:void = call %2, -2147483648i
    %10:void = call %2, 0i
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_U32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %u32 = OpTypeInt 32 0
      %u32_0 = OpConstant %u32 0
      %u32_1 = OpConstant %u32 1
    %u32_max = OpConstant %u32 4294967295
    %u32_null = OpConstantNull %u32
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %void %u32

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %void None %fn_type
      %param = OpFunctionParameter %u32
  %foo_start = OpLabel
               OpReturn
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %void %foo %u32_0
          %2 = OpFunctionCall %void %foo %u32_1
          %3 = OpFunctionCall %void %foo %u32_max
          %4 = OpFunctionCall %void %foo %u32_null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:void = call %2, 0u
    %6:void = call %2, 1u
    %7:void = call %2, 4294967295u
    %8:void = call %2, 0u
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_F16) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpCapability Float16
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %f16 = OpTypeFloat 16
      %f16_0 = OpConstant %f16 0
      %f16_1 = OpConstant %f16 1
    %f16_max = OpConstant %f16 0x1.ffcp+15
    %f16_min = OpConstant %f16 -0x1.ffcp+15
 %f16_denorm = OpConstant %f16 0x0.004p-14
   %f16_null = OpConstantNull %f16
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %void %f16

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %void None %fn_type
      %param = OpFunctionParameter %f16
  %foo_start = OpLabel
               OpReturn
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %void %foo %f16_0
          %2 = OpFunctionCall %void %foo %f16_1
          %3 = OpFunctionCall %void %foo %f16_max
          %4 = OpFunctionCall %void %foo %f16_min
          %5 = OpFunctionCall %void %foo %f16_denorm
          %6 = OpFunctionCall %void %foo %f16_null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:void = call %2, 0.0h
    %6:void = call %2, 1.0h
    %7:void = call %2, 65504.0h
    %8:void = call %2, -65504.0h
    %9:void = call %2, 0.00000005960464477539h
    %10:void = call %2, 0.0h
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_F32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %f32 = OpTypeFloat 32
      %f32_0 = OpConstant %f32 0
      %f32_1 = OpConstant %f32 1
    %f32_max = OpConstant %f32 0x1.fffffep+127
    %f32_min = OpConstant %f32 -0x1.fffffep+127
 %f32_denorm = OpConstant %f32 0x0.000002p-126
    %f32_null = OpConstantNull %f32
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %void %f32

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %void None %fn_type
      %param = OpFunctionParameter %f32
  %foo_start = OpLabel
               OpReturn
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %void %foo %f32_0
          %2 = OpFunctionCall %void %foo %f32_1
          %3 = OpFunctionCall %void %foo %f32_max
          %4 = OpFunctionCall %void %foo %f32_min
          %5 = OpFunctionCall %void %foo %f32_denorm
          %6 = OpFunctionCall %void %foo %f32_null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:void = call %2, 0.0f
    %6:void = call %2, 1.0f
    %7:void = call %2, 340282346638528859811704183484516925440.0f
    %8:void = call %2, -340282346638528859811704183484516925440.0f
    %9:void = call %2, 1.40129846e-45f
    %10:void = call %2, 0.0f
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Vec2Bool) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
       %bool = OpTypeBool
      %vec2b = OpTypeVector %bool 2
       %true = OpConstantTrue %bool
      %false = OpConstantFalse %bool
%vec2b_const = OpConstantComposite %vec2b %true %false
       %null = OpConstantNull %vec2b
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %vec2b %vec2b

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %vec2b None %fn_type
      %param = OpFunctionParameter %vec2b
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %vec2b %foo %vec2b_const
          %2 = OpFunctionCall %vec2b %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:vec2<bool> = call %2, vec2<bool>(true, false)
    %6:vec2<bool> = call %2, vec2<bool>(false)
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Vec3I32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
      %vec3i = OpTypeVector %i32 3
      %i32_0 = OpConstant %i32 0
      %i32_1 = OpConstant %i32 1
     %i32_n1 = OpConstant %i32 -1
%vec3i_const = OpConstantComposite %vec3i %i32_0 %i32_1 %i32_n1
       %null = OpConstantNull %vec3i
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %vec3i %vec3i

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %vec3i None %fn_type
      %param = OpFunctionParameter %vec3i
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %vec3i %foo %vec3i_const
          %2 = OpFunctionCall %vec3i %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:vec3<i32> = call %2, vec3<i32>(0i, 1i, -1i)
    %6:vec3<i32> = call %2, vec3<i32>(0i)
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Vec4F32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %f32 = OpTypeFloat 32
      %vec4f = OpTypeVector %f32 4
      %f32_0 = OpConstant %f32 0
      %f32_1 = OpConstant %f32 1
    %f32_max = OpConstant %f32 0x1.fffffep+127
    %f32_min = OpConstant %f32 -0x1.fffffep+127
%vec4f_const = OpConstantComposite %vec4f %f32_0 %f32_1 %f32_max %f32_min
       %null = OpConstantNull %vec4f
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %vec4f %vec4f

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %vec4f None %fn_type
      %param = OpFunctionParameter %vec4f
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %vec4f %foo %vec4f_const
          %2 = OpFunctionCall %vec4f %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:vec4<f32> = call %2, vec4<f32>(0.0f, 1.0f, 340282346638528859811704183484516925440.0f, -340282346638528859811704183484516925440.0f)
    %6:vec4<f32> = call %2, vec4<f32>(0.0f)
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Mat2x4F32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %f32 = OpTypeFloat 32
      %vec4f = OpTypeVector %f32 4
    %mat2x4f = OpTypeMatrix %vec4f 2
      %f32_0 = OpConstant %f32 0
      %f32_1 = OpConstant %f32 1
%vec4f_const_0 = OpConstantComposite %vec4f %f32_0 %f32_0 %f32_0 %f32_0
%vec4f_const_1 = OpConstantComposite %vec4f %f32_1 %f32_1 %f32_1 %f32_1
%mat2x4f_const = OpConstantComposite %mat2x4f %vec4f_const_0 %vec4f_const_1
       %null = OpConstantNull %mat2x4f
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %mat2x4f %mat2x4f

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %mat2x4f None %fn_type
      %param = OpFunctionParameter %mat2x4f
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %mat2x4f %foo %mat2x4f_const
          %2 = OpFunctionCall %mat2x4f %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:mat2x4<f32> = call %2, mat2x4<f32>(vec4<f32>(0.0f), vec4<f32>(1.0f))
    %6:mat2x4<f32> = call %2, mat2x4<f32>(vec4<f32>(0.0f))
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Mat3x2F16) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpCapability Float16
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %f16 = OpTypeFloat 16
      %vec2h = OpTypeVector %f16 2
    %mat3x2h = OpTypeMatrix %vec2h 3
      %f16_0 = OpConstant %f16 0
      %f16_1 = OpConstant %f16 1
    %f16_max = OpConstant %f16 0x1.ffcp+15
%vec2h_const_0 = OpConstantComposite %vec2h %f16_0 %f16_0
%vec2h_const_1 = OpConstantComposite %vec2h %f16_1 %f16_1
%vec2h_const_max = OpConstantComposite %vec2h %f16_max %f16_max
%mat3x2h_const = OpConstantComposite %mat3x2h %vec2h_const_0 %vec2h_const_1 %vec2h_const_max
       %null = OpConstantNull %mat3x2h
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %mat3x2h %mat3x2h

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %mat3x2h None %fn_type
      %param = OpFunctionParameter %mat3x2h
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %mat3x2h %foo %mat3x2h_const
          %2 = OpFunctionCall %mat3x2h %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:mat3x2<f16> = call %2, mat3x2<f16>(vec2<f16>(0.0h), vec2<f16>(1.0h), vec2<f16>(65504.0h))
    %6:mat3x2<f16> = call %2, mat3x2<f16>(vec2<f16>(0.0h))
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Array_I32_4) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
      %i32_4 = OpConstant %i32 4
        %arr = OpTypeArray %i32 %i32_4
      %i32_0 = OpConstant %i32 0
      %i32_1 = OpConstant %i32 1
     %i32_n1 = OpConstant %i32 -1
    %i32_max = OpConstant %i32 2147483647
  %arr_const = OpConstantComposite %arr %i32_0 %i32_1 %i32_n1 %i32_max
       %null = OpConstantNull %arr
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %arr %arr

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %arr None %fn_type
      %param = OpFunctionParameter %arr
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %arr %foo %arr_const
          %2 = OpFunctionCall %arr %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:array<i32, 4> = call %2, array<i32, 4>(0i, 1i, -1i, 2147483647i)
    %6:array<i32, 4> = call %2, array<i32, 4>(0i)
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Array_Array_F32) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
      %i32_2 = OpConstant %i32 2
      %i32_4 = OpConstant %i32 4
        %f32 = OpTypeFloat 32
      %f32_0 = OpConstant %f32 0
      %f32_1 = OpConstant %f32 1
    %f32_max = OpConstant %f32 0x1.fffffep+127
    %f32_min = OpConstant %f32 -0x1.fffffep+127
      %inner = OpTypeArray %f32 %i32_4
      %outer = OpTypeArray %inner %i32_2
%inner_const_0 = OpConstantComposite %inner %f32_0 %f32_1 %f32_max %f32_min
%inner_const_1 = OpConstantComposite %inner %f32_min %f32_max %f32_1 %f32_0
  %outer_const = OpConstantComposite %outer %inner_const_0 %inner_const_1
       %null = OpConstantNull %outer
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %outer %outer

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %outer None %fn_type
      %param = OpFunctionParameter %outer
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %outer %foo %outer_const
          %2 = OpFunctionCall %outer %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:array<array<f32, 4>, 2> = call %2, array<array<f32, 4>, 2>(array<f32, 4>(0.0f, 1.0f, 340282346638528859811704183484516925440.0f, -340282346638528859811704183484516925440.0f), array<f32, 4>(-340282346638528859811704183484516925440.0f, 340282346638528859811704183484516925440.0f, 1.0f, 0.0f))
    %6:array<array<f32, 4>, 2> = call %2, array<array<f32, 4>, 2>(array<f32, 4>(0.0f))
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Struct) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
        %f32 = OpTypeFloat 32
        %str = OpTypeStruct %i32 %f32
     %i32_42 = OpConstant %i32 42
     %f32_n1 = OpConstant %f32 -1
  %str_const = OpConstantComposite %str %i32_42 %f32_n1
       %null = OpConstantNull %str
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %str %str

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %str None %fn_type
      %param = OpFunctionParameter %str
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %str %foo %str_const
          %2 = OpFunctionCall %str %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:tint_symbol_2 = call %2, tint_symbol_2(42i, -1.0f)
    %6:tint_symbol_2 = call %2, tint_symbol_2(0i, 0.0f)
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Constant_Struct_Nested) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
       %void = OpTypeVoid
        %i32 = OpTypeInt 32 1
        %f32 = OpTypeFloat 32
      %i32_2 = OpConstant %i32 2
      %inner = OpTypeStruct %i32 %f32
        %arr = OpTypeArray %inner %i32_2
      %outer = OpTypeStruct %arr %arr
     %i32_42 = OpConstant %i32 42
     %i32_n1 = OpConstant %i32 -1
     %f32_n1 = OpConstant %f32 -1
     %f32_42 = OpConstant %f32 42
%inner_const_0 = OpConstantComposite %inner %i32_42 %f32_n1
%inner_const_1 = OpConstantComposite %inner %i32_n1 %f32_42
  %arr_const_0 = OpConstantComposite %arr %inner_const_0 %inner_const_1
  %arr_const_1 = OpConstantComposite %arr %inner_const_1 %inner_const_0
  %outer_const = OpConstantComposite %outer %arr_const_0 %arr_const_1
       %null = OpConstantNull %outer
    %void_fn = OpTypeFunction %void
    %fn_type = OpTypeFunction %outer %outer

       %main = OpFunction %void None %void_fn
 %main_start = OpLabel
               OpReturn
               OpFunctionEnd

        %foo = OpFunction %outer None %fn_type
      %param = OpFunctionParameter %outer
  %foo_start = OpLabel
               OpReturnValue %param
               OpFunctionEnd

        %bar = OpFunction %void None %void_fn
  %bar_start = OpLabel
          %1 = OpFunctionCall %outer %foo %outer_const
          %2 = OpFunctionCall %outer %foo %null
               OpReturn
               OpFunctionEnd
)",
              R"(
%4 = func():void {
  $B3: {
    %5:tint_symbol_5 = call %2, tint_symbol_5(array<tint_symbol_2, 2>(tint_symbol_2(42i, -1.0f), tint_symbol_2(-1i, 42.0f)), array<tint_symbol_2, 2>(tint_symbol_2(-1i, 42.0f), tint_symbol_2(42i, -1.0f)))
    %6:tint_symbol_5 = call %2, tint_symbol_5(array<tint_symbol_2, 2>(tint_symbol_2(0i, 0.0f)))
    ret
  }
}
)");
}

TEST_F(SpirvParserTest, Bug42252062) {
    EXPECT_IR(R"(
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %2 "main"
               OpExecutionMode %2 LocalSize 1 1 1
       %void = OpTypeVoid
         %10 = OpTypeFunction %void
        %int = OpTypeInt 32 1
    %int_200 = OpConstant %int 200
 %_struct_18 = OpTypeStruct %int %int
         %23 = OpUndef %int

         %24 = OpConstantComposite %_struct_18 %23 %int_200

        %ptr = OpTypePointer Function %int
          %2 = OpFunction %void None %10
         %26 = OpLabel
          %v = OpVariable %ptr Function
         %31 = OpCompositeExtract %int %24 1
               OpStore %v %31
               OpReturn
               OpFunctionEnd
)",
              R"(
%main = @compute @workgroup_size(1u, 1u, 1u) func():void {
  $B1: {
    %2:ptr<function, i32, read_write> = var undef
    store %2, 200i
    ret
  }
}
)");
}

}  // namespace
}  // namespace tint::spirv::reader