One fun thing with the compiler project is always being on the lookout for some non-trivial "real world" test programs that are also not enormous.

Seeing another of

Alberta power policies trigger $408M devaluation to ATCO's wind and solar division, company says
The Calgary-based giant warned of "legal recourse" if province doesn't alter reforms that harm renewable projects.
https://www.cbc.ca/news/canada/calgary/atco-blames-alberta-power-policies-as-it-devalues-wind-and-solar-projects-by-408m-9.7128473?cmp=rss

Okay, this paper is very relevant...

"Linear Scan Register Allocation in the Context of SSA Form and Register Constraints"
https://bernsteinbear.com/assets/img/linear-scan-ra-context-ssa.pdf

Also it mentions "precoloring" as a mechanism for dealing with constraints (due to ABI calling conventions, instruction set features, etc) and references:
https://dl.acm.org/doi/epdf/10.1145/88616.88621
pp17-18, pp27-28

#Projects #Compiler

Realizing that having basic blocks containing instruction lists is useful, but for things like liveness ranges I'm going to have to flatten the program so I can number instructions across larger ranges...

Stumbled over this Cornell CS6120 site online which is a nice collection of lesson videos, notes, links to papers, etc.
https://www.cs.cornell.edu/courses/cs6120/2025fa/self-guided/

See also, the IR (with the canonical form being JSON, hm!) designed for the course:
https://www.cs.cornell.edu/~asampson/blog/bril.html

Thanks,

Okay, actually had to put together the glue to wire up the links between predecessor and successor basic blocks and track the FILLED and SEALED states (as well as add some ENTER/EXIT/DEAD flags to manage other fiddly details).

Bonus: Found the code in the old compiler that emitted basic blocks containing IR instructions in graphviz dot format. Will be reviving that soon.

#Projects #Compiler