SparseTIR
SparseTIR copied to clipboard
[Tracking Issue] Formalize the semantics of partial updates
Motivation
After format decomposition, many of the generated sparse iterations (or blocks
after lowering) only perform partial updates: only some blocks need to initialize the output buffer with zeros.
Currently, SparseTIR does not have language constructs to describe the partial update semantics.
Solution
TBD