Precise parsing of ` dense<0> : tensor<4xi8>`.
- Dominant language
- Lean
- Stars
- 109
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
`AttrParser.lean`'s `parseOptionalDenseElementsAttr` parses the value and the type using `parseUnregisteredAttrBody` which returns a `String`. Make this more precise by defining a proper type for dense elements, and parsing into that.
Fixing this should result in a better parse tree for ` Test/LLVM/parse_zeroed_array_initializers.mlir`.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start in AttrParser.lean at parseOptionalDenseElementsAttr, where the dense elements value and type are parsed with parseUnregisteredAttrBody. Define the proper dense-elements type and parse into it, then check Test/LLVM/parse_zeroed_array_initializers.mlir to confirm the parse tree is more precise.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Clearly specified
- Newbie friendliness
- 72/100