opencompl / opencompl/veir

Interpret `mlir__constant.dense` op

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.