From 552522bef66c56dc4336d5948662f295dd733c0d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Markus=20B=C3=B6ck?= Date: Fri, 10 Mar 2023 08:33:21 +0100 Subject: [PATCH] [mlir] Enable opaque pointers in LLVM conversion passes by default Part of https://discourse.llvm.org/t/rfc-switching-the-llvm-dialect-and-dialect-lowerings-to-opaque-pointers/68179 When this patch lands any downstream users with custom LLVM conversion passes not yet using opaque pointers will start either experiencing assertions being triggered, null pointer dereferences or at the very least verifier errors. These can be either fixed by switching to opaque pointers or simply disabling opaque pointers in both pass options of any upstream conversion passes and any uses of `LLVMTypeConverter` via the `LowerToLLVMOptions`. Users using just MLIRs conversion passes to the LLVM Dialect should not experience any change in functionality except when inspecting the output from the passes. Differential Revision: https://reviews.llvm.org/D145585 --- flang/lib/Optimizer/CodeGen/TypeConverter.h | 8 +++++- .../mlir/Conversion/LLVMCommon/LoweringOptions.h | 2 +- mlir/include/mlir/Conversion/Passes.td | 33 +++++++++++----------- mlir/test/mlir-cpu-runner/bare-ptr-call-conv.mlir | 2 -- 4 files changed, 24 insertions(+), 21 deletions(-) diff --git a/flang/lib/Optimizer/CodeGen/TypeConverter.h b/flang/lib/Optimizer/CodeGen/TypeConverter.h index c974001..36c02b8 100644 --- a/flang/lib/Optimizer/CodeGen/TypeConverter.h +++ b/flang/lib/Optimizer/CodeGen/TypeConverter.h @@ -47,7 +47,13 @@ namespace fir { class LLVMTypeConverter : public mlir::LLVMTypeConverter { public: LLVMTypeConverter(mlir::ModuleOp module, bool applyTBAA) - : mlir::LLVMTypeConverter(module.getContext()), + : mlir::LLVMTypeConverter(module.getContext(), + [&] { + mlir::LowerToLLVMOptions options( + module.getContext()); + options.useOpaquePointers = false; + return options; + }()), kindMapping(getKindMapping(module)), specifics(CodeGenSpecifics::get(module.getContext(), getTargetTriple(module), diff --git a/mlir/include/mlir/Conversion/LLVMCommon/LoweringOptions.h b/mlir/include/mlir/Conversion/LLVMCommon/LoweringOptions.h index a3338eb..bc45fcd 100644 --- a/mlir/include/mlir/Conversion/LLVMCommon/LoweringOptions.h +++ b/mlir/include/mlir/Conversion/LLVMCommon/LoweringOptions.h @@ -33,7 +33,7 @@ public: LowerToLLVMOptions(MLIRContext *ctx, const DataLayout &dl); bool useBarePtrCallConv = false; - bool useOpaquePointers = false; + bool useOpaquePointers = true; enum class AllocLowering { /// Use malloc for for heap allocations. diff --git a/mlir/include/mlir/Conversion/Passes.td b/mlir/include/mlir/Conversion/Passes.td index 700ed61..690958b 100644 --- a/mlir/include/mlir/Conversion/Passes.td +++ b/mlir/include/mlir/Conversion/Passes.td @@ -158,7 +158,7 @@ def ConvertAsyncToLLVMPass : Pass<"convert-async-to-llvm", "ModuleOp"> { ]; let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -251,7 +251,7 @@ def ConvertControlFlowToLLVMPass : Pass<"convert-cf-to-llvm", "ModuleOp"> { /*default=kDeriveIndexBitwidthFromDataLayout*/"0", "Bitwidth of the index type, 0 to use size of machine word">, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -314,7 +314,7 @@ def ConvertFuncToLLVMPass : Pass<"convert-func-to-llvm", "ModuleOp"> { "String description (LLVM format) of the data layout that is " "expected on the produced module">, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -362,7 +362,7 @@ def GpuToLLVMConversionPass : Pass<"gpu-to-llvm", "ModuleOp"> { "Annotation attribute string for GPU binary" >, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; @@ -388,7 +388,7 @@ def LowerHostCodeToLLVMPass : Pass<"lower-host-to-llvm", "ModuleOp"> { let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; @@ -414,7 +414,7 @@ def ConvertGpuOpsToNVVMOps : Pass<"convert-gpu-to-nvvm", "gpu::GPUModuleOp"> { Option<"hasRedux", "has-redux", "bool", /*default=*/"false", "Target gpu supports redux">, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -451,7 +451,7 @@ def ConvertGpuOpsToROCDLOps : Pass<"convert-gpu-to-rocdl", "gpu::GPUModuleOp"> { clEnumValN(::mlir::gpu::amd::Runtime::OpenCL, "OpenCL", "OpenCL") )}]>, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -507,7 +507,7 @@ def ConvertVulkanLaunchFuncToVulkanCallsPass let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; @@ -545,11 +545,10 @@ def ConvertLinalgToLLVMPass : Pass<"convert-linalg-to-llvm", "ModuleOp"> { let summary = "Convert the operations from the linalg dialect into the LLVM " "dialect"; let dependentDialects = ["scf::SCFDialect", "LLVM::LLVMDialect"]; - let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " - "instead of typed pointers"> + /*default=*/"true", "Generate LLVM IR using opaque pointers " + "instead of typed pointers"> ]; } @@ -657,7 +656,7 @@ def FinalizeMemRefToLLVMConversionPass : "Use generic allocation and deallocation functions instead of the " "classic 'malloc', 'aligned_alloc' and 'free' functions">, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; } @@ -702,7 +701,7 @@ def ConvertNVGPUToNVVMPass : Pass<"convert-nvgpu-to-nvvm"> { ]; let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; } @@ -727,7 +726,7 @@ def ConvertOpenACCToLLVMPass : Pass<"convert-openacc-to-llvm", "ModuleOp"> { let dependentDialects = ["LLVM::LLVMDialect"]; let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers">, ]; } @@ -798,7 +797,7 @@ def ConvertSCFToOpenMPPass : Pass<"convert-scf-to-openmp", "ModuleOp"> { let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; @@ -888,7 +887,7 @@ def ConvertSPIRVToLLVMPass : Pass<"convert-spirv-to-llvm", "ModuleOp"> { let options = [ Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; } @@ -1098,7 +1097,7 @@ def ConvertVectorToLLVMPass : Pass<"convert-vector-to-llvm", "ModuleOp"> { "Enables the use of X86Vector dialect while lowering the vector " "dialect.">, Option<"useOpaquePointers", "use-opaque-pointers", "bool", - /*default=*/"false", "Generate LLVM IR using opaque pointers " + /*default=*/"true", "Generate LLVM IR using opaque pointers " "instead of typed pointers"> ]; } diff --git a/mlir/test/mlir-cpu-runner/bare-ptr-call-conv.mlir b/mlir/test/mlir-cpu-runner/bare-ptr-call-conv.mlir index b934480..8bbaf3f 100644 --- a/mlir/test/mlir-cpu-runner/bare-ptr-call-conv.mlir +++ b/mlir/test/mlir-cpu-runner/bare-ptr-call-conv.mlir @@ -26,8 +26,6 @@ func.func @simple_add1_add2_test(%arg0: memref<2xf32>, %arg1: memref<2xf32>) { } // External declarations. -llvm.func @malloc(i64) -> !llvm.ptr -llvm.func @free(!llvm.ptr) func.func private @printF32(%arg0: f32) func.func private @printComma() func.func private @printNewline() -- 2.7.4