cde1035a2f
This patch adds support for the -mrecip command line option. The parsing of this options is equivalent to Clang's and it is implemented by setting the "reciprocal-estimates" function attribute. Also move the ParseMRecip(...) function to CommonArgs, so that Flang is able to make use of it as well. --------- Co-authored-by: Cameron McInally <cmcinally@nvidia.com>
121 lines
4.9 KiB
C++
121 lines
4.9 KiB
C++
//===- FunctionAttr.cpp ---------------------------------------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
/// \file
|
|
/// This is a generic pass for adding attributes to functions.
|
|
//===----------------------------------------------------------------------===//
|
|
#include "flang/Optimizer/Dialect/FIROpsSupport.h"
|
|
#include "flang/Optimizer/Support/InternalNames.h"
|
|
#include "flang/Optimizer/Transforms/Passes.h"
|
|
#include "mlir/Dialect/LLVMIR/LLVMAttrs.h"
|
|
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
|
|
|
|
namespace fir {
|
|
#define GEN_PASS_DEF_FUNCTIONATTR
|
|
#include "flang/Optimizer/Transforms/Passes.h.inc"
|
|
} // namespace fir
|
|
|
|
#define DEBUG_TYPE "func-attr"
|
|
|
|
namespace {
|
|
|
|
class FunctionAttrPass : public fir::impl::FunctionAttrBase<FunctionAttrPass> {
|
|
public:
|
|
FunctionAttrPass(const fir::FunctionAttrOptions &options) : Base{options} {}
|
|
FunctionAttrPass() = default;
|
|
void runOnOperation() override;
|
|
};
|
|
|
|
} // namespace
|
|
|
|
void FunctionAttrPass::runOnOperation() {
|
|
LLVM_DEBUG(llvm::dbgs() << "=== Begin " DEBUG_TYPE " ===\n");
|
|
mlir::func::FuncOp func = getOperation();
|
|
|
|
LLVM_DEBUG(llvm::dbgs() << "Func-name:" << func.getSymName() << "\n");
|
|
|
|
llvm::StringRef name = func.getSymName();
|
|
auto deconstructed = fir::NameUniquer::deconstruct(name);
|
|
bool isFromModule = !deconstructed.second.modules.empty();
|
|
|
|
if ((isFromModule || !func.isDeclaration()) &&
|
|
!fir::hasBindcAttr(func.getOperation())) {
|
|
llvm::StringRef nocapture = mlir::LLVM::LLVMDialect::getNoCaptureAttrName();
|
|
llvm::StringRef noalias = mlir::LLVM::LLVMDialect::getNoAliasAttrName();
|
|
mlir::UnitAttr unitAttr = mlir::UnitAttr::get(func.getContext());
|
|
|
|
for (auto [index, argType] : llvm::enumerate(func.getArgumentTypes())) {
|
|
bool isNoCapture = false;
|
|
bool isNoAlias = false;
|
|
if (mlir::isa<fir::ReferenceType>(argType) &&
|
|
!func.getArgAttr(index, fir::getTargetAttrName()) &&
|
|
!func.getArgAttr(index, fir::getAsynchronousAttrName()) &&
|
|
!func.getArgAttr(index, fir::getVolatileAttrName())) {
|
|
isNoCapture = true;
|
|
isNoAlias = !fir::isPointerType(argType);
|
|
} else if (mlir::isa<fir::BaseBoxType>(argType)) {
|
|
// !fir.box arguments will be passed as descriptor pointers
|
|
// at LLVM IR dialect level - they cannot be captured,
|
|
// and cannot alias with anything within the function.
|
|
isNoCapture = isNoAlias = true;
|
|
}
|
|
if (isNoCapture && setNoCapture)
|
|
func.setArgAttr(index, nocapture, unitAttr);
|
|
if (isNoAlias && setNoAlias)
|
|
func.setArgAttr(index, noalias, unitAttr);
|
|
}
|
|
}
|
|
|
|
mlir::MLIRContext *context = &getContext();
|
|
if (framePointerKind != mlir::LLVM::framePointerKind::FramePointerKind::None)
|
|
func->setAttr("frame_pointer", mlir::LLVM::FramePointerKindAttr::get(
|
|
context, framePointerKind));
|
|
|
|
auto llvmFuncOpName =
|
|
mlir::OperationName(mlir::LLVM::LLVMFuncOp::getOperationName(), context);
|
|
if (!instrumentFunctionEntry.empty())
|
|
func->setAttr(mlir::LLVM::LLVMFuncOp::getInstrumentFunctionEntryAttrName(
|
|
llvmFuncOpName),
|
|
mlir::StringAttr::get(context, instrumentFunctionEntry));
|
|
if (!instrumentFunctionExit.empty())
|
|
func->setAttr(mlir::LLVM::LLVMFuncOp::getInstrumentFunctionExitAttrName(
|
|
llvmFuncOpName),
|
|
mlir::StringAttr::get(context, instrumentFunctionExit));
|
|
if (noInfsFPMath)
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getNoInfsFpMathAttrName(llvmFuncOpName),
|
|
mlir::BoolAttr::get(context, true));
|
|
if (noNaNsFPMath)
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getNoNansFpMathAttrName(llvmFuncOpName),
|
|
mlir::BoolAttr::get(context, true));
|
|
if (approxFuncFPMath)
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getApproxFuncFpMathAttrName(llvmFuncOpName),
|
|
mlir::BoolAttr::get(context, true));
|
|
if (noSignedZerosFPMath)
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getNoSignedZerosFpMathAttrName(llvmFuncOpName),
|
|
mlir::BoolAttr::get(context, true));
|
|
if (unsafeFPMath)
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getUnsafeFpMathAttrName(llvmFuncOpName),
|
|
mlir::BoolAttr::get(context, true));
|
|
if (!reciprocals.empty())
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getReciprocalEstimatesAttrName(llvmFuncOpName),
|
|
mlir::StringAttr::get(context, reciprocals));
|
|
if (!preferVectorWidth.empty())
|
|
func->setAttr(
|
|
mlir::LLVM::LLVMFuncOp::getPreferVectorWidthAttrName(llvmFuncOpName),
|
|
mlir::StringAttr::get(context, preferVectorWidth));
|
|
|
|
LLVM_DEBUG(llvm::dbgs() << "=== End " DEBUG_TYPE " ===\n");
|
|
}
|