<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/55466>55466</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Canonicalize command-line options don't seem to do anything
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          rkayaith
      </td>
    </tr>
</table>

<pre>
    Printing out the config value used in the pass:
```diff
diff --git a/mlir/lib/Transforms/Canonicalizer.cpp b/mlir/lib/Transforms/Canonicalizer.cpp
index cb532746c448..622cd7943478 100644
--- a/mlir/lib/Transforms/Canonicalizer.cpp
+++ b/mlir/lib/Transforms/Canonicalizer.cpp
@@ -51,6 +51,8 @@ struct Canonicalizer : public CanonicalizerBase<Canonicalizer> {
     return success();
   }
   void runOnOperation() override {
+    llvm::dbgs() << "canonicalizer config.useTopDownTraveral = "
+                 << config.useTopDownTraversal << "\n";
     (void)applyPatternsAndFoldGreedily(getOperation()->getRegions(), patterns,
                                        config);
   }
```

The value seems to always be the same no matter what you specify in the options:
```
$ echo | mlir-opt --canonicalize
canonicalizer config.useTopDownTraveral = 1
module {
}

$ echo | mlir-opt --canonicalize='top-down=false'
canonicalizer config.useTopDownTraveral = 1
module {
}

$ echo | mlir-opt --canonicalize='top-down=true'
canonicalizer config.useTopDownTraveral = 1
module {
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzNVdtu4zgM_RrnhXDgSPIlD35ok-0-zmDQH5AlOtGMLBmS3G7264e200tmUWC6wAIrCNaNIg8pHrrz-tJ-DcYl407gpwTpjKC8680JnqSdEKaIGoxbDkYZY8bvsuKYFXdZVaxdm75ft-YZ5PnJJJAZexisCTRY09H3MUgXex-GSIuDdN4ZJa35G8NWjSN0n5Nf7Rmn8S9QXclZLSolRLPdVowpXe8FF3UDu6KohFiF8zz_LKqro-x-7f8OZCYK6pCXu4wdKiA9y6yB60FMYVIJbm4DRRnGqbNG3R7cy4gZP9zsZfwPyOr71RrMLWCagoM4KYX0YqzJ2D7jbxJZfXydP3mjIUzui_syYpDJeLdeAP-EIRiNb8rnGFCz9mmY04Df6e50VU-ID9TJPaZuPFmTaUtp9OjHo392FDNSLC3dOM7iN6pv2lXlBxriouLFaFYe3Dzw93EgaLN7BE-Oo718lSlhcPHO6Qdv9Z8BURt7IakTpl-8zymqtPsNT7T1EkJ2IAqsOmj-ztBvtNWLjx7ilUzX5fJ9JMqtJIyIQ4TkQdpneYnQ4cLHKAcE52FYQMHzWSa4-AniiMr0lxfa-jEtTvyDuS-hF4Dq7AnNAeb0zukC0fj9O66Sn3nZ3Xpl8Hqy71Po1ePft82PGauTH3NNRmjVS0ssYPX_ChSx-D_CdPtaG91yved7uUkmWWyz8n4pSeXxplKQ0WGQTufWuNcMAD2nd52WfJrTSVNGuUs6U_XfTMG255TGJU_YA3Wq4-ep25KmueDNpF-HfAz-O6pESxPjhHPxK0tRVZtzK5hUuq94x7Hp901ZFSVXqhO6FqzharexskMbZ9hEV4fPsKhYGHzcmJYVjBXlTjBOI9s2fd-JoilQM14KRCqYOEhjtzOOrQ-nTWgXSN1ElUgU1sQU3w7pf2VODpcozfrllM4-tOGHvEhybrPYbhfsPwFS1yTw">