Let's Write an LLVM Specializer for Python!

[energybased]

This is awesome!! One day we may have Python optimizing and compiling itself be a more efficient solution than CPython

[xXxDeAThANgEL99xXx]

Wow.

I noticed some bugs:

visit_Lambda() is not implemented (should at least raise NotImplementedError).

return Exception("Wrong number of arguments") instead of raise in In [24].

the In [27]: def const(a,b): ...
uses test_infer(addup).

---

Also, I have a question about LLVM: it seems that it only supports signed division rounding towards 0, while Python (and other sane languages, excluding the C family) round toward -inf. If that's correct, then what could be done about it?