This serie contains preparatory patches for sparse-llvm's fixes but not sparse-llvm specific and having some values of their own. These patches were extracted from a previous serie containing also the sparse-llvm patches. Changes since extraction: - no functional changes - add missing parts in the IR doc - fix some typos in the IR doc - move OP_PUSHs near their OP_CALL - give a real commit msg for some of the patches - improve the commit msg of some of the patches - use a table for compare_swap() & compare_opcode() - use a better name for compare_swap() & compare_opcode() Luc Van Oostenryck (14): don't output value of anonymous symbol's pointer canonicalize binops before simplification canonicalize compare instructions rewrite compare_opcode() like swap_compare_opcode() add is_signed_type() fix usage of inlined calls inlined calls should not block BB packing give function's arguments a type via OP_PUSH insure that all OP_PUSHs are just before their OP_CALL give a type to OP_PHISOURCEs give a type to OP_SELs, always give a type to OP_SWITCHs add doc about sparse's instructions/IR add support for wider type in switch-case Documentation/instructions.txt | 296 +++++++++++++++++++++++++++++++++++++++ compile-i386.c | 14 +- example.c | 4 +- flow.c | 3 +- linearize.c | 78 +++++++---- linearize.h | 14 +- liveness.c | 14 +- memops.c | 2 +- show-parse.c | 11 +- simplify.c | 104 +++++++++----- sparse-llvm.c | 4 +- symbol.h | 9 ++ validation/call-inlined.c | 54 +++++++ validation/call-variadic.c | 31 ++++ validation/loop-linearization.c | 9 +- validation/optim/call-inlined.c | 30 ++++ validation/optim/canonical-cmp.c | 124 ++++++++++++++++ validation/push-call.c | 26 ++++ validation/switch-long.c | 47 +++++++ 19 files changed, 774 insertions(+), 100 deletions(-) create mode 100644 Documentation/instructions.txt create mode 100644 validation/call-inlined.c create mode 100644 validation/call-variadic.c create mode 100644 validation/optim/call-inlined.c create mode 100644 validation/optim/canonical-cmp.c create mode 100644 validation/push-call.c create mode 100644 validation/switch-long.c -- 2.12.0 -- 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
