Related. Has anyone used this? https://il.pycon.org/2016/static/sessions/anna-herlihy.pdf

"A compiler from a subset of Python to LLVM-IR"

No, but there's also mypyc if you're interested in that area: https://github.com/mypyc/mypyc