static-analysis-and-compilers icon indicating copy to clipboard operation
static-analysis-and-compilers copied to clipboard

types of intermediate representations

Open 0xalpharush opened this issue 2 years ago • 4 comments

graph (control dependencies + SSA IR)

  • sea of nodes:
    • https://darksi.de/d.sea-of-nodes/
    • https://www.oracle.com/technetwork/java/javase/tech/c2-ir95-150110.pdf
  • thorin:
    • https://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf

flat (?) CFG + SSA IR

  • LLVM

ANF

  • https://en.wikipedia.org/wiki/A-normal_form

not really clear but maybe this helps https://news.ycombinator.com/item?id=8118079#:~:text=Where%20the%20%22sea%20of%20nodes,placement%20in%20particular%20basic%20blocks.

https://www.reddit.com/r/Compilers/comments/14032fy/hobby_optimizing_compilers/ https://chrisseaton.com/truffleruby/basic-graal-graphs/ http://c9x.me/notes/2017-02-09.html

0xalpharush avatar Apr 15 '23 19:04 0xalpharush

https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-705.pdf

0xalpharush avatar Dec 27 '23 18:12 0xalpharush

https://github.com/true-grue/graph-irs

0xalpharush avatar Dec 27 '23 18:12 0xalpharush

RVSDG: An Intermediate Representation for Optimizing Compilers https://github.com/egraphs-good/eggcc

0xalpharush avatar Apr 20 '24 18:04 0xalpharush

https://farena.in/compilers/programming/writing-an-ir-from-scratch/

0xalpharush avatar Jun 27 '24 16:06 0xalpharush