types of intermediate representations - Githubissues

0xalpharush / static-analysis-and-compilers

Eclectic notes on static analysis and compilers

47 stars 7 forks source link

types of intermediate representations #11

Open 0xalpharush opened 1 year ago

0xalpharush commented 1 year ago

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 commented 9 months ago

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

0xalpharush commented 9 months ago

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

0xalpharush commented 5 months ago

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

0xalpharush commented 3 months ago

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