opencompl / opencompl/veir

Precise parsing of ` dense<0> : tensor<4xi8>`.

Open
#943 0 comments 0 reactions 0 assignees View on GitHub
sqlite
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.