News for hackers. Stuff that matters.

A comment on CPU registers and OCaml. Parent comment

Re:CPU registers and OCaml by sanjoy_das on Sunday June 21, 2015 @08:46PM (#9755617)
Another interesting data point is libFirm: http://pp.ipd.kit.edu/firm/ which regalloc's directly over SSA.
[ Parent | on HN ]
Re:CPU registers and OCaml by DannyBee on Sunday June 21, 2015 @10:45PM (#9755884)
Yes, it uses either chordal coloring (written by sebastian hack, who published one of the earlier mentioned graph coloring on SSA papers) or PBQP.

I'm pretty sure LLVM's PBQP implementation is more advanced.

[ Parent | on HN ]
Re:CPU registers and OCaml by UniQP on Monday June 22, 2015 @06:53AM (#9757417)
What do you mean by more advanced?

The LLVM implementation is more mature from a software point of view, but libFirm's implementation supports more PBQP reductions, and thus may find a better PBQP solution.

[ Parent | on HN ]