From 97335ad13fd4f231a75163a1e5c232aed5efe921 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Markus=20B=C3=B6ck?= Date: Sun, 1 Aug 2021 14:01:20 +0200 Subject: [PATCH] [mlir] Change ABI breaking use of NDEBUG to LLVM_ENABLE_ABI_BREAKING_CHECKS The `DataLayout` class currently contains the member `layoutStack` which is hidden behind a preprocessor region dependant on the NDEBUG macro. Code wise this makes a lot of sense, as the `layoutStack` is used for extra assertions that users will want when compiling a debug build. It however has the uncomfortable consequence of leading to a different ABI in Debug and Release builds. This I think is a bit annoying for downstream projects and others as they may want to build against a stable Release of MLIR in Release mode, but be able to debug their own project depending on MLIR. This patch changes the related uses of NDEBUG to LLVM_ENABLE_ABI_BREAKING_CHECKS. As the macro is computed at configure time of LLVM, it may not change based on compiler settings of a downstream projects like NDEBUG would. Differential Revision: https://reviews.llvm.org/D107227 --- mlir/include/mlir/Interfaces/DataLayoutInterfaces.h | 2 +- mlir/lib/Interfaces/DataLayoutInterfaces.cpp | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/mlir/include/mlir/Interfaces/DataLayoutInterfaces.h b/mlir/include/mlir/Interfaces/DataLayoutInterfaces.h index 0633eb3..84fee54 100644 --- a/mlir/include/mlir/Interfaces/DataLayoutInterfaces.h +++ b/mlir/include/mlir/Interfaces/DataLayoutInterfaces.h @@ -163,7 +163,7 @@ private: /// Combined layout spec at the given scope. const DataLayoutSpecInterface originalLayout; -#ifndef NDEBUG +#if LLVM_ENABLE_ABI_BREAKING_CHECKS /// List of enclosing layout specs. SmallVector layoutStack; #endif diff --git a/mlir/lib/Interfaces/DataLayoutInterfaces.cpp b/mlir/lib/Interfaces/DataLayoutInterfaces.cpp index 6244ac1..5a63b28 100644 --- a/mlir/lib/Interfaces/DataLayoutInterfaces.cpp +++ b/mlir/lib/Interfaces/DataLayoutInterfaces.cpp @@ -269,7 +269,7 @@ mlir::DataLayout::DataLayout() : DataLayout(ModuleOp()) {} mlir::DataLayout::DataLayout(DataLayoutOpInterface op) : originalLayout(getCombinedDataLayout(op)), scope(op) { -#ifndef NDEBUG +#if LLVM_ENABLE_ABI_BREAKING_CHECKS checkMissingLayout(originalLayout, op); collectParentLayouts(op, layoutStack); #endif @@ -277,7 +277,7 @@ mlir::DataLayout::DataLayout(DataLayoutOpInterface op) mlir::DataLayout::DataLayout(ModuleOp op) : originalLayout(getCombinedDataLayout(op)), scope(op) { -#ifndef NDEBUG +#if LLVM_ENABLE_ABI_BREAKING_CHECKS checkMissingLayout(originalLayout, op); collectParentLayouts(op, layoutStack); #endif @@ -297,7 +297,7 @@ mlir::DataLayout mlir::DataLayout::closest(Operation *op) { } void mlir::DataLayout::checkValid() const { -#ifndef NDEBUG +#if LLVM_ENABLE_ABI_BREAKING_CHECKS SmallVector specs; collectParentLayouts(scope, specs); assert(specs.size() == layoutStack.size() && -- 2.7.4