Interpret `mlir__constant.dense` op
Open
sqlite
- Dominant language
- Lean
- Stars
- 108
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
`Veir/Interpreter/Basic.lean`'s `Llvm.interpretOp` currently executes `mlir__constant.dense` as `none`. Interpret this correctly. It should return the value of the constant (in some suitably packed form).
Contributor guide
No contributing guide indexed for this repository
Research direction
Start in Veir/Interpreter/Basic.lean and read Llvm.interpretOp, especially the existing handling of mlir__constant.dense. Determine how constant values are represented or packed by nearby interpreter cases, then implement the operation so it returns the constant value instead of none. Done means the operation produces a suitably packed constant result.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 65/100