2021-09-02 16:14:01 +08:00
|
|
|
//===-- runtime/tools.cpp -------------------------------------------------===//
|
2020-01-24 08:10:00 +08:00
|
|
|
//
|
|
|
|
// 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 "tools.h"
|
[flang] Implement reductions in the runtime
Add runtime APIs, implementations, and tests for ALL, ANY, COUNT,
MAXLOC, MAXVAL, MINLOC, MINVAL, PRODUCT, and SUM reduction
transformantional intrinsic functions for all relevant argument
and result types and kinds, both without DIM= arguments
(total reductions) and with (partial reductions).
Complex-valued reductions have their APIs in C so that
C's _Complex types can be used for their results.
Some infrastructure work was also necessary or noticed:
* Usage of "long double" in the compiler was cleaned up a
bit, and host dependences on x86 / MSVC have been isolated
in a new Common/long-double header.
* Character comparison has been exposed via an extern template
so that reductions could use it.
* Mappings from Fortran type category/kind to host C++ types
and vice versa have been isolated into runtime/cpp-type.h and
then used throughout the runtime as appropriate.
* The portable 128-bit integer package in Common/uint128.h
was generalized to support signed comparisons.
* Bugs in descriptor indexing code were fixed.
Differential Revision: https://reviews.llvm.org/D99666
2021-04-01 00:14:08 +08:00
|
|
|
#include "terminator.h"
|
2020-03-13 01:52:29 +08:00
|
|
|
#include <algorithm>
|
[flang] Implement reductions in the runtime
Add runtime APIs, implementations, and tests for ALL, ANY, COUNT,
MAXLOC, MAXVAL, MINLOC, MINVAL, PRODUCT, and SUM reduction
transformantional intrinsic functions for all relevant argument
and result types and kinds, both without DIM= arguments
(total reductions) and with (partial reductions).
Complex-valued reductions have their APIs in C so that
C's _Complex types can be used for their results.
Some infrastructure work was also necessary or noticed:
* Usage of "long double" in the compiler was cleaned up a
bit, and host dependences on x86 / MSVC have been isolated
in a new Common/long-double header.
* Character comparison has been exposed via an extern template
so that reductions could use it.
* Mappings from Fortran type category/kind to host C++ types
and vice versa have been isolated into runtime/cpp-type.h and
then used throughout the runtime as appropriate.
* The portable 128-bit integer package in Common/uint128.h
was generalized to support signed comparisons.
* Bugs in descriptor indexing code were fixed.
Differential Revision: https://reviews.llvm.org/D99666
2021-04-01 00:14:08 +08:00
|
|
|
#include <cstdint>
|
2021-10-12 20:40:48 +08:00
|
|
|
#include <cstdlib>
|
2020-01-24 08:10:00 +08:00
|
|
|
#include <cstring>
|
|
|
|
|
|
|
|
namespace Fortran::runtime {
|
|
|
|
|
2020-08-04 02:35:29 +08:00
|
|
|
std::size_t TrimTrailingSpaces(const char *s, std::size_t n) {
|
|
|
|
while (n > 0 && s[n - 1] == ' ') {
|
|
|
|
--n;
|
|
|
|
}
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
2020-01-24 08:10:00 +08:00
|
|
|
OwningPtr<char> SaveDefaultCharacter(
|
2020-02-05 08:55:45 +08:00
|
|
|
const char *s, std::size_t length, const Terminator &terminator) {
|
2020-01-24 08:10:00 +08:00
|
|
|
if (s) {
|
|
|
|
auto *p{static_cast<char *>(AllocateMemoryOrCrash(terminator, length + 1))};
|
|
|
|
std::memcpy(p, s, length);
|
|
|
|
p[length] = '\0';
|
|
|
|
return OwningPtr<char>{p};
|
|
|
|
} else {
|
|
|
|
return OwningPtr<char>{};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool CaseInsensitiveMatch(
|
|
|
|
const char *value, std::size_t length, const char *possibility) {
|
2020-02-14 06:41:56 +08:00
|
|
|
for (; length-- > 0; ++possibility) {
|
|
|
|
char ch{*value++};
|
2020-01-24 08:10:00 +08:00
|
|
|
if (ch >= 'a' && ch <= 'z') {
|
|
|
|
ch += 'A' - 'a';
|
|
|
|
}
|
2020-02-14 06:41:56 +08:00
|
|
|
if (*possibility != ch) {
|
|
|
|
if (*possibility != '\0' || ch != ' ') {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
// Ignore trailing blanks (12.5.6.2 p1)
|
|
|
|
while (length-- > 0) {
|
|
|
|
if (*value++ != ' ') {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
2020-01-24 08:10:00 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return *possibility == '\0';
|
|
|
|
}
|
|
|
|
|
|
|
|
int IdentifyValue(
|
|
|
|
const char *value, std::size_t length, const char *possibilities[]) {
|
|
|
|
if (value) {
|
|
|
|
for (int j{0}; possibilities[j]; ++j) {
|
|
|
|
if (CaseInsensitiveMatch(value, length, possibilities[j])) {
|
|
|
|
return j;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
2020-02-14 06:41:56 +08:00
|
|
|
|
|
|
|
void ToFortranDefaultCharacter(
|
|
|
|
char *to, std::size_t toLength, const char *from) {
|
|
|
|
std::size_t len{std::strlen(from)};
|
|
|
|
if (len < toLength) {
|
2021-06-26 01:40:08 +08:00
|
|
|
std::memcpy(to, from, len);
|
2020-02-14 06:41:56 +08:00
|
|
|
std::memset(to + len, ' ', toLength - len);
|
2021-06-26 01:40:08 +08:00
|
|
|
} else {
|
|
|
|
std::memcpy(to, from, toLength);
|
2020-02-14 06:41:56 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
[flang] Implement reductions in the runtime
Add runtime APIs, implementations, and tests for ALL, ANY, COUNT,
MAXLOC, MAXVAL, MINLOC, MINVAL, PRODUCT, and SUM reduction
transformantional intrinsic functions for all relevant argument
and result types and kinds, both without DIM= arguments
(total reductions) and with (partial reductions).
Complex-valued reductions have their APIs in C so that
C's _Complex types can be used for their results.
Some infrastructure work was also necessary or noticed:
* Usage of "long double" in the compiler was cleaned up a
bit, and host dependences on x86 / MSVC have been isolated
in a new Common/long-double header.
* Character comparison has been exposed via an extern template
so that reductions could use it.
* Mappings from Fortran type category/kind to host C++ types
and vice versa have been isolated into runtime/cpp-type.h and
then used throughout the runtime as appropriate.
* The portable 128-bit integer package in Common/uint128.h
was generalized to support signed comparisons.
* Bugs in descriptor indexing code were fixed.
Differential Revision: https://reviews.llvm.org/D99666
2021-04-01 00:14:08 +08:00
|
|
|
void CheckConformability(const Descriptor &to, const Descriptor &x,
|
|
|
|
Terminator &terminator, const char *funcName, const char *toName,
|
|
|
|
const char *xName) {
|
|
|
|
if (x.rank() == 0) {
|
|
|
|
return; // scalar conforms with anything
|
|
|
|
}
|
|
|
|
int rank{to.rank()};
|
|
|
|
if (x.rank() != rank) {
|
|
|
|
terminator.Crash(
|
|
|
|
"Incompatible array arguments to %s: %s has rank %d but %s has rank %d",
|
|
|
|
funcName, toName, rank, xName, x.rank());
|
|
|
|
} else {
|
|
|
|
for (int j{0}; j < rank; ++j) {
|
|
|
|
auto toExtent{static_cast<std::int64_t>(to.GetDimension(j).Extent())};
|
|
|
|
auto xExtent{static_cast<std::int64_t>(x.GetDimension(j).Extent())};
|
|
|
|
if (xExtent != toExtent) {
|
|
|
|
terminator.Crash("Incompatible array arguments to %s: dimension %d of "
|
|
|
|
"%s has extent %" PRId64 " but %s has extent %" PRId64,
|
|
|
|
funcName, j, toName, toExtent, xName, xExtent);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void CheckIntegerKind(Terminator &terminator, int kind, const char *intrinsic) {
|
|
|
|
if (kind < 1 || kind > 16 || (kind & (kind - 1)) != 0) {
|
|
|
|
terminator.Crash("%s: bad KIND=%d argument", intrinsic, kind);
|
|
|
|
}
|
|
|
|
}
|
2020-03-29 12:00:16 +08:00
|
|
|
} // namespace Fortran::runtime
|