Files
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

129 lines
5.3 KiB
C++

//===- SideEffectInterfacesTest.cpp - Unit tests for Resource hierarchy ---===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "mlir/Support/TypeID.h"
#include "llvm/Support/Casting.h"
#include <gtest/gtest.h>
using namespace mlir;
using namespace mlir::SideEffects;
namespace {
/// Custom resource hierarchy (root -> child -> grandchild) for testing.
struct TestRootResource : public Resource::Base<TestRootResource> {
MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestRootResource)
TestRootResource() = default;
StringRef getName() const override { return "TestRoot"; }
protected:
TestRootResource(TypeID id) : Base(id) {}
};
struct TestChildResource
: public Resource::Base<TestChildResource, TestRootResource> {
MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestChildResource)
TestChildResource() = default;
StringRef getName() const override { return "TestChild"; }
Resource *getParent() const override { return TestRootResource::get(); }
protected:
TestChildResource(TypeID id) : Base(id) {}
};
struct TestGrandchildResource
: public Resource::Base<TestGrandchildResource, TestChildResource> {
MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestGrandchildResource)
StringRef getName() const override { return "TestGrandchild"; }
Resource *getParent() const override { return TestChildResource::get(); }
};
} // namespace
TEST(SideEffectResourceTest, BuiltInHierarchyIsaCast) {
EXPECT_TRUE(isa<DefaultResource>(DefaultResource::get()));
EXPECT_TRUE(isa<DefaultResource>(AutomaticAllocationScopeResource::get()));
EXPECT_FALSE(isa<AutomaticAllocationScopeResource>(DefaultResource::get()));
// Each type has its own singleton; cast yields the child object as parent*
EXPECT_NE(cast<DefaultResource>(AutomaticAllocationScopeResource::get()),
nullptr);
EXPECT_TRUE(isa<DefaultResource>(
cast<DefaultResource>(AutomaticAllocationScopeResource::get())));
EXPECT_NE(dyn_cast<DefaultResource>(AutomaticAllocationScopeResource::get()),
nullptr);
EXPECT_EQ(dyn_cast<AutomaticAllocationScopeResource>(DefaultResource::get()),
nullptr);
}
TEST(SideEffectResourceTest, CustomHierarchyIsaCast) {
// Root and child
EXPECT_TRUE(isa<TestRootResource>(TestRootResource::get()));
EXPECT_TRUE(isa<TestRootResource>(TestChildResource::get()));
EXPECT_FALSE(isa<TestChildResource>(TestRootResource::get()));
EXPECT_NE(cast<TestRootResource>(TestChildResource::get()), nullptr);
// Grandchild isa root, child, and self
EXPECT_TRUE(isa<TestRootResource>(TestGrandchildResource::get()));
EXPECT_TRUE(isa<TestChildResource>(TestGrandchildResource::get()));
EXPECT_TRUE(isa<TestGrandchildResource>(TestGrandchildResource::get()));
// Root/child are not isa grandchild
EXPECT_FALSE(isa<TestGrandchildResource>(TestRootResource::get()));
EXPECT_FALSE(isa<TestGrandchildResource>(TestChildResource::get()));
// Cast grandchild to root and child (each type has its own singleton)
EXPECT_NE(cast<TestRootResource>(TestGrandchildResource::get()), nullptr);
EXPECT_NE(cast<TestChildResource>(TestGrandchildResource::get()), nullptr);
// dyn_cast
EXPECT_EQ(dyn_cast<TestGrandchildResource>(TestRootResource::get()), nullptr);
EXPECT_NE(dyn_cast<TestRootResource>(TestGrandchildResource::get()), nullptr);
// getParent chain
EXPECT_EQ(TestGrandchildResource::get()->getParent(),
TestChildResource::get());
EXPECT_EQ(TestChildResource::get()->getParent(), TestRootResource::get());
EXPECT_EQ(TestRootResource::get()->getParent(), DefaultResource::get());
EXPECT_EQ(DefaultResource::get()->getParent(), nullptr);
// isSubresourceOf
EXPECT_TRUE(
TestGrandchildResource::get()->isSubresourceOf(TestRootResource::get()));
EXPECT_TRUE(
TestGrandchildResource::get()->isSubresourceOf(TestChildResource::get()));
EXPECT_FALSE(
TestRootResource::get()->isSubresourceOf(TestGrandchildResource::get()));
// Custom hierarchy is a subresource of DefaultResource (the root).
EXPECT_FALSE(TestRootResource::get()->isDisjointFrom(DefaultResource::get()));
EXPECT_TRUE(TestRootResource::get()->isSubresourceOf(DefaultResource::get()));
EXPECT_TRUE(
TestGrandchildResource::get()->isSubresourceOf(DefaultResource::get()));
EXPECT_FALSE(
DefaultResource::get()->isSubresourceOf(TestRootResource::get()));
EXPECT_FALSE(isa<TestRootResource>(DefaultResource::get()));
EXPECT_EQ(dyn_cast<TestRootResource>(DefaultResource::get()), nullptr);
}
TEST(SideEffectResourceTest, DisjointnessAndGetParent) {
EXPECT_EQ(DefaultResource::get()->getParent(), nullptr);
EXPECT_EQ(AutomaticAllocationScopeResource::get()->getParent(),
DefaultResource::get());
// TestRootResource is a subresource of DefaultResource (the root),
// so they are not disjoint.
EXPECT_FALSE(DefaultResource::get()->isDisjointFrom(TestRootResource::get()));
EXPECT_TRUE(TestRootResource::get()->isSubresourceOf(DefaultResource::get()));
EXPECT_TRUE(
TestChildResource::get()->isSubresourceOf(TestRootResource::get()));
EXPECT_FALSE(
TestRootResource::get()->isSubresourceOf(TestChildResource::get()));
}