shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/flang-rt/unittests/Runtime/Descriptor.cpp
Michael Kruse 0957656a40
[runtimes][GTest] LLVM-independent unittests (#164794) 
The LLVM-customized GTest has a dependency on LLVM to support
`llvm::raw_ostream` and hence has to link to LLVMSupport. The runtimes
use the LLVMSupport from the bootstrapping LLVM build. The problem is
that the boostrapping compiler and the runtimes target can diverge in
their ABI, even in the runtimes default build. For instance, Clang is
built using gcc which uses libstdc++, but the runtimes is built by Clang
which can be configured to use libcxx by default. Altough it does not
use gcc, this issue has caused
[flang-aarch64-libcxx](https://lab.llvm.org/buildbot/#/builders/89)) to
break, and is still (again?) broken.

This patch makes the runtimes' GTest independent from LLVMSupport so we
do not link any runtimes component with LLVM components.

Runtime projects that use GTest unittests:
 * flang-rt
 * libc
* compiler-rt: Adds `gtest-all.cpp` with
[GTEST_NO_LLVM_SUPPORT=1](f801b6f67e/compiler-rt/CMakeLists.txt (L723))
to each unittest without using `llvm_gtest`. Not touched by this PR.
* openmp: Handled by #159416. Not touched for now by this PR to avoid
conflict.

The current state of this PR tries to reuse
https://github.com/llvm/llvm-project/blob/main/third-party/unittest/CMakeLists.txt
as much as possible, altough personally I would prefer to make it use
"modern CMake" style. third-party/unittest/CMakeLists.txt will detect
whether it is used in runtimes build and adjaust accordingly. It creates
a different target for LLVM (`llvm_gtest`, NFCI) and another one for the
runtimes (`runtimes_gtest`). It is not possible to reuse `llvm_gtest`
for both since `llvm_gtest` is imported using `find_package(LLVM)` if
configured using LLVM_INSTALL_GTEST. An alias `default_gtest` is used to
select between the two. `default_gtest` could also be used for openmp
which also supports standalone and
[LLVM_ENABLE_PROJECTS](https://github.com/llvm/llvm-project/pull/152189)
build mode.
2025-11-12 11:50:33 +01:00

161 lines
7.1 KiB
C++
Raw Blame History

//===-- unittests/Runtime/Pointer.cpp ---------------------------*- C++ -*-===//
//
// 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 "flang-rt/runtime/descriptor.h"
#include "tools.h"
#include "gtest/gtest.h"
using namespace Fortran::runtime;
TEST(Descriptor, FixedStride) {
StaticDescriptor<4> staticDesc[2];
Descriptor &descriptor{staticDesc[0].descriptor()};
using Type = std::int32_t;
Type data[8][8][8];
constexpr int four{static_cast<int>(sizeof data[0][0][0])};
TypeCode integer{TypeCategory::Integer, four};
// Scalar
descriptor.Establish(integer, four, data, 0);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), four);
// Empty vector
SubscriptValue extent[3]{0, 0, 0};
descriptor.Establish(integer, four, data, 1, extent);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
// Contiguous vector (0:7:1)
extent[0] = 8;
descriptor.Establish(integer, four, data, 1, extent);
ASSERT_EQ(descriptor.rank(), 1);
ASSERT_EQ(descriptor.Elements(), 8u);
ASSERT_EQ(descriptor.ElementBytes(), static_cast<unsigned>(four));
ASSERT_EQ(descriptor.GetDimension(0).LowerBound(), 0);
ASSERT_EQ(descriptor.GetDimension(0).ByteStride(), four);
ASSERT_EQ(descriptor.GetDimension(0).Extent(), 8);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), four);
// Contiguous reverse vector (7:0:-1)
descriptor.GetDimension(0).SetByteStride(-four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), -four);
// Discontiguous vector (0:6:2)
descriptor.GetDimension(0).SetExtent(4);
descriptor.GetDimension(0).SetByteStride(2 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 2 * four);
// Empty matrix
extent[0] = 0;
descriptor.Establish(integer, four, data, 2, extent);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
// Contiguous matrix (0:7, 0:7)
extent[0] = extent[1] = 8;
descriptor.Establish(integer, four, data, 2, extent);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), four);
// Contiguous row (0:7, 0)
descriptor.GetDimension(1).SetExtent(1);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), four);
// Contiguous column (0, 0:7)
descriptor.GetDimension(0).SetExtent(1);
descriptor.GetDimension(1).SetExtent(7);
descriptor.GetDimension(1).SetByteStride(8 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 8 * four);
// Contiguous reverse row (7:0:-1, 0)
descriptor.GetDimension(0).SetExtent(8);
descriptor.GetDimension(0).SetByteStride(-four);
descriptor.GetDimension(1).SetExtent(1);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), -four);
// Contiguous reverse column (0, 7:0:-1)
descriptor.GetDimension(0).SetExtent(1);
descriptor.GetDimension(0).SetByteStride(four);
descriptor.GetDimension(1).SetExtent(7);
descriptor.GetDimension(1).SetByteStride(8 * -four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 8 * -four);
// Discontiguous row (0:6:2, 0)
descriptor.GetDimension(0).SetExtent(4);
descriptor.GetDimension(0).SetByteStride(2 * four);
descriptor.GetDimension(1).SetExtent(1);
descriptor.GetDimension(1).SetByteStride(four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 2 * four);
// Discontiguous column (0, 0:6:2)
descriptor.GetDimension(0).SetExtent(1);
descriptor.GetDimension(0).SetByteStride(four);
descriptor.GetDimension(1).SetExtent(4);
descriptor.GetDimension(1).SetByteStride(8 * 2 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 8 * 2 * four);
// Discontiguous reverse row (7:1:-2, 0)
descriptor.GetDimension(0).SetExtent(4);
descriptor.GetDimension(0).SetByteStride(-2 * four);
descriptor.GetDimension(1).SetExtent(1);
descriptor.GetDimension(1).SetByteStride(four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), -2 * four);
// Discontiguous reverse column (0, 7:1:-2)
descriptor.GetDimension(0).SetExtent(1);
descriptor.GetDimension(0).SetByteStride(four);
descriptor.GetDimension(1).SetExtent(4);
descriptor.GetDimension(1).SetByteStride(8 * -2 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 8 * -2 * four);
// Discontiguous rows (0:6:2, 0:1)
descriptor.GetDimension(0).SetExtent(4);
descriptor.GetDimension(0).SetByteStride(2 * four);
descriptor.GetDimension(1).SetExtent(2);
descriptor.GetDimension(1).SetByteStride(8 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_FALSE(descriptor.FixedStride().has_value());
// Discontiguous columns (0:1, 0:6:2)
descriptor.GetDimension(0).SetExtent(2);
descriptor.GetDimension(0).SetByteStride(four);
descriptor.GetDimension(1).SetExtent(4);
descriptor.GetDimension(1).SetByteStride(8 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_FALSE(descriptor.FixedStride().has_value());
// Empty 3-D array
extent[0] = extent[1] = extent[2] = 0;
;
descriptor.Establish(integer, four, data, 3, extent);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
// Contiguous 3-D array (0:7, 0:7, 0:7)
extent[0] = extent[1] = extent[2] = 8;
descriptor.Establish(integer, four, data, 3, extent);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), four);
// Discontiguous 3-D array (0:7, 0:6:2, 0:6:2)
descriptor.GetDimension(1).SetExtent(4);
descriptor.GetDimension(1).SetByteStride(8 * 2 * four);
descriptor.GetDimension(2).SetExtent(4);
descriptor.GetDimension(2).SetByteStride(8 * 8 * 2 * four);
EXPECT_FALSE(descriptor.IsContiguous());
EXPECT_FALSE(descriptor.FixedStride().has_value());
// Discontiguous-looking empty 3-D array (0:-1, 0:6:2, 0:6:2)
descriptor.GetDimension(0).SetExtent(0);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
// Discontiguous-looking empty 3-D array (0:6:2, 0:-1, 0:6:2)
descriptor.GetDimension(0).SetExtent(4);
descriptor.GetDimension(0).SetByteStride(2 * four);
descriptor.GetDimension(1).SetExtent(0);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
// Discontiguous-looking empty 3-D array (0:6:2, 0:6:2, 0:-1)
descriptor.GetDimension(1).SetExtent(4);
descriptor.GetDimension(1).SetExtent(8 * 2 * four);
descriptor.GetDimension(2).SetExtent(0);
EXPECT_TRUE(descriptor.IsContiguous());
EXPECT_EQ(descriptor.FixedStride().value_or(-666), 0);
}
Reference in New Issue View Git Blame Copy Permalink