blob: d82fdb0ed99ab10e42841a96590f1945ed768bf4 [file] [log] [blame]
//===-- Lower/Mangler.h -- name mangling ------------------------*- 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
// Coding style:
#include "mlir/IR/BuiltinTypes.h"
#include "llvm/ADT/StringRef.h"
#include <string>
namespace fir {
/// Returns a name suitable to define mlir functions for Fortran intrinsic
/// Procedure. These names are guaranteed to not conflict with user defined
/// procedures. This is needed to implement Fortran generic intrinsics as
/// several mlir functions specialized for the argument types.
/// The result is guaranteed to be distinct for different mlir::FunctionType
/// arguments. The mangling pattern is:
/// fir.<generic name>.<result type>.<arg type>...
/// e.g ACOS(COMPLEX(4)) is mangled as fir.acos.z4.z4
std::string mangleIntrinsicProcedure(llvm::StringRef genericName,
} // namespace fir
namespace Fortran {
namespace common {
template <typename>
class Reference;
namespace semantics {
class Symbol;
class DerivedTypeSpec;
} // namespace semantics
namespace lower::mangle {
/// Convert a front-end Symbol to an internal name.
/// If \p keepExternalInScope is true, the mangling of external symbols
/// retains the scope of the symbol declaring externals. Otherwise,
/// external symbols are mangled outside of any scope. Keeping the scope is
/// useful in attributes where all the Fortran context is to be maintained.
std::string mangleName(const semantics::Symbol &,
bool keepExternalInScope = false);
/// Convert a derived type instance to an internal name.
std::string mangleName(const semantics::DerivedTypeSpec &);
/// Recover the bare name of the original symbol from an internal name.
std::string demangleName(llvm::StringRef name);
} // namespace lower::mangle
} // namespace Fortran