[all-commits] [llvm/llvm-project] aa81c2: [MLIR][mlir-opt] Add option to turn off verifier o...

[Thomas Peters via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa81c28cd54ec6be370a3a04c8546e9b65a1e6a0
      https://github.com/llvm/llvm-project/commit/aa81c28cd54ec6be370a3a04c8546e9b65a1e6a0
  Author: Thomas Peters <thomas.d.peters at gmail.com>
  Date:   2024-11-15 (Fri, 15 Nov 2024)

  Changed paths:
    M mlir/include/mlir/Tools/mlir-opt/MlirOptMain.h
    M mlir/lib/Tools/mlir-opt/MlirOptMain.cpp

  Log Message:
  -----------
  [MLIR][mlir-opt] Add option to turn off verifier on parsing (#116287)

Sometimes, a developer may not wish to wait for the verifier
(imagine they did not follow the verifier guidelines and chased use-def
chains), or may wish to disable it.

Add a command-line option,
`--mlir-very-unsafe-disable-verifier-on-parsing`, which turns off the
verifier on parsing.

------

This implements the discussion from
https://discourse.llvm.org/t/optionally-turn-off-verifier-during-parsing/82805



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