3 ms·
If I'm understanding your terminology, Guile already has a kind of CPS as its mid-level intermediate form: https://wingolog.org/archives/2015/07/27/cps-soup htt
by sctb 9y ago
If I'm understanding your terminology, Guile already has a kind of CPS as its mid-level intermediate form: https://wingolog.org/archives/2015/07/27/cps-soup https://wingolog.org/archives/2015/07/27/cps-soup. There's a long history of Lisp languages using a “MIR” of sorts, typically CPS, SSA, or ANF.
- __s 9y agoI'm using HIR to refer to instructions like bv-f32-ref while MIR to refer to instructions which are introduced to "explode" that instruction By having both, rather than choosing between the two as is discussed in the blog, one can have the decision be more akin to a compiler's inlining heuristics