The article says about the Stackifier algorithm: "no link for the latter, it’s only mentioned by this name in LLVM internal discussions".

Since the release of this article, I wrote a blog post explaining how Stackifier works, for those who are interested:

https://medium.com/leaningtech/solving-the-structured-contro...