peter klausler | fae12a0 | 2020-01-24 00:10:00 | [diff] [blame] | 1 | //===-- runtime/tools.h -----------------------------------------*- 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 | #ifndef FORTRAN_RUNTIME_TOOLS_H_ |
| 10 | #define FORTRAN_RUNTIME_TOOLS_H_ |
peter klausler | f7be251 | 2020-01-24 00:59:27 | [diff] [blame] | 11 | |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 12 | #include "freestanding-tools.h" |
Yi Wu | e2b896a | 2024-01-10 10:02:48 | [diff] [blame^] | 13 | #include "stat.h" |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 14 | #include "terminator.h" |
Peter Klausler | 830c0b9 | 2021-09-01 23:00:53 | [diff] [blame] | 15 | #include "flang/Runtime/cpp-type.h" |
| 16 | #include "flang/Runtime/descriptor.h" |
| 17 | #include "flang/Runtime/memory.h" |
Peter Klausler | 52a0b02 | 2023-04-12 19:32:37 | [diff] [blame] | 18 | #include <cstring> |
peter klausler | f7be251 | 2020-01-24 00:59:27 | [diff] [blame] | 19 | #include <functional> |
| 20 | #include <map> |
| 21 | #include <type_traits> |
| 22 | |
peter klausler | fae12a0 | 2020-01-24 00:10:00 | [diff] [blame] | 23 | namespace Fortran::runtime { |
| 24 | |
| 25 | class Terminator; |
| 26 | |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 27 | RT_API_ATTRS std::size_t TrimTrailingSpaces(const char *, std::size_t); |
peter klausler | 675ad1b | 2020-08-03 18:35:29 | [diff] [blame] | 28 | |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 29 | RT_API_ATTRS OwningPtr<char> SaveDefaultCharacter( |
peter klausler | 95696d5 | 2020-02-05 00:55:45 | [diff] [blame] | 30 | const char *, std::size_t, const Terminator &); |
peter klausler | fae12a0 | 2020-01-24 00:10:00 | [diff] [blame] | 31 | |
| 32 | // For validating and recognizing default CHARACTER values in a |
| 33 | // case-insensitive manner. Returns the zero-based index into the |
| 34 | // null-terminated array of upper-case possibilities when the value is valid, |
| 35 | // or -1 when it has no match. |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 36 | RT_API_ATTRS int IdentifyValue( |
peter klausler | fae12a0 | 2020-01-24 00:10:00 | [diff] [blame] | 37 | const char *value, std::size_t length, const char *possibilities[]); |
peter klausler | f7be251 | 2020-01-24 00:59:27 | [diff] [blame] | 38 | |
peter klausler | 3b63571 | 2020-02-13 22:41:56 | [diff] [blame] | 39 | // Truncates or pads as necessary |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 40 | RT_API_ATTRS void ToFortranDefaultCharacter( |
peter klausler | 3b63571 | 2020-02-13 22:41:56 | [diff] [blame] | 41 | char *to, std::size_t toLength, const char *from); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 42 | |
| 43 | // Utility for dealing with elemental LOGICAL arguments |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 44 | inline RT_API_ATTRS bool IsLogicalElementTrue( |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 45 | const Descriptor &logical, const SubscriptValue at[]) { |
| 46 | // A LOGICAL value is false if and only if all of its bytes are zero. |
| 47 | const char *p{logical.Element<char>(at)}; |
| 48 | for (std::size_t j{logical.ElementBytes()}; j-- > 0; ++p) { |
| 49 | if (*p) { |
| 50 | return true; |
| 51 | } |
| 52 | } |
| 53 | return false; |
| 54 | } |
| 55 | |
| 56 | // Check array conformability; a scalar 'x' conforms. Crashes on error. |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 57 | RT_API_ATTRS void CheckConformability(const Descriptor &to, const Descriptor &x, |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 58 | Terminator &, const char *funcName, const char *toName, |
| 59 | const char *fromName); |
| 60 | |
Peter Steinfeld | 6cd417b | 2022-02-09 19:17:18 | [diff] [blame] | 61 | // Helper to store integer value in result[at]. |
| 62 | template <int KIND> struct StoreIntegerAt { |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 63 | RT_API_ATTRS void operator()(const Fortran::runtime::Descriptor &result, |
| 64 | std::size_t at, std::int64_t value) const { |
Peter Steinfeld | 6cd417b | 2022-02-09 19:17:18 | [diff] [blame] | 65 | *result.ZeroBasedIndexedElement<Fortran::runtime::CppTypeFor< |
| 66 | Fortran::common::TypeCategory::Integer, KIND>>(at) = value; |
| 67 | } |
| 68 | }; |
| 69 | |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 70 | // Validate a KIND= argument |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 71 | RT_API_ATTRS void CheckIntegerKind( |
| 72 | Terminator &, int kind, const char *intrinsic); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 73 | |
| 74 | template <typename TO, typename FROM> |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 75 | inline RT_API_ATTRS void PutContiguousConverted( |
| 76 | TO *to, FROM *from, std::size_t count) { |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 77 | while (count-- > 0) { |
| 78 | *to++ = *from++; |
| 79 | } |
| 80 | } |
| 81 | |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 82 | static inline RT_API_ATTRS std::int64_t GetInt64( |
peter klausler | c1db35f | 2021-05-20 17:37:03 | [diff] [blame] | 83 | const char *p, std::size_t bytes, Terminator &terminator) { |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 84 | switch (bytes) { |
| 85 | case 1: |
| 86 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 1> *>(p); |
| 87 | case 2: |
| 88 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 2> *>(p); |
| 89 | case 4: |
| 90 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 4> *>(p); |
| 91 | case 8: |
| 92 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 8> *>(p); |
| 93 | default: |
peter klausler | c1db35f | 2021-05-20 17:37:03 | [diff] [blame] | 94 | terminator.Crash("GetInt64: no case for %zd bytes", bytes); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 95 | } |
| 96 | } |
| 97 | |
Peter Klausler | 8fc045e | 2023-12-26 23:12:39 | [diff] [blame] | 98 | static inline RT_API_ATTRS std::optional<std::int64_t> GetInt64Safe( |
| 99 | const char *p, std::size_t bytes, Terminator &terminator) { |
| 100 | switch (bytes) { |
| 101 | case 1: |
| 102 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 1> *>(p); |
| 103 | case 2: |
| 104 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 2> *>(p); |
| 105 | case 4: |
| 106 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 4> *>(p); |
| 107 | case 8: |
| 108 | return *reinterpret_cast<const CppTypeFor<TypeCategory::Integer, 8> *>(p); |
| 109 | case 16: { |
| 110 | using Int128 = CppTypeFor<TypeCategory::Integer, 16>; |
| 111 | auto n{*reinterpret_cast<const Int128 *>(p)}; |
Slava Zakharin | 76facde | 2023-12-28 21:50:43 | [diff] [blame] | 112 | std::int64_t result{static_cast<std::int64_t>(n)}; |
| 113 | if (static_cast<Int128>(result) == n) { |
Peter Klausler | 8fc045e | 2023-12-26 23:12:39 | [diff] [blame] | 114 | return result; |
| 115 | } |
| 116 | return std::nullopt; |
| 117 | } |
| 118 | default: |
| 119 | terminator.Crash("GetInt64Safe: no case for %zd bytes", bytes); |
| 120 | } |
| 121 | } |
| 122 | |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 123 | template <typename INT> |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 124 | inline RT_API_ATTRS bool SetInteger(INT &x, int kind, std::int64_t value) { |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 125 | switch (kind) { |
| 126 | case 1: |
| 127 | reinterpret_cast<CppTypeFor<TypeCategory::Integer, 1> &>(x) = value; |
Peter Klausler | 73b193a | 2022-02-16 21:26:44 | [diff] [blame] | 128 | return value == reinterpret_cast<CppTypeFor<TypeCategory::Integer, 1> &>(x); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 129 | case 2: |
| 130 | reinterpret_cast<CppTypeFor<TypeCategory::Integer, 2> &>(x) = value; |
Peter Klausler | 73b193a | 2022-02-16 21:26:44 | [diff] [blame] | 131 | return value == reinterpret_cast<CppTypeFor<TypeCategory::Integer, 2> &>(x); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 132 | case 4: |
| 133 | reinterpret_cast<CppTypeFor<TypeCategory::Integer, 4> &>(x) = value; |
Peter Klausler | 73b193a | 2022-02-16 21:26:44 | [diff] [blame] | 134 | return value == reinterpret_cast<CppTypeFor<TypeCategory::Integer, 4> &>(x); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 135 | case 8: |
| 136 | reinterpret_cast<CppTypeFor<TypeCategory::Integer, 8> &>(x) = value; |
Peter Klausler | 73b193a | 2022-02-16 21:26:44 | [diff] [blame] | 137 | return value == reinterpret_cast<CppTypeFor<TypeCategory::Integer, 8> &>(x); |
peter klausler | e372e0f | 2021-03-31 16:14:08 | [diff] [blame] | 138 | default: |
| 139 | return false; |
| 140 | } |
| 141 | } |
| 142 | |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 143 | // Maps intrinsic runtime type category and kind values to the appropriate |
| 144 | // instantiation of a function object template and calls it with the supplied |
| 145 | // arguments. |
| 146 | template <template <TypeCategory, int> class FUNC, typename RESULT, |
| 147 | typename... A> |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 148 | inline RT_API_ATTRS RESULT ApplyType( |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 149 | TypeCategory cat, int kind, Terminator &terminator, A &&...x) { |
| 150 | switch (cat) { |
| 151 | case TypeCategory::Integer: |
| 152 | switch (kind) { |
| 153 | case 1: |
| 154 | return FUNC<TypeCategory::Integer, 1>{}(std::forward<A>(x)...); |
| 155 | case 2: |
| 156 | return FUNC<TypeCategory::Integer, 2>{}(std::forward<A>(x)...); |
| 157 | case 4: |
| 158 | return FUNC<TypeCategory::Integer, 4>{}(std::forward<A>(x)...); |
| 159 | case 8: |
| 160 | return FUNC<TypeCategory::Integer, 8>{}(std::forward<A>(x)...); |
Peter Klausler | 1c35c1a | 2023-07-06 22:03:05 | [diff] [blame] | 161 | #if defined __SIZEOF_INT128__ && !AVOID_NATIVE_UINT128_T |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 162 | case 16: |
| 163 | return FUNC<TypeCategory::Integer, 16>{}(std::forward<A>(x)...); |
| 164 | #endif |
| 165 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 166 | terminator.Crash("not yet implemented: INTEGER(KIND=%d)", kind); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 167 | } |
| 168 | case TypeCategory::Real: |
| 169 | switch (kind) { |
| 170 | #if 0 // TODO: REAL(2 & 3) |
| 171 | case 2: |
| 172 | return FUNC<TypeCategory::Real, 2>{}(std::forward<A>(x)...); |
| 173 | case 3: |
| 174 | return FUNC<TypeCategory::Real, 3>{}(std::forward<A>(x)...); |
| 175 | #endif |
| 176 | case 4: |
| 177 | return FUNC<TypeCategory::Real, 4>{}(std::forward<A>(x)...); |
| 178 | case 8: |
| 179 | return FUNC<TypeCategory::Real, 8>{}(std::forward<A>(x)...); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 180 | case 10: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 181 | if constexpr (HasCppTypeFor<TypeCategory::Real, 10>) { |
| 182 | return FUNC<TypeCategory::Real, 10>{}(std::forward<A>(x)...); |
| 183 | } |
| 184 | break; |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 185 | case 16: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 186 | if constexpr (HasCppTypeFor<TypeCategory::Real, 16>) { |
| 187 | return FUNC<TypeCategory::Real, 16>{}(std::forward<A>(x)...); |
| 188 | } |
| 189 | break; |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 190 | } |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 191 | terminator.Crash("not yet implemented: REAL(KIND=%d)", kind); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 192 | case TypeCategory::Complex: |
| 193 | switch (kind) { |
| 194 | #if 0 // TODO: COMPLEX(2 & 3) |
| 195 | case 2: |
| 196 | return FUNC<TypeCategory::Complex, 2>{}(std::forward<A>(x)...); |
| 197 | case 3: |
| 198 | return FUNC<TypeCategory::Complex, 3>{}(std::forward<A>(x)...); |
| 199 | #endif |
| 200 | case 4: |
| 201 | return FUNC<TypeCategory::Complex, 4>{}(std::forward<A>(x)...); |
| 202 | case 8: |
| 203 | return FUNC<TypeCategory::Complex, 8>{}(std::forward<A>(x)...); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 204 | case 10: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 205 | if constexpr (HasCppTypeFor<TypeCategory::Real, 10>) { |
| 206 | return FUNC<TypeCategory::Complex, 10>{}(std::forward<A>(x)...); |
| 207 | } |
| 208 | break; |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 209 | case 16: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 210 | if constexpr (HasCppTypeFor<TypeCategory::Real, 16>) { |
| 211 | return FUNC<TypeCategory::Complex, 16>{}(std::forward<A>(x)...); |
| 212 | } |
| 213 | break; |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 214 | } |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 215 | terminator.Crash("not yet implemented: COMPLEX(KIND=%d)", kind); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 216 | case TypeCategory::Character: |
| 217 | switch (kind) { |
| 218 | case 1: |
| 219 | return FUNC<TypeCategory::Character, 1>{}(std::forward<A>(x)...); |
| 220 | case 2: |
| 221 | return FUNC<TypeCategory::Character, 2>{}(std::forward<A>(x)...); |
| 222 | case 4: |
| 223 | return FUNC<TypeCategory::Character, 4>{}(std::forward<A>(x)...); |
| 224 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 225 | terminator.Crash("not yet implemented: CHARACTER(KIND=%d)", kind); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 226 | } |
| 227 | case TypeCategory::Logical: |
| 228 | switch (kind) { |
| 229 | case 1: |
| 230 | return FUNC<TypeCategory::Logical, 1>{}(std::forward<A>(x)...); |
| 231 | case 2: |
| 232 | return FUNC<TypeCategory::Logical, 2>{}(std::forward<A>(x)...); |
| 233 | case 4: |
| 234 | return FUNC<TypeCategory::Logical, 4>{}(std::forward<A>(x)...); |
| 235 | case 8: |
| 236 | return FUNC<TypeCategory::Logical, 8>{}(std::forward<A>(x)...); |
| 237 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 238 | terminator.Crash("not yet implemented: LOGICAL(KIND=%d)", kind); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 239 | } |
| 240 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 241 | terminator.Crash( |
| 242 | "not yet implemented: type category(%d)", static_cast<int>(cat)); |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 243 | } |
| 244 | } |
| 245 | |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 246 | // Maps a runtime INTEGER kind value to the appropriate instantiation of |
| 247 | // a function object template and calls it with the supplied arguments. |
| 248 | template <template <int KIND> class FUNC, typename RESULT, typename... A> |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 249 | inline RT_API_ATTRS RESULT ApplyIntegerKind( |
| 250 | int kind, Terminator &terminator, A &&...x) { |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 251 | switch (kind) { |
| 252 | case 1: |
| 253 | return FUNC<1>{}(std::forward<A>(x)...); |
| 254 | case 2: |
| 255 | return FUNC<2>{}(std::forward<A>(x)...); |
| 256 | case 4: |
| 257 | return FUNC<4>{}(std::forward<A>(x)...); |
| 258 | case 8: |
| 259 | return FUNC<8>{}(std::forward<A>(x)...); |
Peter Klausler | 1c35c1a | 2023-07-06 22:03:05 | [diff] [blame] | 260 | #if defined __SIZEOF_INT128__ && !AVOID_NATIVE_UINT128_T |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 261 | case 16: |
| 262 | return FUNC<16>{}(std::forward<A>(x)...); |
| 263 | #endif |
| 264 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 265 | terminator.Crash("not yet implemented: INTEGER(KIND=%d)", kind); |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 266 | } |
| 267 | } |
| 268 | |
| 269 | template <template <int KIND> class FUNC, typename RESULT, typename... A> |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 270 | inline RT_API_ATTRS RESULT ApplyFloatingPointKind( |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 271 | int kind, Terminator &terminator, A &&...x) { |
| 272 | switch (kind) { |
| 273 | #if 0 // TODO: REAL/COMPLEX (2 & 3) |
| 274 | case 2: |
| 275 | return FUNC<2>{}(std::forward<A>(x)...); |
| 276 | case 3: |
| 277 | return FUNC<3>{}(std::forward<A>(x)...); |
| 278 | #endif |
| 279 | case 4: |
| 280 | return FUNC<4>{}(std::forward<A>(x)...); |
| 281 | case 8: |
| 282 | return FUNC<8>{}(std::forward<A>(x)...); |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 283 | case 10: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 284 | if constexpr (HasCppTypeFor<TypeCategory::Real, 10>) { |
| 285 | return FUNC<10>{}(std::forward<A>(x)...); |
| 286 | } |
| 287 | break; |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 288 | case 16: |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 289 | if constexpr (HasCppTypeFor<TypeCategory::Real, 16>) { |
| 290 | return FUNC<16>{}(std::forward<A>(x)...); |
| 291 | } |
| 292 | break; |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 293 | } |
Peter Klausler | 4daa33f | 2022-05-31 21:06:11 | [diff] [blame] | 294 | terminator.Crash("not yet implemented: REAL/COMPLEX(KIND=%d)", kind); |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 295 | } |
| 296 | |
| 297 | template <template <int KIND> class FUNC, typename RESULT, typename... A> |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 298 | inline RT_API_ATTRS RESULT ApplyCharacterKind( |
| 299 | int kind, Terminator &terminator, A &&...x) { |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 300 | switch (kind) { |
| 301 | case 1: |
| 302 | return FUNC<1>{}(std::forward<A>(x)...); |
| 303 | case 2: |
| 304 | return FUNC<2>{}(std::forward<A>(x)...); |
| 305 | case 4: |
| 306 | return FUNC<4>{}(std::forward<A>(x)...); |
| 307 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 308 | terminator.Crash("not yet implemented: CHARACTER(KIND=%d)", kind); |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 309 | } |
| 310 | } |
| 311 | |
| 312 | template <template <int KIND> class FUNC, typename RESULT, typename... A> |
Slava Zakharin | 3212051 | 2023-05-22 21:05:18 | [diff] [blame] | 313 | inline RT_API_ATTRS RESULT ApplyLogicalKind( |
| 314 | int kind, Terminator &terminator, A &&...x) { |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 315 | switch (kind) { |
| 316 | case 1: |
| 317 | return FUNC<1>{}(std::forward<A>(x)...); |
| 318 | case 2: |
| 319 | return FUNC<2>{}(std::forward<A>(x)...); |
| 320 | case 4: |
| 321 | return FUNC<4>{}(std::forward<A>(x)...); |
| 322 | case 8: |
| 323 | return FUNC<8>{}(std::forward<A>(x)...); |
| 324 | default: |
Peter Steinfeld | ebe24a2 | 2022-05-05 21:54:57 | [diff] [blame] | 325 | terminator.Crash("not yet implemented: LOGICAL(KIND=%d)", kind); |
peter klausler | 8d672c0b | 2021-04-20 16:19:21 | [diff] [blame] | 326 | } |
| 327 | } |
| 328 | |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 329 | // Calculate result type of (X op Y) for *, //, DOT_PRODUCT, &c. |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 330 | std::optional<std::pair<TypeCategory, int>> inline constexpr RT_API_ATTRS |
| 331 | GetResultType(TypeCategory xCat, int xKind, TypeCategory yCat, int yKind) { |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 332 | int maxKind{std::max(xKind, yKind)}; |
| 333 | switch (xCat) { |
| 334 | case TypeCategory::Integer: |
| 335 | switch (yCat) { |
| 336 | case TypeCategory::Integer: |
| 337 | return std::make_pair(TypeCategory::Integer, maxKind); |
| 338 | case TypeCategory::Real: |
| 339 | case TypeCategory::Complex: |
Peter Klausler | 1c35c1a | 2023-07-06 22:03:05 | [diff] [blame] | 340 | #if !(defined __SIZEOF_INT128__ && !AVOID_NATIVE_UINT128_T) |
| 341 | if (xKind == 16) { |
| 342 | break; |
| 343 | } |
| 344 | #endif |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 345 | return std::make_pair(yCat, yKind); |
| 346 | default: |
| 347 | break; |
| 348 | } |
| 349 | break; |
| 350 | case TypeCategory::Real: |
| 351 | switch (yCat) { |
| 352 | case TypeCategory::Integer: |
Peter Klausler | 1c35c1a | 2023-07-06 22:03:05 | [diff] [blame] | 353 | #if !(defined __SIZEOF_INT128__ && !AVOID_NATIVE_UINT128_T) |
| 354 | if (yKind == 16) { |
| 355 | break; |
| 356 | } |
| 357 | #endif |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 358 | return std::make_pair(TypeCategory::Real, xKind); |
| 359 | case TypeCategory::Real: |
| 360 | case TypeCategory::Complex: |
| 361 | return std::make_pair(yCat, maxKind); |
| 362 | default: |
| 363 | break; |
| 364 | } |
| 365 | break; |
| 366 | case TypeCategory::Complex: |
| 367 | switch (yCat) { |
| 368 | case TypeCategory::Integer: |
Peter Klausler | 1c35c1a | 2023-07-06 22:03:05 | [diff] [blame] | 369 | #if !(defined __SIZEOF_INT128__ && !AVOID_NATIVE_UINT128_T) |
| 370 | if (yKind == 16) { |
| 371 | break; |
| 372 | } |
| 373 | #endif |
peter klausler | 50e0b29 | 2021-05-12 19:07:51 | [diff] [blame] | 374 | return std::make_pair(TypeCategory::Complex, xKind); |
| 375 | case TypeCategory::Real: |
| 376 | case TypeCategory::Complex: |
| 377 | return std::make_pair(TypeCategory::Complex, maxKind); |
| 378 | default: |
| 379 | break; |
| 380 | } |
| 381 | break; |
| 382 | case TypeCategory::Character: |
| 383 | if (yCat == TypeCategory::Character) { |
| 384 | return std::make_pair(TypeCategory::Character, maxKind); |
| 385 | } else { |
| 386 | return std::nullopt; |
| 387 | } |
| 388 | case TypeCategory::Logical: |
| 389 | if (yCat == TypeCategory::Logical) { |
| 390 | return std::make_pair(TypeCategory::Logical, maxKind); |
| 391 | } else { |
| 392 | return std::nullopt; |
| 393 | } |
| 394 | default: |
| 395 | break; |
| 396 | } |
| 397 | return std::nullopt; |
| 398 | } |
peter klausler | 79caf69 | 2021-06-17 20:13:19 | [diff] [blame] | 399 | |
Peter Klausler | a5a493e | 2021-10-19 18:30:45 | [diff] [blame] | 400 | // Accumulate floating-point results in (at least) double precision |
| 401 | template <TypeCategory CAT, int KIND> |
| 402 | using AccumulationType = CppTypeFor<CAT, |
| 403 | CAT == TypeCategory::Real || CAT == TypeCategory::Complex |
| 404 | ? std::max(KIND, static_cast<int>(sizeof(double))) |
| 405 | : KIND>; |
| 406 | |
Peter Klausler | 52a0b02 | 2023-04-12 19:32:37 | [diff] [blame] | 407 | // memchr() for any character type |
| 408 | template <typename CHAR> |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 409 | static inline RT_API_ATTRS const CHAR *FindCharacter( |
Peter Klausler | 52a0b02 | 2023-04-12 19:32:37 | [diff] [blame] | 410 | const CHAR *data, CHAR ch, std::size_t chars) { |
| 411 | const CHAR *end{data + chars}; |
| 412 | for (const CHAR *p{data}; p < end; ++p) { |
| 413 | if (*p == ch) { |
| 414 | return p; |
| 415 | } |
| 416 | } |
| 417 | return nullptr; |
| 418 | } |
| 419 | |
| 420 | template <> |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 421 | inline RT_API_ATTRS const char *FindCharacter( |
| 422 | const char *data, char ch, std::size_t chars) { |
Peter Klausler | 52a0b02 | 2023-04-12 19:32:37 | [diff] [blame] | 423 | return reinterpret_cast<const char *>( |
| 424 | std::memchr(data, static_cast<int>(ch), chars)); |
| 425 | } |
| 426 | |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 427 | // Copy payload data from one allocated descriptor to another. |
| 428 | // Assumes element counts and element sizes match, and that both |
| 429 | // descriptors are allocated. |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 430 | RT_API_ATTRS void ShallowCopyDiscontiguousToDiscontiguous( |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 431 | const Descriptor &to, const Descriptor &from); |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 432 | RT_API_ATTRS void ShallowCopyDiscontiguousToContiguous( |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 433 | const Descriptor &to, const Descriptor &from); |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 434 | RT_API_ATTRS void ShallowCopyContiguousToDiscontiguous( |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 435 | const Descriptor &to, const Descriptor &from); |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 436 | RT_API_ATTRS void ShallowCopy(const Descriptor &to, const Descriptor &from, |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 437 | bool toIsContiguous, bool fromIsContiguous); |
Slava Zakharin | 8b953fd | 2023-10-04 15:21:46 | [diff] [blame] | 438 | RT_API_ATTRS void ShallowCopy(const Descriptor &to, const Descriptor &from); |
Peter Klausler | b21c24c | 2023-07-29 15:34:14 | [diff] [blame] | 439 | |
Yi Wu | e2b896a | 2024-01-10 10:02:48 | [diff] [blame^] | 440 | // Ensures that a character string is null-terminated, allocating a /p length +1 |
| 441 | // size memory for null-terminator if necessary. Returns the original or a newly |
| 442 | // allocated null-terminated string (responsibility for deallocation is on the |
| 443 | // caller). |
| 444 | RT_API_ATTRS const char *EnsureNullTerminated( |
| 445 | const char *str, std::size_t length, Terminator &terminator); |
| 446 | |
| 447 | RT_API_ATTRS bool IsValidCharDescriptor(const Descriptor *value); |
| 448 | |
| 449 | RT_API_ATTRS bool IsValidIntDescriptor(const Descriptor *intVal); |
| 450 | |
| 451 | // Copy a null-terminated character array \p rawValue to descriptor \p value. |
| 452 | // The copy starts at the given \p offset, if not present then start at 0. |
| 453 | // If descriptor `errmsg` is provided, error messages will be stored to it. |
| 454 | // Returns stats specified in standard. |
| 455 | RT_API_ATTRS std::int32_t CopyCharsToDescriptor(const Descriptor &value, |
| 456 | const char *rawValue, std::size_t rawValueLength, |
| 457 | const Descriptor *errmsg = nullptr, std::size_t offset = 0); |
| 458 | |
| 459 | RT_API_ATTRS void StoreIntToDescriptor( |
| 460 | const Descriptor *length, std::int64_t value, Terminator &terminator); |
| 461 | |
Yi Wu | 18af032 | 2023-12-21 10:35:28 | [diff] [blame] | 462 | // Defines a utility function for copying and padding characters |
| 463 | template <typename TO, typename FROM> |
| 464 | RT_API_ATTRS void CopyAndPad( |
| 465 | TO *to, const FROM *from, std::size_t toChars, std::size_t fromChars) { |
| 466 | if constexpr (sizeof(TO) != sizeof(FROM)) { |
| 467 | std::size_t copyChars{std::min(toChars, fromChars)}; |
| 468 | for (std::size_t j{0}; j < copyChars; ++j) { |
| 469 | to[j] = from[j]; |
| 470 | } |
| 471 | for (std::size_t j{copyChars}; j < toChars; ++j) { |
| 472 | to[j] = static_cast<TO>(' '); |
| 473 | } |
| 474 | } else if (toChars <= fromChars) { |
| 475 | std::memcpy(to, from, toChars * sizeof(TO)); |
| 476 | } else { |
| 477 | std::memcpy(to, from, std::min(toChars, fromChars) * sizeof(TO)); |
| 478 | for (std::size_t j{fromChars}; j < toChars; ++j) { |
| 479 | to[j] = static_cast<TO>(' '); |
| 480 | } |
| 481 | } |
| 482 | } |
| 483 | |
Tim Keith | 1f87900 | 2020-03-29 04:00:16 | [diff] [blame] | 484 | } // namespace Fortran::runtime |
| 485 | #endif // FORTRAN_RUNTIME_TOOLS_H_ |