1 | //===-- flang/unittests/Runtime/Pointer.cpp--------- -------------*- C++-*-===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #include "gtest/gtest.h" |
10 | #include "tools.h" |
11 | #include "flang/Runtime/derived-api.h" |
12 | #include "flang/Runtime/descriptor.h" |
13 | |
14 | using namespace Fortran::runtime; |
15 | |
16 | TEST(Derived, SameTypeAs) { |
17 | // INTEGER, POINTER :: i1 |
18 | auto i1{ |
19 | Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Integer, 4}, 4, |
20 | nullptr, 0, nullptr, CFI_attribute_pointer)}; |
21 | EXPECT_TRUE(RTNAME(SameTypeAs)(*i1, *i1)); |
22 | |
23 | auto r1{Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Real, 4}, |
24 | 4, nullptr, 0, nullptr, CFI_attribute_pointer)}; |
25 | EXPECT_FALSE(RTNAME(SameTypeAs)(*i1, *r1)); |
26 | |
27 | // CLASS(*), ALLOCATABLE :: a1 |
28 | auto a1{Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Real, 4}, |
29 | 4, nullptr, 0, nullptr, CFI_attribute_allocatable)}; |
30 | a1->raw().elem_len = 0; |
31 | a1->raw().type = CFI_type_other; |
32 | |
33 | EXPECT_FALSE(RTNAME(SameTypeAs)(*i1, *a1)); |
34 | EXPECT_FALSE(RTNAME(SameTypeAs)(*a1, *i1)); |
35 | EXPECT_FALSE(RTNAME(SameTypeAs)(*r1, *a1)); |
36 | |
37 | // CLASS(*), ALLOCATABLE :: a2 |
38 | auto a2{Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Real, 4}, |
39 | 4, nullptr, 0, nullptr, CFI_attribute_allocatable)}; |
40 | a2->raw().elem_len = 0; |
41 | a2->raw().type = CFI_type_other; |
42 | |
43 | EXPECT_FALSE(RTNAME(SameTypeAs)(*a1, *a2)); |
44 | |
45 | // CLASS(*), POINTER :: p1 |
46 | auto p1{Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Real, 4}, |
47 | 4, nullptr, 0, nullptr, CFI_attribute_pointer)}; |
48 | p1->raw().elem_len = 0; |
49 | p1->raw().type = CFI_type_other; |
50 | |
51 | EXPECT_FALSE(RTNAME(SameTypeAs)(*i1, *p1)); |
52 | EXPECT_FALSE(RTNAME(SameTypeAs)(*p1, *i1)); |
53 | } |
54 | |
55 | TEST(Derived, ExtendsTypeOf) { |
56 | // CLASS(*), POINTER :: i1 - INTEGER dynamic type |
57 | auto i1{ |
58 | Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Integer, 4}, 4, |
59 | nullptr, 0, nullptr, CFI_attribute_pointer)}; |
60 | EXPECT_TRUE(RTNAME(ExtendsTypeOf)(*i1, *i1)); |
61 | |
62 | // CLASS(*), POINTER :: r1 - REAL dynamic type |
63 | auto r1{Descriptor::Create(TypeCode{Fortran::common::TypeCategory::Real, 4}, |
64 | 4, nullptr, 0, nullptr, CFI_attribute_pointer)}; |
65 | EXPECT_FALSE(RTNAME(SameTypeAs)(*i1, *r1)); |
66 | } |
67 | |