Linux Sparse
[Prev Page][Next Page]
- Re: Another potential issue with linearized output, (continued)
- Reverting OP_SYMADDR in sparse-llvm,
Dibyendu Majumdar
- [PATCH v4 00/63] LLVM fixes,
Luc Van Oostenryck
- [PATCH v4 01/63] only output internal pointer value when verbose is set, Luc Van Oostenryck
- [PATCH v4 02/63] allow binop simplification after canonicalization, Luc Van Oostenryck
- [PATCH v4 03/63] canonicalize compare instructions, Luc Van Oostenryck
- [PATCH v4 04/63] add is_signed_type(), Luc Van Oostenryck
- [PATCH v4 05/63] fix usage of inlined calls, Luc Van Oostenryck
- [PATCH v4 06/63] inlined calls should not block BB packing, Luc Van Oostenryck
- [PATCH v4 07/63] give function's arguments a type via OP_PUSH, Luc Van Oostenryck
- [PATCH v4 08/63] give a type to OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v4 09/63] give a type to OP_SEL, always, Luc Van Oostenryck
- [PATCH v4 10/63] give a type to OP_SWITCH, Luc Van Oostenryck
- [PATCH v4 11/63] add doc about sparse's instructions/IR, Luc Van Oostenryck
- [PATCH v4 12/63] add support for wider type in switch-case, Luc Van Oostenryck
- [PATCH v4 13/63] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH v4 14/63] llvm: remove unneeded 'generation', Luc Van Oostenryck
- [PATCH v4 15/63] llvm: remove unneeded function::type, Luc Van Oostenryck
- [PATCH v4 16/63] llvm: reduce scope of 'bb_nr', Luc Van Oostenryck
- [PATCH v4 17/63] llvm: use pseudo_list_size() instead of open coding it, Luc Van Oostenryck
- [PATCH v4 18/63] llvm: give arguments a name, Luc Van Oostenryck
- [PATCH v4 19/63] llvm: give a name to call's return values, Luc Van Oostenryck
- [PATCH v4 20/63] llvm: avoid useless temp variable, Luc Van Oostenryck
- [PATCH v4 21/63] llvm: extract get_sym_value() from pseudo_to_value(), Luc Van Oostenryck
- [PATCH v4 22/63] llvm: fix test of floating-point type, Luc Van Oostenryck
- [PATCH v4 23/63] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH v4 24/63] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- [PATCH v4 25/63] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH v4 26/63] llvm: take care of degenerated rvalues, Luc Van Oostenryck
- [PATCH v4 27/63] llvm: add test cases for symbol's address, Luc Van Oostenryck
- [PATCH v4 28/63] llvm: add test cases for pointers passed as argument, Luc Van Oostenryck
- [PATCH v4 29/63] llvm: add test cases for arrays passed as argument, Luc Van Oostenryck
- [PATCH v4 30/63] llvm: add test cases for degenerated pointers, Luc Van Oostenryck
- [PATCH v4 31/63] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH v4 32/63] llvm: add support for OP_SETVAL with floats, Luc Van Oostenryck
- [PATCH v4 33/63] llvm: add support for OP_SETVAL with labels, Luc Van Oostenryck
- [PATCH v4 34/63] llvm: ignore OP_INLINED_CALL, Luc Van Oostenryck
- [PATCH v4 35/63] llvm: fix pointer/float mixup in comparisons, Luc Van Oostenryck
- [PATCH v4 36/63] llvm: fix type in comparison with an address constant, Luc Van Oostenryck
- [PATCH v4 37/63] llvm: give correct type to binops, Luc Van Oostenryck
- [PATCH v4 38/63] llvm: adjust OP_RET's type, Luc Van Oostenryck
- [PATCH v4 39/63] llvm: variadic functions are not being marked as such, Luc Van Oostenryck
- [PATCH v4 40/63] llvm: fix type of switch constants, Luc Van Oostenryck
- [PATCH v4 41/63] llvm: make pseudo_name() more flexible, Luc Van Oostenryck
- [PATCH v4 42/63] llvm: give a name to all values, Luc Van Oostenryck
- [PATCH v4 43/63] llvm: add support for OP_SWITCH with a range, Luc Van Oostenryck
- [PATCH v4 44/63] llvm: fix OP_SWITCH has no target, Luc Van Oostenryck
- [PATCH v4 45/63] llvm: make value_to_pvalue() more flexible, Luc Van Oostenryck
- [PATCH v4 46/63] llvm: make value_to_ivalue() more flexible, Luc Van Oostenryck
- [PATCH v4 47/63] llvm: add test case pointer compare with cast, Luc Van Oostenryck
- [PATCH v4 48/63] llvm: let pseudo_to_value() directly use the type, Luc Van Oostenryck
- [PATCH v4 49/63] llvm: remove unneeded pseudo_to_value() unneeded argument, Luc Van Oostenryck
- [PATCH v4 50/63] llvm: introduce get_ioperand(), Luc Van Oostenryck
- [PATCH v4 51/63] llvm: fix mutating function pointer, Luc Van Oostenryck
- [PATCH v4 52/63] llvm: fix mutated OP_RET, Luc Van Oostenryck
- [PATCH v4 53/63] llvm: fix mutated OP_SEL, Luc Van Oostenryck
- [PATCH v4 54/63] llvm: fix mutated OP_SWITCH, Luc Van Oostenryck
- [PATCH v4 58/63] llvm: fix get value from initialized symbol, Luc Van Oostenryck
- [PATCH v4 59/63] llvm: fix get value from non-anonymous symbol, Luc Van Oostenryck
- [PATCH v4 57/63] llvm: add support for restricted types, Luc Van Oostenryck
- [PATCH v4 63/63] llvm: cleanup of output_[ptr]cast(), Luc Van Oostenryck
- [PATCH v4 60/63] llvm: fix type of bitfields, Luc Van Oostenryck
- [PATCH v4 61/63] llvm: add support for OP_FPCAST, Luc Van Oostenryck
- [PATCH v4 56/63] llvm: fix mutated OP_[PTR]CAST, Luc Van Oostenryck
- [PATCH v4 55/63] llvm: fix mutated OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v4 62/63] llvm: add support for cast from floats, Luc Van Oostenryck
- Re: [PATCH v4 00/63] LLVM fixes, Pekka Enberg
- Re: [PATCH v4 00/63] LLVM fixes, Dibyendu Majumdar
- [PATCH] avoid crash with test-linearize -vv,
Luc Van Oostenryck
- Small improvement to output from show_instruction(), Dibyendu Majumdar
- [PATCH 00/30] LLVM fixes,
Luc Van Oostenryck
- [PATCH v3 01/30] fix usage of inlined calls, Luc Van Oostenryck
- [PATCH v3 02/30] inlined calls should not block BB packing, Luc Van Oostenryck
- [PATCH v3 03/30] give function's arguments a type via OP_PUSH, Luc Van Oostenryck
- [PATCH v3 04/30] give a type to OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v3 05/30] give a type to OP_SEL, always, Luc Van Oostenryck
- [PATCH v3 06/30] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH v3 07/30] llvm: remove unneeded 'generation', Luc Van Oostenryck
- [PATCH v3 08/30] llvm: remove unneeded function::type, Luc Van Oostenryck
- [PATCH v3 09/30] llvm: reduce scope of 'bb_nr', Luc Van Oostenryck
- [PATCH v3 10/30] llvm: use pseudo_list_size() instead of open coding it, Luc Van Oostenryck
- [PATCH v3 11/30] llvm: give arguments a name, Luc Van Oostenryck
- [PATCH v3 12/30] llvm: give a name to call's return values, Luc Van Oostenryck
- [PATCH v3 13/30] llvm: avoid useless temp variable, Luc Van Oostenryck
- [PATCH v3 14/30] llvm: extract get_sym_value() from pseudo_to_value(), Luc Van Oostenryck
- [PATCH v3 15/30] llvm: fix test of floating-point type, Luc Van Oostenryck
- [PATCH v3 16/30] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH v3 17/30] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- [PATCH v3 18/30] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH v3 19/30] llvm: take care of degenerated rvalues, Luc Van Oostenryck
- [PATCH v3 20/30] llvm: add test cases for symbol's address, Luc Van Oostenryck
- [PATCH v3 21/30] llvm: add test cases for pointers passed as argument, Luc Van Oostenryck
- [PATCH v3 22/30] llvm: add test cases for arrays passed as argument, Luc Van Oostenryck
- [PATCH v3 23/30] llvm: add test cases for degenerated pointers, Luc Van Oostenryck
- [PATCH v3 24/30] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH v3 25/30] llvm: fix pointer/float mixup in comparisons, Luc Van Oostenryck
- [PATCH v3 26/30] llvm: fix type in comparison with an address constant, Luc Van Oostenryck
- [PATCH v3 27/30] llvm: give correct type to binops, Luc Van Oostenryck
- [PATCH v3 28/30] llvm: adjust OP_RET's type, Luc Van Oostenryck
- [PATCH v3 29/30] llvm: variadic functions are not being marked as such, Luc Van Oostenryck
- [PATCH v3 30/30] llvm: fix type of switch constants, Luc Van Oostenryck
- Re: [PATCH 00/30] LLVM fixes, Dibyendu Majumdar
- Re: [PATCH 00/30] LLVM fixes, Christopher Li
- Possible linearizer issue,
Dibyendu Majumdar
- Cast to double being removed,
Dibyendu Majumdar
- sparse-llvm incorrect definition of global string constants, Dibyendu Majumdar
- sparse-llvm functions must be cast to correct type before calling,
Dibyendu Majumdar
- Seg fault in linearizer after latest patch series,
Dibyendu Majumdar
- sparse-llvm incorrect check for floating point type,
Dibyendu Majumdar
- Potential linearizer over simplication,
Dibyendu Majumdar
- sparse question, Dibyendu Majumdar
- sparse-llvm duplicate declarations of data,
Dibyendu Majumdar
- sparse-llvm the LLVM IR for select instruction fails due to different types,
Dibyendu Majumdar
- sparse-llvm functions are defined with a different name due to multiple attempts to add same function, Dibyendu Majumdar
- sparse-llvm should handle pointer arithmetic in op_sub similarly to op_add,
Dibyendu Majumdar
- sparse-llvm when generating code for op_muls, op_divs first argument may be a pointer,
Dibyendu Majumdar
- sparse-llvm op_shl and op_lshr code generation issue,
Dibyendu Majumdar
- sparse-llvm variadic functions are not being marked as variadic,
Dibyendu Majumdar
- sparse-llvm casts needed on function call arguments and returns,
Dibyendu Majumdar
- sparse-llvm failure when comparing pointers,
Dibyendu Majumdar
- sparse-llvm incorrect type when ealing with union type,
Dibyendu Majumdar
- sparse-llvm switch constants must all be same type as switch value,
Dibyendu Majumdar
- sparse-llvm op_cast should support casting floating type values to integer, Dibyendu Majumdar
- sparse-llvm subtraction of one pointer from another should result in int difference,
Dibyendu Majumdar
- sparse-llvm results from trying to compile a largish program,
Dibyendu Majumdar
- sparse-llvm outstanding fixes,
Dibyendu Majumdar
- sparse-llvm handling of variadic function calls, Dibyendu Majumdar
- sparse-llvm test cases,
Dibyendu Majumdar
- Error handling in sparse-llvm,
Dibyendu Majumdar
- dmr_C - a project based on Sparse that aims to create a JIT compiler for C, Dibyendu Majumdar
- sparse-llvm error in GEP offset,
Dibyendu Majumdar
- sparse linear instruction offset for memops,
Dibyendu Majumdar
- Trying to understand linearized output,
Dibyendu Majumdar
- sparse-llvm potential error in linearized output,
Dibyendu Majumdar
sparse-llvm op_fpcast implementation missing,
Dibyendu Majumdar
sparse-llvm op_setval implementation is missing, Dibyendu Majumdar
sparse-llvm issue with counter in a loop,
Dibyendu Majumdar
[RFC v0 0/4] Give a type to constants too,
Luc Van Oostenryck
[PATCH] fix cast to pointer to floating-point,
Luc Van Oostenryck
[PATCH v2 00/27] LLVM fixes,
Luc Van Oostenryck
- [PATCH v2 01/27] give a type to OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v2 02/27] give a type to OP_SEL, always, Luc Van Oostenryck
- [PATCH v2 03/27] give a type to OP_SYMADDR, Luc Van Oostenryck
- [PATCH v2 04/27] give a type to PSEUDO_ARGs, Luc Van Oostenryck
- [PATCH v2 05/27] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH v2 06/27] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- [PATCH v2 07/27] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH v2 08/27] llvm: give a name to call return values, Luc Van Oostenryck
- [PATCH v2 09/27] llvm: add test cases for the type of constants, Luc Van Oostenryck
- [PATCH v2 10/27] add ptr_list_nth_entry(), Luc Van Oostenryck
- [PATCH v2 11/27] llvm: fix type of literal integer passed as arguments, Luc Van Oostenryck
- [PATCH v2 12/27] llvm: fix output OP_ADD mixed with pointers, Luc Van Oostenryck
- [PATCH v2 13/27] llvm: add support for OP_SYMADDR, Luc Van Oostenryck
- [PATCH v2 14/27] keep OP_SYMADDR instructions, Luc Van Oostenryck
- [PATCH v2 15/27] llvm: add test cases for symbol's address, Luc Van Oostenryck
- [PATCH v2 16/27] llvm: add test cases for pointers passed as argument, Luc Van Oostenryck
- [PATCH v2 17/27] llvm: add test cases for arrays passed as argument, Luc Van Oostenryck
- [PATCH v2 18/27] llvm: add test cases for degenerated pointers, Luc Van Oostenryck
- [PATCH v2 19/27] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH v2 20/27] llvm: fix pointer/float mixup in comparisons, Luc Van Oostenryck
- [PATCH v2 21/27] llvm: use pseudo_list_size() instead of open coding it, Luc Van Oostenryck
- [PATCH v2 22/27] llvm: give arguments a name, Luc Van Oostenryck
- [PATCH v2 23/27] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH v2 24/27] llvm: remove unneeded arg 'fn', Luc Van Oostenryck
- [PATCH v2 25/27] llvm: remove unneeded 'generation', Luc Van Oostenryck
- [PATCH v2 26/27] llvm: remove unneeded function::type, Luc Van Oostenryck
- [PATCH v2 27/27] llvm: reduce scope of 'bb_nr', Luc Van Oostenryck
- Re: [PATCH v2 00/27] LLVM fixes, Dibyendu Majumdar
- Re: [PATCH v2 00/27] LLVM fixes, Christopher Li
sparse-llvm incorrect handling of function pointers,
Dibyendu Majumdar
[RFC] rationale for systematic elimination of OP_SYMADDR instructions,
Luc Van Oostenryck
Re: Arrays of variable length,
Tomas Winkler
sparse-llvm incorrect definition of local variables,
Dibyendu Majumdar
sparse-next assertion failures on cygwin,
Ramsay Jones
Possible incorrect linearization of code (master branch),
Dibyendu Majumdar
[PATCH] returns the correct type when evaluating NULL, Luc Van Oostenryck
[WIP 00/13] LLVM fixes,
Luc Van Oostenryck
- [PATCH 08/13] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH 09/13] give a type to OP_PHISOURCE, Luc Van Oostenryck
- [PATCH 12/13] llvm: remove unneeded arg 'fn', Luc Van Oostenryck
- [PATCH 11/13] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH 04/13] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH 07/13] llvm: fix output OP_ADD mixed with pointers, Luc Van Oostenryck
- [PATCH 02/13] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH 10/13] give a type to OP_SEL, always, Luc Van Oostenryck
- [PATCH 13/13] llvm: fix: do not mix pointers and floats when doing compares, Luc Van Oostenryck
- [PATCH 01/13] llvm: add a helper to convert an integer to a ValueRef, Luc Van Oostenryck
- [PATCH 05/13] add get_nth1_arg(), Luc Van Oostenryck
- [PATCH 06/13] llvm: fix type of literal integer passed as arguments, Luc Van Oostenryck
- [PATCH 03/13] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- Re: [WIP 00/13] LLVM fixes, Christopher Li
sparse-llvm the result of expression add assign when target is a pointer should be a pointer,
Dibyendu Majumdar
[PATCH] llvm: add support for OP_NEG, Luc Van Oostenryck
[PATCH] give a type to OP_PHISOURCE,
Luc Van Oostenryck
[PATCH] give a type to OP_SEL, always, Luc Van Oostenryck
sparse-llvm incorrect handling of comparison ops when pointers are involved, Dibyendu Majumdar
sparse-llvm incorrect handling of op_add when pointers are involved, Dibyendu Majumdar
sparse-llvm handling of function call arguments, Dibyendu Majumdar
[PATCH] llvm: stores does not create or modify their target, Luc Van Oostenryck
Possible memory leak in sparse-llvm, Dibyendu Majumdar
Sparse-LLVM issue compiling NULL pointers,
Dibyendu Majumdar
Re: [PATCH 0/7] pull: make smatch scan output easy to digest,
Sami Kerola
Unreachable code diagnostic,
Matthew Wilcox
[PATCH] fix usage in simplify_seteq_setne(), Luc Van Oostenryck
[PATCH v2] Allow casting to a restricted type if !restricted_value,
Edward Cree
Re: [PATCH] arm64: traps: Mark __le16, __le32, __user variables properly,
Luc Van Oostenryck
[PATCH] use VOID instead of directly using &void_pseudo,
Luc Van Oostenryck
[PATCH] make -Wbitwise operational again, Luc Van Oostenryck
[PATCH 0/5] more validation of C99 for-loop initializers,
Luc Van Oostenryck
[PATCH 0/2] split OP_BR between OP_BR & OP_CBR,
Luc Van Oostenryck
[RFC PATCH 0/2] allow casting unrestricted values,
Edward Cree
[PATCH] fix size of loaded bitfields,
Luc Van Oostenryck
[PATCH] add missing braces around FOR_EACH_PTR loop, Luc Van Oostenryck
[RFC] CSE: relax type checking in hashing/compare,
Luc Van Oostenryck
[PATCH 0/4] CSE improvements,
Luc Van Oostenryck
[PATCH] fix expansion cost of pure functions,
Luc Van Oostenryck
[PATCH 00/16] instructions killing & operands usage,
Luc Van Oostenryck
- [PATCH 01/16] add killing of OP_SLICEs, Luc Van Oostenryck
- [PATCH 02/16] add killing of OP_PHISOURCEs, Luc Van Oostenryck
- [PATCH 03/16] add helper kill_use_list(), Luc Van Oostenryck
- [PATCH 04/16] fix killing of OP_PHIs, Luc Van Oostenryck
- [PATCH 05/16] fix clear_phi(), replace it by kill_instruction(), Luc Van Oostenryck
- [PATCH 06/16] remove unused clear_phi(), Luc Van Oostenryck
- [PATCH 07/16] fix killing of otherwise not-handled instructions, Luc Van Oostenryck
- [PATCH 08/16] kill_instruction() may need to be forced or not, Luc Van Oostenryck
- [PATCH 09/16] add killing of pure calls, Luc Van Oostenryck
- [PATCH 10/16] fix killing OP_CALL via pointers, Luc Van Oostenryck
- [PATCH 11/16] add killing of non-volatile loads, Luc Van Oostenryck
- [PATCH 12/16] add killing of stores, Luc Van Oostenryck
- [PATCH 13/16] fix killing of rewritten loads, Luc Van Oostenryck
- [PATCH 14/16] use kill_instruction() when killing an OP_PHI during CSE, Luc Van Oostenryck
- [PATCH 15/16] use kill_instruction() when killing any instructions during CSE, Luc Van Oostenryck
- [PATCH 16/16] fix OP_PHI usage in try_to_simplify_bb(), Luc Van Oostenryck
[PATCH] simplify float-to-float casts that doesn't change size,
Luc Van Oostenryck
[PATCH 0/4] assorted cleanups,
Luc Van Oostenryck
Casting 0 to a __bitwise type,
Edward Cree
[PATCH] compiler/compiler-gcc: Add __fallthrough,
Joe Perches
Re: sparse: add nocapture as an ignored attribute, Christopher Li
[PATCH 0/4] improve -m32/-m64,
Luc Van Oostenryck
[PATCH 0/3] diagnose unknown escapes after preprocessing,
Luc Van Oostenryck
Re: [RFC/PATCH] arm64: Rename macro arguments to silence sparse,
Stephen Boyd
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]