search

llvm / mlir-www

65 stars 119 forks source link

[Tracking] Glossary Words Thread #183

Open renxida opened 6 months ago

renxida commented 6 months ago

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 )

ScottTodd commented 6 months ago

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 commented 6 months ago

Good ones to probably add:

constEval DCE (dead code elimination)

dan-garvey commented 6 months ago

good source of glossary terms would probably be pass names

dan-garvey commented 6 months ago
  • [ ] CSE (common subexpression elimination)

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

ScottTodd commented 6 months ago

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 commented 6 months ago

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).