Skip to content

Commit 9f4854f

Browse files
committed
[flang] In AllocMemOp lowering, convert types for calling malloc on 32-bit
1 parent 9a54c77 commit 9f4854f

File tree

2 files changed

+31
-8
lines changed

2 files changed

+31
-8
lines changed

flang/lib/Optimizer/CodeGen/CodeGen.cpp

Lines changed: 13 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -982,7 +982,8 @@ struct EmboxCharOpConversion : public fir::FIROpConversion<fir::EmboxCharOp> {
982982
template <typename ModuleOp>
983983
static mlir::SymbolRefAttr
984984
getMallocInModule(ModuleOp mod, fir::AllocMemOp op,
985-
mlir::ConversionPatternRewriter &rewriter) {
985+
mlir::ConversionPatternRewriter &rewriter,
986+
mlir::Type indexType) {
986987
static constexpr char mallocName[] = "malloc";
987988
if (auto mallocFunc =
988989
mod.template lookupSymbol<mlir::LLVM::LLVMFuncOp>(mallocName))
@@ -992,7 +993,6 @@ getMallocInModule(ModuleOp mod, fir::AllocMemOp op,
992993
return mlir::SymbolRefAttr::get(userMalloc);
993994

994995
mlir::OpBuilder moduleBuilder(mod.getBodyRegion());
995-
auto indexType = mlir::IntegerType::get(op.getContext(), 64);
996996
auto mallocDecl = moduleBuilder.create<mlir::LLVM::LLVMFuncOp>(
997997
op.getLoc(), mallocName,
998998
mlir::LLVM::LLVMFunctionType::get(getLlvmPtrType(op.getContext()),
@@ -1002,12 +1002,13 @@ getMallocInModule(ModuleOp mod, fir::AllocMemOp op,
10021002
}
10031003

10041004
/// Return the LLVMFuncOp corresponding to the standard malloc call.
1005-
static mlir::SymbolRefAttr
1006-
getMalloc(fir::AllocMemOp op, mlir::ConversionPatternRewriter &rewriter) {
1005+
static mlir::SymbolRefAttr getMalloc(fir::AllocMemOp op,
1006+
mlir::ConversionPatternRewriter &rewriter,
1007+
mlir::Type indexType) {
10071008
if (auto mod = op->getParentOfType<mlir::gpu::GPUModuleOp>())
1008-
return getMallocInModule(mod, op, rewriter);
1009+
return getMallocInModule(mod, op, rewriter, indexType);
10091010
auto mod = op->getParentOfType<mlir::ModuleOp>();
1010-
return getMallocInModule(mod, op, rewriter);
1011+
return getMallocInModule(mod, op, rewriter, indexType);
10111012
}
10121013

10131014
/// Helper function for generating the LLVM IR that computes the distance
@@ -1067,7 +1068,12 @@ struct AllocMemOpConversion : public fir::FIROpConversion<fir::AllocMemOp> {
10671068
for (mlir::Value opnd : adaptor.getOperands())
10681069
size = rewriter.create<mlir::LLVM::MulOp>(
10691070
loc, ity, size, integerCast(loc, rewriter, ity, opnd));
1070-
heap->setAttr("callee", getMalloc(heap, rewriter));
1071+
auto mallocTyWidth = lowerTy().getIndexTypeBitwidth();
1072+
auto mallocTy =
1073+
mlir::IntegerType::get(rewriter.getContext(), mallocTyWidth);
1074+
if (mallocTyWidth != ity.getIntOrFloatBitWidth())
1075+
size = integerCast(loc, rewriter, mallocTy, size);
1076+
heap->setAttr("callee", getMalloc(heap, rewriter, mallocTy));
10711077
rewriter.replaceOpWithNewOp<mlir::LLVM::CallOp>(
10721078
heap, ::getLlvmPtrType(heap.getContext()), size,
10731079
addLLVMOpBundleAttrs(rewriter, heap->getAttrs(), 1));

flang/lib/Optimizer/CodeGen/TypeConverter.cpp

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,27 @@
2828

2929
namespace fir {
3030

31+
static mlir::LowerToLLVMOptions MakeLowerOptions(mlir::ModuleOp module) {
32+
llvm::StringRef dataLayoutString;
33+
auto dataLayoutAttr = module->template getAttrOfType<mlir::StringAttr>(
34+
mlir::LLVM::LLVMDialect::getDataLayoutAttrName());
35+
if (dataLayoutAttr)
36+
dataLayoutString = dataLayoutAttr.getValue();
37+
38+
auto options = mlir::LowerToLLVMOptions(module.getContext());
39+
auto llvmDL = llvm::DataLayout(dataLayoutString);
40+
if (llvmDL.getPointerSizeInBits(0) == 32) {
41+
// FIXME: Should translateDataLayout in the MLIR layer be doing this?
42+
options.overrideIndexBitwidth(32);
43+
}
44+
options.dataLayout = llvmDL;
45+
return options;
46+
}
47+
3148
LLVMTypeConverter::LLVMTypeConverter(mlir::ModuleOp module, bool applyTBAA,
3249
bool forceUnifiedTBAATree,
3350
const mlir::DataLayout &dl)
34-
: mlir::LLVMTypeConverter(module.getContext()),
51+
: mlir::LLVMTypeConverter(module.getContext(), MakeLowerOptions(module)),
3552
kindMapping(getKindMapping(module)),
3653
specifics(CodeGenSpecifics::get(
3754
module.getContext(), getTargetTriple(module), getKindMapping(module),

0 commit comments

Comments
 (0)