summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Springer <me@m-sp.org>2025-06-18 13:01:13 +0000
committerMatthias Springer <me@m-sp.org>2025-06-18 13:01:13 +0000
commit543b20a5ff77e3597dbbcc34a96e4f47be2e0f6e (patch)
tree30a819ec091f320fbde9607ba6d7bf34152abb4c
parent59d6fbb8ffe03ceecfcc07ebe22e256c97ef70dd (diff)
[mlir][Transforms] Dialect Conversion: Do not overwrite mappingusers/matthias-springer/do_not_overwrite_mapping
-rw-r--r--mlir/lib/Transforms/Utils/DialectConversion.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/mlir/lib/Transforms/Utils/DialectConversion.cpp b/mlir/lib/Transforms/Utils/DialectConversion.cpp
index 7de26d7cfa84..4cf9b846da22 100644
--- a/mlir/lib/Transforms/Utils/DialectConversion.cpp
+++ b/mlir/lib/Transforms/Utils/DialectConversion.cpp
@@ -144,6 +144,8 @@ struct ConversionValueMapping {
template <typename OldVal, typename NewVal>
std::enable_if_t<IsValueVector<OldVal>::value && IsValueVector<NewVal>::value>
map(OldVal &&oldVal, NewVal &&newVal) {
+ assert(mapping.find(oldVal) == mapping.end() &&
+ "attempting to overwrite mapping");
LLVM_DEBUG({
ValueVector next(newVal);
while (true) {