[all-commits] [llvm/llvm-project] e7e01e: [mlir] MlirOptMain: avoid double verification

[ftynse via All-commits]

  Branch: refs/heads/users/ftynse/verify-less
  Home:   https://github.com/llvm/llvm-project
  Commit: e7e01e151eea546d8ba20d4c8b5a1a1f5bba0ba8
      https://github.com/llvm/llvm-project/commit/e7e01e151eea546d8ba20d4c8b5a1a1f5bba0ba8
  Author: Alex Zinenko <git at ozinenko.com>
  Date:   2026-04-17 (Fri, 17 Apr 2026)

  Changed paths:
    M mlir/lib/Tools/mlir-opt/MlirOptMain.cpp
    M mlir/test/Dialect/Transform/normal-forms.mlir

  Log Message:
  -----------
  [mlir] MlirOptMain: avoid double verification

MlirOptMain would run verification twice at the end of the processing:
  1. after the last pass in the pipeline;
  2. prior to printing.
Since there is no logic that could mutate, and thus potentially
invalidate, the IR between the two, the second verification is
redundant. Skip it when possible.



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