News for hackers. Stuff that matters.

A comment on Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs.

Re:Mir: Strongly typed IR to implement fast and lightweight ... by gradschoolfail on Wednesday December 27, 2023 @04:22AM (#38780392)
Main takeaway, it avoids SSA

Earlier HN discussion 183pts 63 comments

https://news.ycombinator.com/item?id=22098399

Whats the chance nateb2022? this is way too close (in name) to Lattner’s MLIR to ignore, i thought this morning as I was brushing my teeth. {not to mention LLVM’s own MIR}

https://llvm.org/docs/MIRLangRef.html

[ Parent | on HN ]
Re:Mir: Strongly typed IR to implement fast and lightweight ... by dibyendu on Wednesday December 27, 2023 @05:36AM (#38780740)
SSA is used internally, but the instruction set does not require SSA, if that's what you meant
[ Parent | on HN ]
Re:Mir: Strongly typed IR to implement fast and lightweight ... by gradschoolfail on Wednesday December 27, 2023 @11:44AM (#38783729)
“ Using SSA simplifies the optimization implementations, but building and destroying this form is expensive. Using SSA for the MIR generator's short-pass pipeline makes little sense to me, so I don't use it.”

In his blogpost.

[ Parent | on HN ]