blob: ea89e4ee2ee23d15233677a816deec1920c35887 [file] [log] [blame]
//===-- include/flang/Evaluate/constant.h -----------------------*- C++ -*-===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
#include "formatting.h"
#include "type.h"
#include "flang/Common/default-kinds.h"
#include "flang/Common/reference.h"
#include <map>
#include <vector>
namespace llvm {
class raw_ostream;
namespace Fortran::semantics {
class Symbol;
namespace Fortran::evaluate {
using semantics::Symbol;
using SymbolRef = common::Reference<const Symbol>;
// Wraps a constant value in a class templated by its resolved type.
// This Constant<> template class should be instantiated only for
// concrete intrinsic types and SomeDerived. There is no instance
// Constant<SomeType> since there is no way to constrain each
// element of its array to hold the same type. To represent a generic
// constant, use a generic expression like Expr<SomeInteger> or
// Expr<SomeType>) to wrap the appropriate instantiation of Constant<>.
template <typename> class Constant;
// When describing shapes of constants or specifying 1-based subscript
// values as indices into constants, use a vector of integers.
using ConstantSubscripts = std::vector<ConstantSubscript>;
inline int GetRank(const ConstantSubscripts &s) {
return static_cast<int>(s.size());
std::size_t TotalElementCount(const ConstantSubscripts &);
// Validate dimension re-ordering like ORDER in RESHAPE.
// On success, return a vector that can be used as dimOrder in
// ConstantBound::IncrementSubscripts().
std::optional<std::vector<int>> ValidateDimensionOrder(
int rank, const std::vector<int> &order);
bool HasNegativeExtent(const ConstantSubscripts &);
class ConstantBounds {
ConstantBounds() = default;
explicit ConstantBounds(const ConstantSubscripts &shape);
explicit ConstantBounds(ConstantSubscripts &&shape);
const ConstantSubscripts &shape() const { return shape_; }
const ConstantSubscripts &lbounds() const { return lbounds_; }
void set_lbounds(ConstantSubscripts &&);
int Rank() const { return GetRank(shape_); }
Constant<SubscriptInteger> SHAPE() const;
// If no optional dimension order argument is passed, increments a vector of
// subscripts in Fortran array order (first dimension varying most quickly).
// Otherwise, increments the vector of subscripts according to the given
// dimension order (dimension dimOrder[0] varying most quickly; dimension
// indexing is zero based here). Returns false when last element was visited.
bool IncrementSubscripts(
ConstantSubscripts &, const std::vector<int> *dimOrder = nullptr) const;
ConstantSubscript SubscriptsToOffset(const ConstantSubscripts &) const;
ConstantSubscripts shape_;
ConstantSubscripts lbounds_;
// Constant<> is specialized for Character kinds and SomeDerived.
// The non-Character intrinsic types, and SomeDerived, share enough
// common behavior that they use this common base class.
template <typename RESULT, typename ELEMENT = Scalar<RESULT>>
class ConstantBase : public ConstantBounds {
static_assert(RESULT::category != TypeCategory::Character);
using Result = RESULT;
using Element = ELEMENT;
template <typename A>
ConstantBase(const A &x, Result res = Result{}) : result_{res}, values_{x} {}
ConstantBase(ELEMENT &&x, Result res = Result{})
: result_{res}, values_{std::move(x)} {}
std::vector<Element> &&, ConstantSubscripts &&, Result = Result{});
bool operator==(const ConstantBase &) const;
bool empty() const { return values_.empty(); }
std::size_t size() const { return values_.size(); }
const std::vector<Element> &values() const { return values_; }
constexpr Result result() const { return result_; }
constexpr DynamicType GetType() const { return result_.GetType(); }
llvm::raw_ostream &AsFortran(llvm::raw_ostream &) const;
std::vector<Element> Reshape(const ConstantSubscripts &) const;
std::size_t CopyFrom(const ConstantBase &source, std::size_t count,
ConstantSubscripts &resultSubscripts, const std::vector<int> *dimOrder);
Result result_;
std::vector<Element> values_;
template <typename T> class Constant : public ConstantBase<T> {
using Result = T;
using Base = ConstantBase<T>;
using Element = Scalar<T>;
using Base::Base;
std::optional<Scalar<T>> GetScalarValue() const {
if (ConstantBounds::Rank() == 0) {
} else {
return std::nullopt;
// Apply subscripts. An empty subscript list is allowed for
// a scalar constant.
Element At(const ConstantSubscripts &) const;
Constant Reshape(ConstantSubscripts &&) const;
std::size_t CopyFrom(const Constant &source, std::size_t count,
ConstantSubscripts &resultSubscripts, const std::vector<int> *dimOrder);
template <int KIND>
class Constant<Type<TypeCategory::Character, KIND>> : public ConstantBounds {
using Result = Type<TypeCategory::Character, KIND>;
using Element = Scalar<Result>;
explicit Constant(const Scalar<Result> &);
explicit Constant(Scalar<Result> &&);
ConstantSubscript length, std::vector<Element> &&, ConstantSubscripts &&);
bool operator==(const Constant &that) const {
return shape() == that.shape() && values_ == that.values_;
bool empty() const;
std::size_t size() const;
const Scalar<Result> &values() const { return values_; }
ConstantSubscript LEN() const { return length_; }
std::optional<Scalar<Result>> GetScalarValue() const {
if (Rank() == 0) {
return values_;
} else {
return std::nullopt;
// Apply subscripts, if any.
Scalar<Result> At(const ConstantSubscripts &) const;
Constant Reshape(ConstantSubscripts &&) const;
llvm::raw_ostream &AsFortran(llvm::raw_ostream &) const;
static constexpr DynamicType GetType() {
return {TypeCategory::Character, KIND};
std::size_t CopyFrom(const Constant &source, std::size_t count,
ConstantSubscripts &resultSubscripts, const std::vector<int> *dimOrder);
Scalar<Result> values_; // one contiguous string
ConstantSubscript length_;
class StructureConstructor;
struct ComponentCompare {
bool operator()(SymbolRef x, SymbolRef y) const;
using StructureConstructorValues = std::map<SymbolRef,
common::CopyableIndirection<Expr<SomeType>>, ComponentCompare>;
template <>
class Constant<SomeDerived>
: public ConstantBase<SomeDerived, StructureConstructorValues> {
using Result = SomeDerived;
using Element = StructureConstructorValues;
using Base = ConstantBase<SomeDerived, StructureConstructorValues>;
Constant(const StructureConstructor &);
Constant(StructureConstructor &&);
Constant(const semantics::DerivedTypeSpec &,
std::vector<StructureConstructorValues> &&, ConstantSubscripts &&);
Constant(const semantics::DerivedTypeSpec &,
std::vector<StructureConstructor> &&, ConstantSubscripts &&);
std::optional<StructureConstructor> GetScalarValue() const;
StructureConstructor At(const ConstantSubscripts &) const;
Constant Reshape(ConstantSubscripts &&) const;
std::size_t CopyFrom(const Constant &source, std::size_t count,
ConstantSubscripts &resultSubscripts, const std::vector<int> *dimOrder);
FOR_EACH_LENGTHLESS_INTRINSIC_KIND(extern template class ConstantBase, )
extern template class ConstantBase<SomeDerived, StructureConstructorValues>;
FOR_EACH_INTRINSIC_KIND(extern template class Constant, )
FOR_EACH_LENGTHLESS_INTRINSIC_KIND(template class ConstantBase, ) \
template class ConstantBase<SomeDerived, StructureConstructorValues>; \
FOR_EACH_INTRINSIC_KIND(template class Constant, )
} // namespace Fortran::evaluate