[all-commits] [llvm/llvm-project] 7e7c9d: [mlir][Transforms] Dialect Conversion Driver witho...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7e7c9d975ebc482f176314347d12b4007b46d808
      https://github.com/llvm/llvm-project/commit/7e7c9d975ebc482f176314347d12b4007b46d808
  Author: Matthias Springer <me at m-sp.org>
  Date:   2025-08-13 (Wed, 13 Aug 2025)

  Changed paths:
    M mlir/include/mlir/Conversion/Passes.td
    M mlir/include/mlir/Transforms/DialectConversion.h
    M mlir/lib/Conversion/ConvertToLLVM/ConvertToLLVMPass.cpp
    M mlir/lib/Dialect/SparseTensor/Transforms/SparseTensorConversion.cpp
    M mlir/lib/Transforms/Utils/DialectConversion.cpp
    M mlir/test/Conversion/ArithToLLVM/arith-to-llvm.mlir
    M mlir/test/Conversion/ComplexToLLVM/convert-to-llvm.mlir
    M mlir/test/Conversion/ControlFlowToLLVM/assert.mlir
    M mlir/test/Conversion/FuncToLLVM/func-to-llvm.mlir
    M mlir/test/Conversion/GPUToNVVM/gpu-to-nvvm-target-attr.mlir
    M mlir/test/Conversion/IndexToLLVM/index-to-llvm.mlir
    M mlir/test/Conversion/MathToLLVM/math-to-llvm.mlir
    M mlir/test/Conversion/NVVMToLLVM/nvvm-to-llvm.mlir
    M mlir/test/Conversion/OpenMPToLLVM/convert-to-llvmir.mlir
    M mlir/test/Conversion/UBToLLVM/ub-to-llvm.mlir
    M mlir/test/Conversion/VectorToLLVM/vector-to-llvm-interface.mlir
    M mlir/test/Integration/Dialect/MemRef/assume-alignment-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/atomic-rmw-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/cast-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/copy-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/dim-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/store-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/subview-runtime-verification.mlir
    M mlir/test/Integration/Dialect/Tensor/cast-runtime-verification.mlir
    M mlir/test/Integration/Dialect/Tensor/dim-runtime-verification.mlir
    M mlir/test/Integration/Dialect/Tensor/extract-runtime-verification.mlir
    M mlir/test/Integration/Dialect/Tensor/extract_slice-runtime-verification.mlir
    M mlir/test/Transforms/test-legalizer.mlir
    M mlir/test/lib/Dialect/Test/TestPatterns.cpp

  Log Message:
  -----------
  [mlir][Transforms] Dialect Conversion Driver without Rollback (#151865)

This commit improves the `allowPatternRollback` flag handling in the
dialect conversion driver. Previously, this flag was used to merely
detect cases that are incompatible with the new One-Shot Dialect
Conversion driver. This commit implements the driver itself: when the
flag is set to "false", all IR changes are materialized immediately,
bypassing the `IRRewrite` and `ConversionValueMapping` infrastructure.

A few selected test cases now run with both the old and the new driver.

RFC:
https://discourse.llvm.org/t/rfc-a-new-one-shot-dialect-conversion-driver/79083



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications