[mlir][transforms][NFC] Expand CanonicalizerPass documentation
authorMatthias Springer <springerm@google.com>
Tue, 3 Jan 2023 10:48:38 +0000 (11:48 +0100)
committerMatthias Springer <springerm@google.com>
Tue, 3 Jan 2023 11:39:12 +0000 (12:39 +0100)
commitafc800b190a5ba080eb2aaf567e4a52d0c7eae82
tree8a431b24d3c0ef1fd71de50ab534be5a200531c7
parentf492db7eec9ce01398b46d14af463eb990980c7c
[mlir][transforms][NFC] Expand CanonicalizerPass documentation

Mention that canonicalization is best-effort and that pass pipelines should not rely on it for correctness.

RFC: https://discourse.llvm.org/t/rfc-canonicalizerpass-convergence-error-handling/67333

Differential Revision: https://reviews.llvm.org/D140729
mlir/docs/Canonicalization.md
mlir/include/mlir/Transforms/Passes.td
mlir/lib/Transforms/Canonicalizer.cpp