[all-commits] [llvm/llvm-project] 1cec5f: [mlir] implement `-verify-diagnostics=only-expecte...

[Maksim Levental via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1cec5fffd8fddd9d85b516f876093b0e3f0eec5f
      https://github.com/llvm/llvm-project/commit/1cec5fffd8fddd9d85b516f876093b0e3f0eec5f
  Author: Maksim Levental <maksim.levental at gmail.com>
  Date:   2025-04-10 (Thu, 10 Apr 2025)

  Changed paths:
    M mlir/examples/transform-opt/mlir-transform-opt.cpp
    M mlir/include/mlir/IR/Diagnostics.h
    M mlir/include/mlir/Tools/mlir-opt/MlirOptMain.h
    M mlir/lib/IR/Diagnostics.cpp
    M mlir/lib/Tools/mlir-opt/MlirOptMain.cpp
    M mlir/lib/Tools/mlir-translate/MlirTranslateMain.cpp
    M mlir/test/Pass/full_diagnostics.mlir
    A mlir/test/Pass/full_diagnostics_only_expected.mlir
    A mlir/test/mlir-translate/verify-only-expected.mlir

  Log Message:
  -----------
  [mlir] implement `-verify-diagnostics=only-expected` (#135131)

This PR implements `verify-diagnostics=only-expected` which is a "best
effort" verification - i.e., `unexpected`s and `near-misses` will not be
considered failures. The purpose is to enable narrowly scoped checking
of verification remarks (just as we have for lit where only a subset of
lines get `CHECK`ed).



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