Adding CC to Pekka Enberg, he submit most of the llvm patches. Chris On Sun, Mar 5, 2017 at 7:20 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > This series solves a number of issues in sparse-llvm, > mainly about wrong type information as needed for LLVM > or simply the lack of these infos. > These issues have been reported and investigated by > Dibyendu Majumdar. > > These patches have been lightly tested and already > allow to compile a lot more code to LLVM. > It's still incomplete though: > - it won't work on bitfields > - it won't work on computed gotos > - it won't work on label-as-value > - it won't work on exotic instructions (OP_SPLICE) > - few things are working correctly with floats > (but this is not specific to sparse-llvm). > There is most probably a bunch of others issues too. > > For testing purpose this serie is also available at: > https://github.com/lucvoo/sparse/tree/llvm-fixes-v0 > > > Luc Van Oostenryck (13): > llvm: add a helper to convert an integer to a ValueRef > llvm: fix translation of PSEUDO_VALs into a ValueRefs > llvm: fix output_op_store() which modify its operand > llvm: fix output_op_[ptr]cast() > add get_nth1_arg() > llvm: fix type of literal integer passed as arguments > llvm: fix output OP_ADD mixed with pointers > llvm: add support for OP_NEG > give a type to OP_PHISOURCE > give a type to OP_SEL, always > llvm: remove unneeded arg 'module' > llvm: remove unneeded arg 'fn' > llvm: fix: do not mix pointers and floats when doing compares > > flow.c | 2 +- > linearize.c | 18 ++-- > linearize.h | 2 +- > memops.c | 2 +- > sparse-llvm.c | 187 +++++++++++++++++++++++++++++++----------- > symbol.h | 13 +++ > validation/backend/null.c | 24 ++++++ > validation/backend/store-x2.c | 16 ++++ > 8 files changed, 203 insertions(+), 61 deletions(-) > create mode 100644 validation/backend/null.c > create mode 100644 validation/backend/store-x2.c > > -- > 2.11.1 > > -- > 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 -- 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
