On Sat, Jun 9, 2012 at 4:35 AM, Xi Wang <xi.wang@xxxxxxxxx> wrote: > I played with the new ->ctype in pseudo a little bit to generate LLVM IR. > It seems much easier to emit correct type at backend using ->ctype. > > The code is available at: > > git clone --recursive https://github.com/xiw/splay.git > > Try `make' and `make check' if you have LLVM. > > See example inputs in `test'. Currently the generator works for simple > programs like md5.c (with -D_FORTIFY_SOURCE=0). > > You can also find patches to sparse at: > > https://github.com/xiw/sparse/compare/splay Interesting. What are you planning to do with "splay"? Is there something that prevents fixing the current LLVM backend in master? -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html