Commits on Dec 22, 2023

1. [mlir][Transforms] GreedyPatternRewriteDriver: verify IR after patter… …

   …n application
   
   This commit adds an additional "expensive check" that verifies the IR after every pattern application. (Only if `MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS` is set.)
   
   There are currently 89 tests that are failing with this check. Many of them are in the `vector` and `SparseTensor` dialects, most of which are probably failing due to same reason. The actual number of patterns that produce invalid IR is probably in the order of 10.
   
   This commit does not fix any patterns, this is done in separate commits.

   

   matthias-springer committed Dec 22, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 805f123
   • Browse repository at this point

   Copy the full SHA

   805f123 View commit details

   Browse the repository at this point in the history