search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Add `brilift` integration to compile Bril to LLVM #385

Closed Alex-Fischman closed 7 months ago

Alex-Fischman commented 8 months ago

https://capra.cs.cornell.edu/bril/tools/brilift.html

https://github.com/sampsyo/bril/tree/main/brilift

Pat-Lafon commented 7 months ago

Hello, I was interested when I saw this issue. Is there a specific reason to be using brilift as opposed to brillvm for translating bril to llvm? Sorry, there might not be enough context for me to understand.

oflatt commented 7 months ago

We plan to use both!

Pat-Lafon commented 7 months ago

Ah, very cool. Good Luck!

Alex-Fischman commented 7 months ago

Closed by #408.