v0.6.0 (2018-12-26)¶
- The source code can be found at its usual repository:
git://git.kernel.org/pub/scm/devel/sparse/sparse.git v0.6.0
- The tarballs are found at:
Many thanks to people who have contributed to the 888 non-merge patches of this release:
Ramsay Jones, Randy Dunlap, Uwe Kleine-König, Joey Pabalinas, John Levon, Ben Dooks, Jann Horn, Logan Gunthorpe, Vincenzo Frascino and Tycho Andersen.
Special thanks to Ramsay Jones who has reviewed numerous of my patches, tested many of my series and found many of my typos.
Best wishes for 2019 – Luc Van Oostenryck
The changes since the pre-release (v0.6.0-rc1) are:
add -Wbitwise-pointer to warn on casts to/from bitwise pointers
beautify how types are displayed:
no more <noident>
no more redundant type specifiers
remove double space
some cleanup of the build system:
only need includedir from llvm-config
check if sparse-llvm needs libc++
remove -finline-functions from CFLAGS
some random cleanup:
remove unneeded declarations in “compat.h”
remove unused arg in add_branch()
allocate BBs after the guards
remove redundant check of _Bool bitsize
remove unused regno()
remove self-assignment of base_type
some documentation:
update comment for struct-expression::cast_expression
fix list formatting in inline doc
document that identifiers are now OK for address spaces
add TODO list.
The main changes since the previous release (v0.5.2) are:
by default, disable warnings about unknown attributes
no more warnings about sizeof(void) unless -Wpointer-arith is given
add support for __has_attribute() & __has_builtin()
many fixes for type evaluation/checking
the build should be more friendly for distros
a huge number of testcases have been added to the testsuite
the handling of cast instructions has been completely revamped
the SSA conversion has been is now corrected and has been rewritten with a variant of the classical algorithm
documentation is now handled with Sphinx and inline doc is extracted from the code.
online documentation can be found at https://sparse-doc.readthedocs.io/en/master/
A more complete list of changes is:
add predefined macros for __INTMAX_TYPE__, __INT_MAX__, …
prepare to identify & display the address spaces by name
fix linearization of non-constant switch-cases
manpage: update maintainer info
manpage: add AUTHORS section
fixes for -dD
add support for -dM
remove more complex phi-nodes
fix linearization/SSA when missing a return
fix linearization/SSA of (nested) logical expressions
fix linearization of unreachable switch + label
add support for __has_attribute()
consolidate instruction’s properties into an opcode table
fix: do not optimize away accesses to volatile bitfields
support mode(__pointer__) and mode(__byte__)
do ‘classical’ SSA conversion (via the iterated dominance frontier).
fix buggy recursion in kill_dead_stores()
kill dead stores again after memops simplification is done.
simplify TRUNC((x & M’) | y, N)
simplify AND(SHIFT(a | b, S), M)
simplify TRUNC(SHIFT(a | b, S), N)
add simplification of TRUNC(TRUNC((x))
add simplification of SHL(LSR(x), S), S)
generate integer-wide OP_ADD & OP_SUB in linearize_inc_dec()
simplify mask instructions & bitfield accesses
fix a few bugs related to the linearization of logical expressions
simplify those logical expressions.
add optimized version of some list operations
some simplifications of OP_SETNE & OP_SETEQ with 0 and 1
several simplifications involving casts and/or bitfields
give a correct & sensible warning on negative or over-sized shifts.
add conservative simplification of such shifts.
do not optimize the meaningless shift:
any shift with a negative count
OP_ASRs with an over-sized shift count.
try to give a correct negative/too-big error message during simplification.
simplify chains of shifts.
simplify ZEXT + ASR into ZEXT + LSR
cse: try the next pair instead of keeping the first instruction
cse: compare casts only by kind a size, not by C type.
optimize away OP_UTPTR & OP_PTRTU which are nops.
cleanup of list walking macros:
make untagged pointers the normal case
use structurally equivalent struct for all pointer lists to avoid needless casting to and fro struct ptrlist
simplify PREPARE/NEXT/RESET logic by using common PTR_NEXT()
add validation of the IR.
improve expansion of builtin dynamic macros (__FILE__, …)
add support for __INCLUDE_LEVEL__ & __BASE_FILE__
improve generation of predefined macros
add support for builtins doing overflow checking.
add support for the __has_builtin() macro.
improve Sphinx doc for IR instructions
have those instructions in the index
have a nicer presentation of the generated doc thanks to not having to use level-4 headings anymore
fixes & improvements to the testsuite; mainly:
allow to run the testsuite on all the tests of a subdir
teach ‘format’ to directly append to the testcase
validate the ‘check-…’ tags
Shortlog¶
- Ben Dooks (1):
tokenize: check show_string() for NULL pointer
- Jann Horn (1):
fix accesses through incorrect union members
- Joey Pabalinas (2):
doc: copy-edit text related to applying sizeof to a _Bool
sparse: add -Wpointer-arith flag to toggle sizeof(void) warnings
- John Levon (2):
Ignore #ident directives
Conditionalize ‘warning: non-ANSI function …’
- Logan Gunthorpe (1):
add __builtin functions for isinf_sign, isfinite and isnan
- Luc Van Oostenryck (857):
use long for all mem stats
diet: use smaller LIST_NODE_NR (29 -> 13)
diet: remove unused struct scope::token
diet: remove unused struct symbol::arg_count
option: add helper to parse/match command line options
option: rename ‘struct warning’ to ‘struct flag’
option: let handle_simple_switch() handle an array of flags
option: extract OPTION_NUMERIC() from handle_switch_fmemcpy_max_count()
option: add support for options with ‘zero is infinity’
option: add support for ‘-<some-option>=unlimited’
option: use OPTION_NUMERIC() for handle_switch_fmemcpy_max_count()
option: constify match_option()
option: handle switches by table
dump-ir: add defines for the compilation passes
testsuite: ‘echo -n’ may not be interpreted as ‘-n’
testsuite: allow to test a few cases at once
testsuite: move verbose() & error()
testsuite: better message for pattern nbr checking
testsuite: better message for pattern absence/presence
use shorter name for constexpr tests
testsuite: new eq/min/max syntax for pattern checking
testsuite: obsolete old pattern checking syntax
testsuite: convert to the new pattern syntax
use a specific struct for asm operands
fix: missing evaluate with ‘-include’ : add testcase
fix: missing evaluate with ‘-include’
fix test case kill-phi-ttsb
add test case for incomplete type
add test case for bad return type
diet: remove unused struct symbol::value
cclass: char is wide enough
cclass: cleanup
remove prototype extern int is_ptr_type()
remove prototype for nonexistent examine_simple_symbol_type()
graph: do not scan removed instructions
build: fix effectiveness of generated dependencies
build: remove unused support for pkgconfig
cgcc: teach cgcc about freebsd & netbsd
testsuite: clearer result summary
testsuite: check error messages first
testsuite: saner handling of ‘must_fail’
testsuite: allow to parse several options
testsuite: add support for -q|–quiet
testsuite: add support for -a|–abort
testsuite: get options from env too
testsuite: allow –format & –single
testsuite: remove useless selftest
testsuite: remove useless test-be.c
testsuite: extract disable()
testsuite: simplify documentation
testsuite: allow arch-specific tests
testsuite: save screen real estate
testsuite: add a blank line before format
testsuite: ‘quiet’ must be initialized earlier
testsuite: move up arg_file()
testsuite: make do_format() more self-contained
testsuite: format: saner defaults handling
testsuite: format: strip .c from default name
testsuite: add support for ‘format -f’
testsuite: add support for ‘format -l’
remove never-used MOD_TYPEDEF
MOD_ACCESSED is not a type modifier …
reorganize the definition of the modifiers
remove redundancy in MOD_STORAGE
define MOD_QUALIFIER for (MOD_CONST | MOD_VOLATILE)
associate MOD_RESTRICT with restrict-qualified variables
add support for C11’s _Atomic as type qualifier
build: use ‘-objs’ instead of ‘_EXTRA_DEPS’
build: use ‘-ldlibs’ instead of ‘_EXTRA_OBJS’
build: allow target-specific CFLAGS, CPPFLAGS, LDFLAGS & LDLIBS
build: allow CFLAGS & friends from command line
build: avoid rule-specific CFLAGS
build: use $LIBS directly in the dependency list
build: no need to use wildcards for generated dependencies
build: reuse rule for ALL_OBJS
build: CHECKER_FLAGS=-Wno-vla for all targets
build: move tests near their use
build: add note about overwritable vars
build: remove references to nonexistent pre-process.h
build: move clean & clean-check together
build: make clean targets quieter
build: remove rule for shared lib, it’s unused
build: normalize rules
build: remove the dist rule since unused
build: use one line per item
build: allow the name ‘local.mk’ to be configurable via the environment
build: use standard rules for install
build: remove unused QUIET_INST_SH
build: let quiet commands use less indentation
build: simplify quiet commands
build: simplify clean pattern
build: add *.o to clean-check pattern
build: avoid foreach
build: reorg & add comment
build: use a single space before assignments
build: add rule to run a single test
build: let -fno-strict-aliasing be a mandatory flag
volatile loads are side-effects too
define MOD_ACCESS for (MOD_ASSIGNED | MOD_ADDRESSABLE)
fix ‘simplification’ of float-to-int casts
fix description setval & symaddr
flush stdout when warning
add test case for bogus volatile simplification
fix: volatile stores must not be simplified
dump-ir: add testcase for option parsing corner case
dump-ir: allow to specify the passes to execute via cli’s options
dump-ir: activate/deactivate pass ‘mem2reg’
dump-ir: allow to skip the optimization pass(es)
dump-ir: saner use of fdump_linearize
dump-ir: rename -fdump-linearize to -fdump-ir
dump-ir: make it more flexible
dump-ir: activate -fdump-ir=mem2reg
add test case for using multiple input files
add test case for VLA sizeof
add test case for memory to register problem
add test case for conditionally undefined var
add test case for incomplete type
add test case bitfields in K&R decl
add test case storage specifier in struct member
add test case using sizeof on incomplete type
add test case for bad layout of bool in bitfields
add test case for missed overflow detection
add test cases for canonicalization of add/sub chains
add test case for compound literals
add testcase for __builtin_unreachable()
add test cases for canonicalization of mul chains
add test case for pre-processor extra tokens warning
add testcase for return & inline
add test cases for simplification of equivalent to ‘x == 0’ or ‘x != 0’
add test case for superfluous cast with volatiles
add testcase for mem2reg/SSA conversion
add test cases for canonicalization of boolean expressions
add test case for missing conversion to select
show OP_PHI without VOID
don’t output value of anonymous symbol’s pointer
add table to “negate” some opcode
use opcode table for compare_opcode()
canonicalize binops before simplification
canonicalize compare instructions
add is_signed_type()
fix usage of inlined calls
inlined calls should not block BB packing
give a type to all function arguments
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
llvm: remove unneeded arg ‘module’
llvm: remove unneeded ‘generation’
llvm: remove unneeded function::type
llvm: reduce scope of ‘bb_nr’
llvm: use pseudo_list_size() instead of open coding it
llvm: give arguments a name
llvm: give a name to call’s return values
llvm: avoid useless temp variable
llvm: extract get_sym_value() from pseudo_to_value()
llvm: fix test of floating-point type
llvm: fix translation of PSEUDO_VALs into a ValueRefs
llvm: fix output_op_store() which modify its operand
llvm: fix output_op_[ptr]cast()
llvm: add test cases for symbol’s address
llvm: add test cases for pointers passed as argument
llvm: add test cases for arrays passed as argument
llvm: add test cases for degenerated pointers
llvm: add support for OP_NEG
llvm: add support for OP_SETVAL with floats
llvm: add support for OP_SETVAL with labels
llvm: ignore OP_INLINED_CALL
llvm: fix pointer/float mixup in comparisons
llvm: fix type in comparison with an address constant
llvm: give correct type to binops
llvm: adjust OP_RET’s type
llvm: variadic functions are not being marked as such
llvm: fix type of switch constants
llvm: make pseudo_name() more flexible
llvm: give a name to all values
llvm: add support for OP_SWITCH with a range
llvm: fix OP_SWITCH has no target
llvm: make value_to_pvalue() more flexible
llvm: make value_to_ivalue() more flexible
llvm: add test case pointer compare with cast
llvm: let pseudo_to_value() directly use the type
llvm: add small script to test LLVM generated bytecode
llvm: add testcase for calling variadic functions
llvm: fix variadic calls with constants
llvm: take care of degenerated rvalues
llvm: fix mutating function pointer
llvm: fix mutated OP_RET
llvm: fix mutated OP_SEL
llvm: fix mutated OP_SWITCH
llvm: fix mutated OP_PHISOURCE
llvm: fix mutated OP_[PTR]CAST
llvm: add support for restricted types
llvm: fix get value from initialized symbol
llvm: fix get value from non-anonymous symbol
llvm: fix type of bitfields
llvm: add support for OP_FPCAST
llvm: add support for cast from floats
llvm: cleanup of output_[ptr]cast()
llvm: fix creation of sparsec’s tmp files
llvm: give names easier to debug
llvm: gracefully catch impossible type/value
llvm: warn instead of assert on global inits
llvm: add support for float initializer
llvm: only compare void pointers
fix linearize_inc_dec() with floats
add test case for boolean negation on float
fix support of floating-point compare
add support of floating-point specific arithmetic ops
testsuite: fix: remove unneeded ‘./’ before commands
fix: build sparse-llvm on i686s too.
add more testcases for using addresses in conditionals
add testcases linearization of degenerated arrays/functions
fix: add missing degenerate() for logical not
testsuite: make the ‘%.t’ rule depends on PROGRAMS too
testsuite: fix a few more incorrect check-commands
testsuite: convert to the new pattern syntax
testsuite: remove old ugly pattern syntax
testsuite: move verbose/error() before get_tag_value()
testsuite: add & use warning()
testsuite: reset ‘quiet’ at the start of each testcase
testsuite: fix invalid ‘check-…’ tags
testsuite: validate the ‘check-…’ tags
testsuite: early return in getopt loop
testsuite: move do_test_suite out of the getopt loop
testsuite: move no-arg out of the getopt loop
testsuite: change do_usage text
testsuite: allow to test only a subdir
testsuite: default to shift in the getopt loop
testsuite: add support for ‘format -a’
add testcase for ‘sparse -D M…’
fix: accept ‘sparse -D M…’
testsuite: add test case for quoting of command’s arguments
testsuite: process extra options without exec
testsuite: respect command line’s quotes & whitespaces
testsuite: allow default args from environment for test commands
add test case for space within command line
fix: spaces in macro definition on the command line
add testcases for unexamined base type
fix: evaluate_dereference() unexamined base type
add testcases for the linearization of calls
simplify linearize_call_expression()
fix linearize (*fun)()
add testcases for multiple deref of calls
avoid unneeded alloc on error path
dereference of a function is a no-op
add testcase for constant bitfield dereference
fix expansion of constant bitfield dereference
add testcase for CSE of floating-point compares
fix: restore CSE on floating-point compares
llvm: fix: previous function ref MUST be reused
llvm: use LLVMModuleRef for get_sym_value()
llvm: add declares for function prototypes
testcases: add missing return statements
warn on empty parenthesized expressions
fix crash on bad expression in linearize_switch()
llvm: simplify emit of null pointers
llvm: default init of arrays & structs
add more testcases for function designator dereference
add testcases for type comparison
fix implicit size of unsized arrays
let handle_switches() also handle reverse logic
add support for ‘-f[no-][un]signed-char’
fix: dereference null-type
teach sparse about ‘-fmax-warnings’
give a type to builtin functions
ctags: avoid null deref
cleanup: make some functions static
cleanup: remove unused & obsolete symbol_is_typename()
cleanup: remove unused delete_last_basic_block()
cleanup: remove declaration of unused merge_phi_sources
add OP_SETFVAL
CSE: support CSE of floating-point literal
doc: fix manpage formatting
report type & size on non-power-of-2 pointer subtraction
remove warning “call with no type”
add testcases for duplicated warning about invalid types
fix error in bad conditional
early return if null ctype in evaluate_conditional()
add helper: valid_type()
use valid_type to avoid to warn twice on conditionals
add helpers: valid_expr_type() & valid_subexpr_type()
do not report bad types twice
always evaluate both operands
fix examination of bad typeof
extract extract eval_insn() from simplify_constant_binop()
add testcase of dead dominator
fix dead dominator
fix missing checks for deleted instructions
add testcase for bad killing of dominated stores
add helper for pseudo’s user-list’s size
add helper: has_users()
use has_users() in dead_insn() too
let kill_instruction() report if changes were made
add testcases for converted loads
fix killing of converted loads
fix usage of deadborn loads
kill dead loads
kill dead stores when simplifying symbols
By default disable the warning flag ‘-Wunknown-attribute’
no repetition in unknown attribute warning message
cleanup: remove unused ‘struct pseudo_ptr_list’
llvm: use list_size() to count the numbers of arguments
llvm: initialize at declaration time
show_pseudo(): protect against NULL ->sym
use show_pseudo() for OP_SYMADDR’s symbol
let struct access_data use a single type
rename base_type() to bitfield_base_type()
builtin: add ctype for const {void,char} *
builtin: make builtins more builtin
builtin: extract eval_args() from arguments_choose()
builtin: add typechecking of isnan(), isinf(), …
builtin: add testcases for expansion of special FP constants
builtin: add testcases for expansion of FP classification
unsigned multiplication is also associative
no need for signed & unsigned multiplication
use ‘%lld’ for printing long longs
build: add -MP for generated dependencies
build: use -MMD for generated dependencies
ban use of ‘true’ or ‘false’
‘amd64’ is also ok for sparse-llvm
testsuite: fix typo with ‘test-suite format -a’
rename variable ‘optimize’ to ‘optimize_level’
move the optimization loop in its own file
cse: untangle simplification & hashing
extract cse_eliminate() from cleanup_and_cse()
expose interface to CSE
move liveness interface to its own header
move inner optimization loop into optimize.c
move the inner optimization loop into the main loop
remove unneeded cast in calls to free_ptr_list()
testsuite: add testcase for some random crash
testsuite: add testcase about CSE problem
IR: fix typo in IR doc
IR: remove now unused OP_LNOP & OP_SNOP
IR: remove never-generated instructions
IR: let .cond unionize with .src and not .target
IR: let OP_COMPUTEGOTO use .src instead of .target
llvm: normalize sparse-llvm-dis’ output
llvm: fix typo for constant addresses
testsuite: fix problem with double-escaping in patterns
add a field ‘tainted’ to struct instruction
taint: let check_access() warn just once
fix address_taken()
fix symbol cleanup
cleanup deadborn phi-sources
optim: add some more optimization tests
optim: add testcase for internal infinite loop
optim: add timeout for infinite optim loop tests
optim: kill unreachable BBS after CFG simplification
optim: no need to kill_unreachable_bbs() after main loop
optim: fix optimization loop’s condition
optim: pack bb must set REPEAT_CFG
optim: load simplification should repeat optimization
optim: fix REPEAT_CFG_CLEANUP
add an helper to test the value of a pseudo against zero
optim: simplify null select
make remove_usage() more generic
add remove_use()
show_label: add (and use) show_label()
extract alloc_phisrc() from alloc_phi()
small code reorg of add_store()
alloc: add missing #include “compat.h”
defer initialization of bb::context
fix-return: remove special case for single return
avoid deadborn loads & stores
doc: options.md is for development
doc: document the debug flags
fix missing handling of OP_FNEG
graph: do not use insn->symbol for memops
use -Wpointer-arith for tests
default to LP64 for all and only for 64 bit ABIs
fix alignment of 64 bit integers on LLP64
add testcases for verifying ABI’s integer size & align
use an enum for ARCH_LP32 & friends
add a flag -mx32 ILP32 env on 64 bit archs
add testcase for enum / int type difference
add testcase for array size type difference
add testcase for typedef redefinition
export check_duplicates()
fix: warn on typedef redefinition
do not to ignore old preprocessor testcases
use also __x86_64 when __x86_64__ is used
build: use a variable for $(shell uname -m)
build: use ‘filter’ to do pattern matching inside the Makefile
build: disable LLVM on x86-64-x32
let cgcc use sparse’s predefines for i386 & x86-64
build: use –dirty with ‘git describe’
fix build on Hurd which doesn’t define PATH_MAX
testsuite: add check-cp-if
testsuite: add check-assert
teach sparse about _Floatn and _Floatnx
add test case bug expand union
alloc: check if size is too big
fix: don’t dump pointer value in error message
fix missing checks for deleted instructions
fix comment about PSEUDO_SYM usage
fix: remove usage when killing symaddr (part 1)
fix: remove usage when killing symaddr (part 2)
OP_SYMADDR is simply an unop
use function-like syntax for __range__
increment the version number suffix it with -dev
doc: fix markdown syntax
doc: fix headings
doc: add minimal support for sphinx-doc
doc: add logo
doc: automatically set the copyright date
doc: automatically get the version
doc: set primary domain to C
doc: allow .md with py3-sphinx
doc: move sparse.txt to markdown and rename it
doc: the testsuite doc in reST
doc: format dev-options.md as a man page
doc: use reST for manpages
api: move evaluate interface to its own header file
doc: add structured doc to ptrlist.c
autodoc: extract doc from the C files
autodoc: convert extracted doc to reST
autodoc: add a sphinx c:autodoc directive for the extracted doc
autodoc: add doc from ptrlist.c
autodoc: add markup to argument’s references
autodoc: doc the doc
autodoc: by default disable syntax highlighting
autodoc: add a small cheatsheet for reST markup
autodoc: support muti-line param & return descriptions
autodoc: document a few more APIs to test multiline
autodoc: add autodoc tests in the testsuite
doc: convert IR.md to reST
doc: add sphinx domain for IR instruction indexation
add helper for new parsing errors: unexpected()
context: fix parsing of attribute ‘context’
context: __context__(…) expect a constant expression
context: fix crashes while parsing ‘__context__;’ or ‘__context__(;’
context: stricter syntax for __context__ statement
context: extra warning for __context__() & friends
label: add testcase for label redefinition
label: avoid multiple definitions
vla-sizeof: add test cases
vla-sizeof: add support for sizeof of VLAs
fix typing of __builtin_expect()
fix crash on ‘goto <reserved word>’
give a position to end-of-input
avoid multiple error message after parsing error
add test for integer-const-expr-ness
dyn-macro: add testcase for __LINE__ & friends
dyn-macro: use a table to expand __DATE__, __FILE__, …
dyn-macro: add support for __INCLUDE_LEVEL__
dyn-macro: add real support for __BASE_FILE__
utils: add xmemdup() & xstrdup()
utils: convert alloc + copy to {mem,str}dup_alloc()
builtin: add testcase for builtin macro expansion
builtin: extract do_define() from do_handle_define()
builtin: add builtin types {u,}{int,long,long}_ptr_ctype
builtin: declare __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
builtin: rename arguments_choose() to args_triadic()
builtin: add support for __builtin_{add,sub,mul}_overflow(), …
extract replace_with_bool() from replace_with_defined()
builtin: add support for __has_builtin()
builtin: add predefine()
builtin: directly predefine builtin macros
builtin: consolidate predefined_macros()
doc: API before IR
builtin: switch calling order of predefined_macros() & friends
builtin: merge declare_builtin_function() with declare_builtins()
teach sparse about -m16
ptrlist: specialize __add_ptr_list() for tag/notag
ptrlist: remove now unneeded add_ptr_list_notag()
ptrlist: add helper PTR_UNTAG()
ptrlist: rename PTR_ENTRY() to PTR_ENTRY_UNTAG()
ptrlist: make explicit when tagged pointers are used.
ptrlist: let FOR_EACH_PTR() ignore tags
utils: add xasprintf() & xvasprintf()
add support for -fdiagnostic-prefix[=prefix]
doc: add doc for the -vcompound flag
testsuite: fix missing return
keep the debug flags alphabetically sorted
testsuite: allow extra/default options to test commands
ir-validate: add framework for IR validation
ir-validate: validate pseudo’s defining instruction
ir-validate: add validation of (nbr of) phi operands
ir-validate: add more validation points
sparsec: simplify & portable use of mktemp
add predefines for __INT_WIDTH__ & friends
ptrlist: remove the now unneeded FOR_EACH_PTR_NOTAG()
ptrlist: let {first,last}_ptr_list() return the raw pointer
ptrlist: let sort_list() use the raw pointer
ptrlist: let all pointer lists have the same parameterized structure
ptrlist: when possible use the real type of the list
ptrlist: remove now unneeded CHECK_TYPE()
ptrlist: make add_ptr_list() more readable
ptrlist: make free_ptr_list() more readable
ptrlist: remove some unneeded arg from internal macros.
ptrlist: remove extra ident level
ptrlist: simplify loop nesting
ptrlist: simplify DO_NEXT
ptrlist: simplify PREPARE/NEXT
ptrlist: shorter continuated lines
ptrlist: remove ptr_list_empty()
ptrlist: make {first,last}_ptr_list() out-of-line functions
ptrlist: move semi-private prototypes close to their user
ptrlist: use VRFY_PTR_LIST() for sanity check
ptrlist: keep declaration of head-list-nr together
ptrlist: make clear what is API and what is implementation.
ptrlist: move DO_SPLIT() into DO_INSERT_CURRENT()
ptrlist: add missing doc for some functions
add testcase for bad fpcast simplification
fix bad fpcast simplification
avoid useless deref in simplify_cond_branch()
new helper: replace_pseudo()
remove unused arg in simplify_cond_branch()
add_uniop() should take a type, not an expression
rename add_uniop() to add_unop()
add missing entry for OP_FNEG in kill_insn() & validate_insn()
ir: define an OP_.. range for unops
ir: case OP_UNOP … OP_UNOP_END
cast: reorg testcases related to casts
cast: add testcase for bad implicit casts to struct/union
cast: add testcase for cast to bad typeof
cast: add tests for warnings issued by sparse -v
cast: rename evaluate_cast()’s vars with slightly more meaningful names
cast: force_cast are OK on non-scalar values
cast: prepare finer grained cast instructions
cast: specialize FPCAST into [USF]CVTF
cast: handle NO-OP casts
cast: specialize floats to integer conversion
cast: specialize casts from unsigned to pointers
cast: make [u]intptr_ctype alias of [s]size_t_ctype
cast: make pointer casts always size preserving
cast: temporary simplify handling cast to/from void*
cast: specialize cast from pointers
cast: add support for -Wpointer-to-int-cast
cast: make casts from pointer always size preserving
cast: specialize integer casts
cast: accept null casts
cast: do not try to linearize illegal casts
cse: add testcase for missed opportunity
new helper: def_opcode()
cast: simplify simplify_cast()
cast: merge simplification of constant casts with constant unops
cast: prepare for more cast simplifications
cast: keep instruction sizes consistent
cse: move to next comparable instruction
cast: simplify TRUNC + ZEXT to AND
add simple testcases for internal infinite loops
simplify ‘x | ~0’ to ‘~0’
simplify ‘x & ~0’ to ‘x’
simplify ‘x ^ ~0’ to ‘~x’
bool: add testcase for bool simplification
bool: fix add missing check in simplify_seteq_setne()
bool: simplify ZEXT in bool -> int -> bool
bool: fix missing boolean context for floats
bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOL
bool: remove OP_{AND,OR}_BOOL instructions
cast: reorganize testcases for cast optimization
cast: optimize away casts to/from pointers
cse: let equivalent casts hash & compare identically
fix killing OP_SWITCH
fix: remove dead OP_{SETVAL,SETFVAL,SLICE}
kds: add testcases for kill_dead_stores()
kds: add explanation to kill_dead_stores()
kds: rename kill_dead_stores() to kill_dead_stores_bb()
kds: add interface for kill_dead_stores()
kds: kill dead stores after memops simplification
kds: shortcut for kill_dead_stores()
kds: fix recursion in kill_dead_stores_bb()
kds: clarify kill_dead_stores_bb()
testsuite: reorganize tests for compound literals
testsuite: add a few more tests catching quadratic behaviour
testsuite: improve mem2reg testcases
testsuite: remove useless test for loop-linearization
graph: build the CFG reverse postorder traversal
graph: add debugging for (reverse) postorder traversal
dom: calculate the dominance tree
dom: add some debugging for the dominance tree
dom: add support for dominance queries
dom: build the domtree before optimization
dom: use domtree for bb_dominates()
sset: add implementation of sparse sets
idf: compute the iterated dominance frontier
idf: add test/debug/example
add new helper: is_integral_type()
add PSEUDO_UNDEF & undef_pseudo()
add insert_phi_node()
ptrmap: core implementation
ptrmap: add type-safe interface
ssa: phase 1: phi-nodes placement
ssa: phase 2: rename load & stores
ssa: phase 3: rename phi-nodes
ssa: activate the new SSA conversion
ssa: remove unused simplify_symbol_usage()
ssa: phi worklist
remove unused finish_address_gen()
remove unused struct access_data::pos
no need to assign ad->type for EXPR_POS
remove obsolete comment: /* Dummy pseudo allocator */
big-shift: add test for shifts with bad count
big-shift: mark out-of-range OP_{ASR,LSR,SHL} as tainted
big-shift: do not evaluate negative or over-sized shifts
big-shift: don’t take the modulo at expand time
big-shift: move the check into check_shift_count()
big-shift: use the base type for shift-too-big warning
big-shift: also check shift count of shift-assignment
big-shift: do not simplify over-sized OP_ASR to zero
big-shift: reorder the tests in simplify_asr()
big-shift: reuse simplify_asr() for LSR & SHL
big-shift: simplify over-sized OP_LSRs
big-shift: simplify over-sized OP_SHLs
big-shift: use the type width for too big shift
big-shift: fix warning message for negative shift count
big-shift: fix evaluation of shift-assign
big-shift: do not truncate the count when checking it
big-shift: add -Wshift-count-{negative,overflow}
extract nbr_users() from unssa.c
add testcases for casts & bitfield insertion/extraction
bitfield: extract linearize_bitfield_extract()
bitfield: extract linearize_bitfield_insert()
cast: simplify [SZ]EXT + TRUNC to original size
cast: simplify [SZ]EXT + TRUNC to a smaller/greater size
cast: fix shift signedness in cast simplification
cast: do not compare sizes, test the opcode
cast: use a switch to handle TRUNC(AND(x,M),N) in simplify_cast()
cast: preserve the sizes of TRUNC(AND(x,M),N)
cast: simplify [ZS]EXT(AND(x,M),N)
cast: simplify AND(ZEXT(x,M),N)
cast: simplify SEXT(SEXT(x,N),N’)
cast: simplify ZEXT(ZEXT(x,N),N’)
cast: simplify SEXT(ZEXT(x,N),N’)
bits: add helpers for zero & sign-extension
big-shift: add testcases for simplification of over-sized shifts
big-shift: add testcases for simplification of negative shifts
big-shift: move shift count check in a separate function
big-shift: fix warning message for negative or over-sized shifts
big-shift: do not optimize negative shifts
big-shift: do not optimize over-sized ASRs
use “%Le” to display floats
add copy_ptr_list()
testcases: add testcase for missing detection of out-of-bound stores
testcases: missing evaluation of side effects in typeof(VLA)
kill dead OP_FADD & friends
add ptr_list_empty()
add ptr_list_multiple()
add lookup_ptr_list_entry()
shift: simplify LSR(LSR(x,N),N’) & friends
shift: simplify ASR(LSR(x,N),N’)
shift: avoid simplification of ASR(LSR(x,0),N)
shift: simplify ASR(ZEXT(X, N), C)
testcase for SET{EQ,NE}([SZ]EXT(x, N),{0,1})’s simplification
cleanup of simplify_seteq_setne(): remove tmp vars
simplify SET{EQ,NE}(ZEXT(x, N),{0,1})
simplify SET{EQ,NE}(SEXT(x, N),{0,1})
simplify ‘x != 0’ or ‘x == 1’ to ‘x’
add testcase for linearize_logical()
fix size corruption when simplifying ‘x != 0’ to ‘x’
protect add_convert_to_bool() against bad types / invalid expressions
conditional branches can’t accept arbitrary expressions
fix linearize_conditional() for logical ops
expand linearize_conditional() into linearize_logical()
simplify linearize_logical()
simplify SETNE(AND(X,1),0) to AND(X,1)
simplify SETNE(TRUNC(x,N),{0,1})
simplify ZEXT(SETCC(x,y), N)
simplify SEXT(SETCC(x,y), N)
simplify TRUNC(SETCC(x,y), N)
simplify AND(SETCC(x,y), M)
boolean conversion of boolean value is a no-op
cast: fix warning position in cast_pseudo()
limit the mask used for bitfield insertion
expand linearize_position() into linearize_initializer()
put back the bitfield base type into struct access_data
fix instruction size & type in linearize_inc_dec()
fix bad indentation in linearize_inc_dec()
avoid infinite simplification loops of the second kind
optim: add a few more testcases for shift & mask
use multi_users() instead on nbr_users()
reorg code for shift-shift simplification
simplify ((x & M’) | y ) & M into (y & M) when (M’ & M) == 0
simplify ((x & M) | y) >> S to (y >> S) when (M >> S) == 0
simplify (x << S) >> S into x & (-1 >> S)
simplify (x & M) >> S to (x >> S) & (M >> S)
rename testcase for ((x << S) >> S) simplification
add testcase for ((x >> S) << S) simplification
add testcase for TRUNC(TRUNC(x)) simplification
simpler guard in LSR-SHL simplification
reorganize shift-shift simplification
simplify ((x >> S) << S)
reorganize simplification of ZEXT(TRUNC(x))
simplify TRUNC(TRUNC(x))
doc: simplify the creation of the viewlist
doc: automatically insert the blank line for lists
doc: convert existing simplify.c doc into ReST autodoc
doc: reword doc for replace_pseudo()
doc: add doc for simplification notation
add testcase for (((x & M’) | (y & M’’)) & M)
add testcases for bitfield & AND/OR simplification
unify simplify_lsr_or() & simplify_and_or_mask()
add simplify_mask_or()
use better names for simplify_mask_or_and() vars
document simplify_mask_or() & simplify_mask_or_and()
switch return order in simplify_mask_or_and()
allow simplification of OP(((x & y) | (a & M’)), K)
move opcode test inside simplify_mask_or_and()
simplify OP(((x & M’) | y), K) when (M’ & M) == M
simplify OP(((x & M’) | y), K) when (M’ & M) != M’
simplify OP((x | C), K) when (C & M) == 0
simplify OP((x | C), K) when (C & M) == M
simplify OP((x | C), K) when (C & M) != C
simplify SHL((x & M’) | y, S)
add testcases for {LSR,SHL}(AND(x, M), S) with shared AND(x, M)
use an intermediate mask in simplify_shift()
simplify ((x & M) >> S) when (M >> S) == 0
simplify ((x & M) >> S) when (M >> S) == (-1 >> S)
simplify ((x & M) << S) when (M << S) == 0
simplify ((x & M) << S) when (M << S) == (-1 << S)
simplify TRUNC((x & M’) | y, N)
doc: extend simplification notation
prepare simplification of MASK(SHIFT(a | b, S), M)
simplify AND(SHIFT(a | b, S), M)
simplify TRUNC(SHIFT(a | b, S), N)
mode keywords don’t need MOD_{CHAR,LONG,…}
add support for mode __pointer__
add support for mode __byte__
add a testcase for enum using a mode
remove superfluous newline in ‘unknown mode attribute’ error message
testsuite: remove useless test for loop-linearization
symaddr: s/insn->symbol/insn->src/
add testcase for accesses to volatile bitfields
split memops from unops
add a flag for volatile memops
fix: do not optimize away accesses to volatile bitfields
opcode: centralize opcode definition
opcode: add arity info
opcode: add OPF_TARGET
add a function to remove deadborn instructions
fix missing declarations
has-attr: add testcase for __has_attribute()
has-attr: move ‘mode’ next to ‘__mode__’
has-attr: add __designated_init__ & transparent_union
has-attr: add support for __has_attribute()
ir-validate: add validation branch to dead BB
ir-validate: ignore dead phis
ir-validate: validate return value
add testcase for unreachable label in switch
fix linearization of unreachable switch (with reachable label).
move DEF_OPCODE() to header file
trivial-phi: add testcase for unneeded trivial phi-nodes
trivial-phi: make clean_up_phi() more sequential
trivial-phi: extract trivial_phi() from clean_up_phi()
trivial-phi: early return
trivial-phi: use a temp var for the real source
trivial-phi: directly return the unique value
trivial-phi: remove more complex trivial phi-nodes
stricter warning for explicit cast to ulong
add linearization as a pass
add testcases for missing return in last block
use a temp var for function’s upper-level statement
topasm: top-level asm is special
specialize linearize_compound_statement()
there is always an active BB after linearize_fn_statement()
the return BB is never terminated
extract add_return() from linearize_return()
use UNDEF for missing returns
use a temp var for the return type/symbol
return nothing only in void functions
add testcases for wrong ordering in phi-nodes
fix ordering of phi-node operand
add tests for nested logical expr
fix linearization of nested logical expr
add testcase for non-constant switch-case
fix linearization of non-constant switch-cases
test: make test Waddress-space-strict succeed on 32-bit
test: use integers of different sizes, even on 32-bit
test: make 32-bit version of failed test
ssa: relax what can be promoted
doc: is_int_type() returns false for SYM_RESTRICTs
enum: add testcase for UB in oversized shift
enum: fix UB when rshifting by full width
enum: add testcase for type of enum members
enum: add testcase for base & enumerator type
enum: fix cast_enum_list()
enum: use the smallest type that fit
enum: use the values to determine the base type
enum: only warn (once) when mixing bitwiseness
enum: warn when mixing different restricted types
enum: warn on bad enums
enum: rewrite bound checking
enum: keep enumerators as int if they fit
enum: default to unsigned
enum: more specific error message for empty enum
__attribute__((fallthrough)) can’t simply be ignored
ptrlist: add ptr_list_nth_entry()
add testcase for missing function designator expansion
fix expansion of function designator
teach sparse about ‘-o <file>’
teach sparse about ‘-x <language>’
cgcc: add support to ignore argument(s) of options
cgcc: teach about ‘-o <file>’
cgcc: teach about ‘-x c’
dump-macro: break the loop at TOKEN_UNTAINT
dump-macro: simplify processing of whitespace
fix implicit K&R argument types
Use -Wimplicit-int when warning about missing K&R argument types
Accept comma-separated list for function declarations.
cgcc: use ‘i386’ for the arch instead of ‘i86’
add testcase for missing deliminator ‘ or “
man: add section about reporting bugs
man: add AUTHORS section
man: update maintainer info
don’t allow newlines inside string literals
multi-buffer for idents
as-name: add and use show_as()
as-name: use idents for address spaces
as-name: allow ident as address_space
as-name: check for multiple address spaces at parsing time
as-named: warn on bad address space
add detection of native platform
Consolidate ‘machine detection’ into “machine.h”
test endianness with __BYTE_ORDER__
testsuite: test predef macros on LP32/LP64/LLP64
fix ‘__SIZE_TYPE__’ for LLP64
allow optional “_T” suffix to __SIZEOF_XXX__
use bits_mask() for predefined_max()
add builtin_type_suffix()
teach sparse about asm inline
remove duplicates from gcc-attr-list.h
show-parse: strip do_show_type()’s trailing space
make predefined_type_size() more generic
give a type to wchar
use the type for predefined_max()
add predefined macros for wint_t
add predefined macros for [u]intptr
add predefined macros for [u]intmax
add predefined macros for [u]int{8,16}_t
add predefined macros for [u]int64_t
add predefined macros for [u]int32_t
add predefined macros for char{16,32}_t
fix the size of long double
add predefine for __CHAR_UNSIGNED__
add predefine_min() and use it for __{WCHAR,WINT}_MIN__
add a flag to warn on casts to/from bitwise pointers
show-parse: don’t display null ident in show_typename()
show-parse: do not display base type’s redundant specifiers
show-parse: remove string_ctype from typenames
VERSION=0.6.0-rc1
build: only need includedir from llvm-config
build: check if sparse-llvm needs libc++
remove unneeded declarations in “compat.h”
remove unused arg in add_branch()
allocate BBs after the guards
remove redundant check of _Bool bitsize
remove unused regno()
remove -finline-functions from CFLAGS
remove self-assignment of base_type
doc: fix list formatting
as-name: document that identifiers are OK for address spaces
add TODO list.
Sparse v0.6.0
- Ramsay Jones (9):
Makefile: use locally built sparse in the selfcheck target
sparsec: use a compatible exception model on cygwin
sparsei: add the –[no-]jit options
constant: add -Wconstant-suffix warning
pre-process: suppress trailing space when dumping macros
pre-process: print macros containing # and ## correctly
pre-process: don’t put spaces in macro parameter list
pre-process: print variable argument macros correctly
pre-process: add the -dM option to dump macro definitions
- Randy Dunlap (6):
sparse: minor manpage corrections
Documentation: make data-structures.txt easier to read
Documentation: editing fixes in test-suite
lib.c: early return from handle_onoff_switch()
sparse: ignore indirect_branch attribute
sparse: option to print compound global data symbol info
- Thiebaud Weksteen (1):
Add testcases for bitwise cast on pointer
- Tycho Andersen (1):
expression.h: update comment to include other cast types
- Uwe Kleine-König (6):
build: make PREFIX overwritable from the environment
build: put comment about local.mk to the place where it is included
build: drop BASIC_CFLAGS and ALL_CFLAGS
build: drop -g from LDFLAGS
build: pass CPPFLAGS to compiler
build: only generate version.h when needed
- Vincenzo Frascino (1):
print address space number for cast-from-AS warnings