opencompl / opencompl/veir

Lower FastNTT kernel

Open
#459 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
Lean
Stars
108
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

[#458 for reference]
We want to instruction-select a real application, such as the FastNTT kernel. In this issue, I will list the things yet unsupported, and mark them as done as I move forward (thank you @math-fehr for the inspiration). I believe it is unlikely that we'll be able to do _everything_, but this issue shoud help us track and prioritize what we can do.

**Parsing/Printing: LLVM IR**
* [x] `llvm.alloca`
* [x] `llvm.load`
* [x] `llvm.store`
* [x] `llvm.getelementptr`
* [ ] `llvm.func`

**Parsing/Printing: RISCV**
* [x] `riscv.ld` https://github.com/opencompl/veir/pull/497
* [x] `riscv.sd` https://github.com/opencompl/veir/pull/497

**Semantics: LLVM IR**
* [ ] `llvm.alloca`
* [ ] `llvm.load`
* [ ] `llvm.store`
* [ ] `llvm.getelementptr`
* [ ] `llvm.func`

**Semantics / RISCV Instructions**
* [ ] `sd`
* [ ] `sw`
* [ ] `j`
* [ ] `bnez`
* [ ] `lw`
* [ ] `j`
* [ ] `call`
* [ ] `beqz`
* [ ] `bge`

**Instruction Selection Patterns: LLVM IR -> RISC-V**
* [ ] `llvm.alloca`
* [ ] `llvm.load`
* [ ] `llvm.store`
* [ ] `llvm.getelementptr`

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.