[Tracking] Glossary Words Thread

[renxida]

Please edit this comment to put in requests for terms to be explained in the MLIR glossary at https://mlir.llvm.org/getting_started/Glossary/

(source: : https://github.com/llvm/mlir-www/blob/main/website/content/getting_started/Glossary.md )

• [ ] ValueSemantics
• [ ] Materialize
• [ ] Ways of writing passes: DialectConversionFramework, greedy patterns, and canonicalization
• [x] CSE (common subexpression elimination) https://github.com/llvm/mlir-www/pull/185
• [x] DCE (dead code elimination) https://github.com/llvm/mlir-www/pull/185
• [ ] constEval
• [ ] Signedness (would love to know where in the pipeline do we stop dealing with signedness)

[ScottTodd]

I can't edit your comment, but the source for that glossary page is here: https://github.com/llvm/mlir-www/blob/main/website/content/getting_started/Glossary.md

[dan-garvey]

Good ones to probably add:

constEval DCE (dead code elimination)

[dan-garvey]

good source of glossary terms would probably be pass names

[dan-garvey]

• [ ] CSE (common subexpression elimination)

ok I had a matching intuition for what it did but didnt know that acronym XD

[ScottTodd]

constEval

Not sure if there is an upstream MLIR version of this, but IREE's is documented here: https://iree.dev/reference/optimization-options/#constant-evaluation-iree-opt-const-eval-on

Signedness (would love to know where in the pipeline do we stop dealing with signedness)

We had a few docs/discussions about signedness / types downstream in IREE: https://github.com/openxla/iree/issues/5223, https://github.com/openxla/iree/pull/7108

[jpienaar]

Signedness (would love to know where in the pipeline do we stop dealing with signedness)

This seems like a downstream rather than MLIR question. E.g., IREE has one place where it goes to signless, others may have different ones. Its not general to MLIR (and this website is general across all MLIR users).