Does MLIR have DCE pass?

It seems that MLIR doesn’t have DCE for now. Or is SymbolDCE a general form of DCE?

(I don’t really understand SymbolDCE.)

-canonicalize does dead op elimination as well. Any typical greedy rewrite driver-based pass would also eliminate dead ops. Besides this, there is -symbol-dce.

I think -symbol-dce's doc and MLIR doc in general is pretty clear on what this does.

2 Likes

@bondhugula Thank you!

( It is sometimes useful to read Function where it says Symbol, not technically accurate, but often carries same intuition )

2 Likes