| // Copyright 2023 The Tint Authors. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #include "src/tint/ir/access.h" |
| |
| #include "gmock/gmock.h" |
| #include "gtest/gtest-spi.h" |
| #include "src/tint/ir/ir_test_helper.h" |
| |
| using namespace tint::builtin::fluent_types; // NOLINT |
| |
| namespace tint::ir { |
| namespace { |
| |
| using IR_AccessTest = IRTestHelper; |
| |
| TEST_F(IR_AccessTest, SetsUsage) { |
| auto* type = ty.ptr<function, i32>(); |
| auto* var = b.Var(type); |
| auto* idx = b.Constant(u32(1)); |
| auto* a = b.Access(ty.i32(), var, idx); |
| |
| EXPECT_THAT(var->Result()->Usages(), testing::UnorderedElementsAre(Usage{a, 0u})); |
| EXPECT_THAT(idx->Usages(), testing::UnorderedElementsAre(Usage{a, 1u})); |
| } |
| |
| TEST_F(IR_AccessTest, Result) { |
| auto* type = ty.ptr<function, i32>(); |
| auto* var = b.Var(type); |
| auto* idx = b.Constant(u32(1)); |
| auto* a = b.Access(ty.i32(), var, idx); |
| |
| EXPECT_TRUE(a->HasResults()); |
| EXPECT_FALSE(a->HasMultiResults()); |
| |
| EXPECT_TRUE(a->Result()->Is<InstructionResult>()); |
| EXPECT_EQ(a, a->Result()->Source()); |
| } |
| |
| TEST_F(IR_AccessTest, Fail_NullType) { |
| EXPECT_FATAL_FAILURE( |
| { |
| Module mod; |
| Builder b{mod}; |
| auto* ty = (mod.Types().ptr<function, i32>()); |
| auto* var = b.Var(ty); |
| b.Access(nullptr, var, u32(1)); |
| }, |
| ""); |
| } |
| |
| } // namespace |
| } // namespace tint::ir |