blob: 9f8c75f9434e552d236883f98b9a5a8ecfd45621 [file] [log] [blame]
// Copyright 2024 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, Load_Scalar) {
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_ptr = OpTypePointer Function %u32
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %u32_ptr Function
%load = OpLoad %u32 %var
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, u32, read_write> = var
%3:u32 = load %2
ret
}
)");
}
TEST_F(SpirvParserTest, Load_Vector) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%vec4u = OpTypeVector %u32 4
%vec4u_ptr = OpTypePointer Function %vec4u
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %vec4u_ptr Function
%load = OpLoad %vec4u %var
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, vec4<u32>, read_write> = var
%3:vec4<u32> = load %2
ret
}
)");
}
TEST_F(SpirvParserTest, Load_VectorComponent) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%vec4u = OpTypeVector %u32 4
%u32_ptr = OpTypePointer Function %u32
%vec4u_ptr = OpTypePointer Function %vec4u
%u32_2 = OpConstant %u32 2
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %vec4u_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_2
%load = OpLoad %u32 %access
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, vec4<u32>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 2u
%4:u32 = load %3
ret
}
)");
}
TEST_F(SpirvParserTest, Load_Matrix) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%f32 = OpTypeFloat 32
%vec4f = OpTypeVector %f32 4
%mat3x4f = OpTypeMatrix %vec4f 3
%mat3x4f_ptr = OpTypePointer Function %mat3x4f
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %mat3x4f_ptr Function
%load = OpLoad %mat3x4f %var
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, mat3x4<f32>, read_write> = var
%3:mat3x4<f32> = load %2
ret
}
)");
}
TEST_F(SpirvParserTest, Load_MatrixColumn) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%f32 = OpTypeFloat 32
%vec4f = OpTypeVector %f32 4
%mat3x4f = OpTypeMatrix %vec4f 3
%vec4f_ptr = OpTypePointer Function %vec4f
%mat3x4f_ptr = OpTypePointer Function %mat3x4f
%u32_2 = OpConstant %u32 2
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %mat3x4f_ptr Function
%access = OpAccessChain %vec4f_ptr %var %u32_2
%load = OpLoad %vec4f %access
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, mat3x4<f32>, read_write> = var
%3:ptr<function, vec4<f32>, read_write> = access %2, 2u
%4:vec4<f32> = load %3
ret
}
)");
}
TEST_F(SpirvParserTest, Load_Array) {
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_4 = OpConstant %u32 4
%arr = OpTypeArray %u32 %u32_4
%arr_ptr = OpTypePointer Function %arr
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_ptr Function
%load = OpLoad %arr %var
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<u32, 4>, read_write> = var
%3:array<u32, 4> = load %2
ret
}
)");
}
TEST_F(SpirvParserTest, Load_ArrayElement) {
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_2 = OpConstant %u32 2
%u32_4 = OpConstant %u32 4
%arr = OpTypeArray %u32 %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_ptr = OpTypePointer Function %arr
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_2
%load = OpLoad %u32 %access
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<u32, 4>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 2u
%4:u32 = load %3
ret
}
)");
}
TEST_F(SpirvParserTest, Load_Struct) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%str = OpTypeStruct %u32 %u32
%str_ptr = OpTypePointer Function %str
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %str_ptr Function
%load = OpLoad %str %var
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, tint_symbol_2, read_write> = var
%3:tint_symbol_2 = load %2
ret
}
)");
}
TEST_F(SpirvParserTest, Load_StructMember) {
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_1 = OpConstant %u32 1
%str = OpTypeStruct %u32 %u32
%u32_ptr = OpTypePointer Function %u32
%str_ptr = OpTypePointer Function %str
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %str_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_1
%load = OpLoad %u32 %access
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, tint_symbol_2, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 1u
%4:u32 = load %3
ret
}
)");
}
TEST_F(SpirvParserTest, Store_Scalar) {
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_42 = OpConstant %u32 42
%u32_ptr = OpTypePointer Function %u32
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %u32_ptr Function
OpStore %var %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, u32, read_write> = var
store %2, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Store_Vector) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%vec4u = OpTypeVector %u32 4
%null = OpConstantNull %vec4u
%vec4u_ptr = OpTypePointer Function %vec4u
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %vec4u_ptr Function
OpStore %var %null
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, vec4<u32>, read_write> = var
store %2, vec4<u32>(0u)
ret
}
)");
}
TEST_F(SpirvParserTest, Store_VectorComponent) {
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_42 = OpConstant %u32 42
%vec4u = OpTypeVector %u32 4
%u32_ptr = OpTypePointer Function %u32
%vec4u_ptr = OpTypePointer Function %vec4u
%u32_2 = OpConstant %u32 2
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %vec4u_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_2
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, vec4<u32>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 2u
store %3, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Store_Matrix) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%f32 = OpTypeFloat 32
%vec4f = OpTypeVector %f32 4
%mat3x4f = OpTypeMatrix %vec4f 3
%null = OpConstantNull %mat3x4f
%mat3x4f_ptr = OpTypePointer Function %mat3x4f
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %mat3x4f_ptr Function
OpStore %var %null
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, mat3x4<f32>, read_write> = var
store %2, mat3x4<f32>(vec4<f32>(0.0f))
ret
}
)");
}
TEST_F(SpirvParserTest, Store_MatrixColumn) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%f32 = OpTypeFloat 32
%vec4f = OpTypeVector %f32 4
%mat3x4f = OpTypeMatrix %vec4f 3
%null = OpConstantNull %vec4f
%vec4f_ptr = OpTypePointer Function %vec4f
%mat3x4f_ptr = OpTypePointer Function %mat3x4f
%u32_2 = OpConstant %u32 2
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %mat3x4f_ptr Function
%access = OpAccessChain %vec4f_ptr %var %u32_2
OpStore %access %null
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, mat3x4<f32>, read_write> = var
%3:ptr<function, vec4<f32>, read_write> = access %2, 2u
store %3, vec4<f32>(0.0f)
ret
}
)");
}
TEST_F(SpirvParserTest, Store_Array) {
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_4 = OpConstant %u32 4
%arr = OpTypeArray %u32 %u32_4
%null = OpConstantNull %arr
%arr_ptr = OpTypePointer Function %arr
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_ptr Function
OpStore %var %null
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<u32, 4>, read_write> = var
store %2, array<u32, 4>(0u)
ret
}
)");
}
TEST_F(SpirvParserTest, Store_ArrayElement) {
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_2 = OpConstant %u32 2
%u32_4 = OpConstant %u32 4
%u32_42 = OpConstant %u32 42
%arr = OpTypeArray %u32 %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_ptr = OpTypePointer Function %arr
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_2
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<u32, 4>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 2u
store %3, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Store_Struct) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%str = OpTypeStruct %u32 %u32
%null = OpConstantNull %str
%str_ptr = OpTypePointer Function %str
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %str_ptr Function
OpStore %var %null
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, tint_symbol_2, read_write> = var
store %2, tint_symbol_2(0u)
ret
}
)");
}
TEST_F(SpirvParserTest, Store_StructMember) {
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_1 = OpConstant %u32 1
%u32_42 = OpConstant %u32 42
%str = OpTypeStruct %u32 %u32
%u32_ptr = OpTypePointer Function %u32
%str_ptr = OpTypePointer Function %str
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %str_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_1
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, tint_symbol_2, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 1u
store %3, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Access_Nested_SingleAccessInstruction) {
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_1 = OpConstant %u32 1
%u32_2 = OpConstant %u32 2
%u32_3 = OpConstant %u32 3
%u32_4 = OpConstant %u32 4
%u32_42 = OpConstant %u32 42
%arr_inner = OpTypeArray %u32 %u32_4
%str = OpTypeStruct %arr_inner %arr_inner %arr_inner %arr_inner
%arr_outer = OpTypeArray %str %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_outer_ptr = OpTypePointer Function %arr_outer
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_outer_ptr Function
%access = OpAccessChain %u32_ptr %var %u32_1 %u32_2 %u32_3
%load = OpLoad %u32 %access
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<tint_symbol_4, 4>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 1u, 2u, 3u
%4:u32 = load %3
store %3, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Access_Nested_SeparateAccessInstructions) {
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_1 = OpConstant %u32 1
%u32_2 = OpConstant %u32 2
%u32_3 = OpConstant %u32 3
%u32_4 = OpConstant %u32 4
%u32_42 = OpConstant %u32 42
%arr_inner = OpTypeArray %u32 %u32_4
%str = OpTypeStruct %arr_inner %arr_inner %arr_inner %arr_inner
%arr_outer = OpTypeArray %str %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_inner_ptr = OpTypePointer Function %arr_inner
%str_ptr = OpTypePointer Function %str
%arr_outer_ptr = OpTypePointer Function %arr_outer
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_outer_ptr Function
%access_1 = OpAccessChain %str_ptr %var %u32_1
%access_2 = OpAccessChain %arr_inner_ptr %access_1 %u32_2
%access_3 = OpAccessChain %u32_ptr %access_2 %u32_3
%load = OpLoad %u32 %access_3
OpStore %access_3 %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<tint_symbol_4, 4>, read_write> = var
%3:ptr<function, tint_symbol_4, read_write> = access %2, 1u
%4:ptr<function, array<u32, 4>, read_write> = access %3, 2u
%5:ptr<function, u32, read_write> = access %4, 3u
%6:u32 = load %5
store %5, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, Access_NoIndices) {
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_ptr = OpTypePointer Function %u32
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %u32_ptr Function
%access_1 = OpAccessChain %u32_ptr %var
%access_2 = OpAccessChain %u32_ptr %access_1
%load = OpLoad %u32 %access_2
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, u32, read_write> = var
%3:ptr<function, u32, read_write> = access %2
%4:ptr<function, u32, read_write> = access %3
%5:u32 = load %4
ret
}
)");
}
TEST_F(SpirvParserTest, Access_SignedIndices) {
EXPECT_IR(R"(
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
%void = OpTypeVoid
%u32 = OpTypeInt 32 0
%i32 = OpTypeInt 32 1
%i32_1 = OpConstant %i32 1
%u32_2 = OpConstant %u32 2
%i32_3 = OpConstant %i32 3
%u32_4 = OpConstant %u32 4
%u32_42 = OpConstant %u32 42
%arr_inner = OpTypeArray %u32 %u32_4
%str = OpTypeStruct %arr_inner %arr_inner %arr_inner %arr_inner
%arr_outer = OpTypeArray %str %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_outer_ptr = OpTypePointer Function %arr_outer
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_outer_ptr Function
%access = OpAccessChain %u32_ptr %var %i32_1 %u32_2 %i32_3
%load = OpLoad %u32 %access
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<tint_symbol_4, 4>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 1i, 2u, 3i
%4:u32 = load %3
store %3, 42u
ret
}
)");
}
TEST_F(SpirvParserTest, InBoundsAccessChain) {
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_1 = OpConstant %u32 1
%u32_2 = OpConstant %u32 2
%u32_3 = OpConstant %u32 3
%u32_4 = OpConstant %u32 4
%u32_42 = OpConstant %u32 42
%arr_inner = OpTypeArray %u32 %u32_4
%str = OpTypeStruct %arr_inner %arr_inner %arr_inner %arr_inner
%arr_outer = OpTypeArray %str %u32_4
%u32_ptr = OpTypePointer Function %u32
%arr_outer_ptr = OpTypePointer Function %arr_outer
%ep_type = OpTypeFunction %void
%main = OpFunction %void None %ep_type
%main_start = OpLabel
%var = OpVariable %arr_outer_ptr Function
%access = OpInBoundsAccessChain %u32_ptr %var %u32_1 %u32_2 %u32_3
%load = OpLoad %u32 %access
OpStore %access %u32_42
OpReturn
OpFunctionEnd
)",
R"(
%b1 = block {
%2:ptr<function, array<tint_symbol_4, 4>, read_write> = var
%3:ptr<function, u32, read_write> = access %2, 1u, 2u, 3u
%4:u32 = load %3
store %3, 42u
ret
}
)");
}
} // namespace
} // namespace tint::spirv::reader