Dead code elimination does not work on macros generated by Finch

finch-tensor / Finch.jl

Sparse and Structured Tensor Compiler

http://willowahrens.io/Finch.jl/

MIT License

161 stars 16 forks source link

Dead code elimination does not work on macros generated by Finch #582

Closed willow-ahrens closed 4 months ago

willow-ahrens commented 4 months ago

Using e.g. @inbounds during finch lowering can produce incorrect output. We may need to come up with an acceptable set of macros to use, or expand macros before postprocessing.