ll2w ll2w is a standalone compiler from LLVM intermediate representation into Why assembly. It makes some attempts at optimization, but only barely.