/ll2w

A compiler that converts LLVM intermediate representation into Why assembly.

Primary LanguageC++OtherNOASSERTION

ll2w

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