Age | Commit message (Expand) | Author | Files | Lines |
2023-12-16 | parse: handle __cleanup__ attributehandle-cleanup-attr | Dan Carpenter | 4 | -2/+33 |
2023-12-16 | parse: add testcases for __cleanup__ attribute | Luc Van Oostenryck | 1 | -0/+34 |
2022-06-27 | Merge branches 'unreplaced' and 'inline' | Luc Van Oostenryck | 2 | -10/+26 |
2022-06-27 | inline: free symbol list after use | Luc Van Oostenryck | 1 | -0/+1 |
2022-06-27 | inline: allocate statement after guards | Luc Van Oostenryck | 1 | -1/+2 |
2022-06-27 | inline: avoid needless intermediate vars | Luc Van Oostenryck | 1 | -6/+3 |
2022-06-27 | inline: declaration of the variadic vars is useless | Luc Van Oostenryck | 1 | -2/+2 |
2022-06-27 | inline: comment about creating node of node on variadics | Luc Van Oostenryck | 1 | -1/+5 |
2022-06-26 | inline: add testcases for inlining of variadics | Luc Van Oostenryck | 1 | -0/+13 |
2022-06-24 | fix "unreplaced" warnings caused by using typeof() on inline functions | Luc Van Oostenryck | 3 | -1/+46 |
2022-06-14 | predefine __ATOMIC_ACQUIRE & friends as weak | Luc Van Oostenryck | 1 | -6/+6 |
2022-06-09 | Merge branches 'cgcc-dash-x' and 'fixes' | Luc Van Oostenryck | 3 | -0/+19 |
2022-06-09 | allow show_token() on TOKEN_ZERO_IDENT | Luc Van Oostenryck | 1 | -0/+2 |
2022-06-07 | fix crash when inlining casts of erroneous expressions | Luc Van Oostenryck | 2 | -0/+17 |
2022-06-06 | cgcc: do not die on '-x assembler' | Luc Van Oostenryck | 1 | -3/+2 |
2022-06-05 | Merge branch 'riscv' | Luc Van Oostenryck | 1 | -13/+9 |
2022-06-05 | RISC-V: Remove "g" from the extension list | Palmer Dabbelt | 1 | -1/+0 |
2022-06-05 | RISC-V: Remove the unimplemented ISA extensions | Palmer Dabbelt | 1 | -10/+0 |
2022-06-05 | RISC-V: Match GCC's semantics for multiple -march instances | Palmer Dabbelt | 1 | -0/+3 |
2022-06-05 | RISC-V: don't die() on -march errors, just warn | Palmer Dabbelt | 1 | -2/+6 |
2022-06-05 | Merge branch 'cast-value' | Luc Van Oostenryck | 4 | -9/+10 |
2022-05-31 | cast_value: remove error-prone redundant argument | Luc Van Oostenryck | 4 | -7/+6 |
2022-05-31 | cast_value: assign the new type | Luc Van Oostenryck | 3 | -2/+4 |
2022-05-31 | Merge branch 'fixes' into master | Luc Van Oostenryck | 6 | -1/+59 |
2022-05-31 | fix zero/sign extension of integer character constants | Luc Van Oostenryck | 3 | -1/+27 |
2022-05-22 | Merge branch 'xtensa' | Luc Van Oostenryck | 1 | -0/+7 |
2022-05-22 | cgcc: add Xtensa support | Guennadi Liakhovetski | 1 | -0/+7 |
2022-05-22 | handle clang's option "-meabi gnu" | Luc Van Oostenryck | 1 | -0/+13 |
2022-05-21 | Merge branch 'riscv-zicsr' | Luc Van Oostenryck | 1 | -2/+10 |
2022-05-21 | RISC-V: Add the Zifencei extension | Palmer Dabbelt | 1 | -0/+4 |
2022-05-21 | RISC-V: Add the Zicsr extension | Palmer Dabbelt | 1 | -2/+6 |
2022-05-21 | Use offsetof macro to silence null ptr subtraction warning | Richard Palethorpe | 1 | -1/+1 |
2022-05-21 | fix one year off in v0.6.4's release notes | Luc Van Oostenryck | 1 | -1/+1 |
2022-05-21 | Merge branch 'semid' | Luc Van Oostenryck | 5 | -2/+72 |
2022-05-21 | Merge branch 'next-ramsay' | Luc Van Oostenryck | 4 | -1/+56 |
2022-05-21 | dissect: Show typedefs | Alexey Gladkov | 2 | -1/+14 |
2022-05-21 | dissect: Show macro definitions | Alexey Gladkov | 2 | -2/+14 |
2022-05-21 | dissect: Allow to show all symbols | Alexey Gladkov | 4 | -1/+46 |
2022-05-21 | fix infinite loop when expanding __builtin_object_size() with self-init vars | Luc Van Oostenryck | 2 | -0/+19 |
2022-05-20 | parse: warn about a 'case label' on empty statement | Ramsay Jones | 2 | -0/+27 |
2022-05-20 | sparse: fix broken 'memcpy-max-count' check | Ramsay Jones | 2 | -1/+29 |
2021-09-06 | Sparse v0.6.4v0.6.4 | Luc Van Oostenryck | 2 | -3/+3 |
2021-09-01 | Sparse v0.6.4-rc1v0.6.4-rc1 | Luc Van Oostenryck | 1 | -1/+1 |
2021-09-01 | Add release notes for incoming v0.6.4 | Luc Van Oostenryck | 2 | -0/+106 |
2021-08-02 | Merge branch 'schecker-fixes' | Luc Van Oostenryck | 1 | -17/+31 |
2021-07-29 | scheck: fix type of operands in casts | Luc Van Oostenryck | 1 | -10/+8 |
2021-07-27 | scheck: mkvar() with target or input type | Luc Van Oostenryck | 1 | -0/+12 |
2021-07-27 | scheck: constants are untyped | Luc Van Oostenryck | 1 | -3/+2 |
2021-07-27 | scheck: ignore OP_NOP & friends | Luc Van Oostenryck | 1 | -0/+5 |
2021-07-27 | scheck: better diagnostic for unsupported instructions | Luc Van Oostenryck | 1 | -4/+4 |
2021-07-27 | fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0) | Luc Van Oostenryck | 1 | -0/+1 |
2021-04-20 | Merge branches misc, cmp-pow2, optim-and-cmp, cmp-and-or and optim-cast-eval ... | Luc Van Oostenryck | 11 | -74/+243 |
2021-04-19 | remove early simplification of casts during evaluation | Luc Van Oostenryck | 3 | -45/+1 |
2021-04-19 | simplify TRUNC(NOT(x)) --> NOT(TRUNC(x)) | Luc Van Oostenryck | 2 | -1/+15 |
2021-04-18 | TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C | Luc Van Oostenryck | 1 | -0/+14 |
2021-04-18 | simplify AND(x >= 0, x < C) --> (unsigned)x < C | Luc Van Oostenryck | 3 | -2/+11 |
2021-04-18 | add helper is_positive() | Luc Van Oostenryck | 1 | -0/+5 |
2021-04-18 | add testcases for AND(x > 0, x <= C) --> x u<= C | Luc Van Oostenryck | 2 | -0/+32 |
2021-04-18 | canonicalize constant signed compares toward zero | Luc Van Oostenryck | 2 | -6/+102 |
2021-04-18 | Merge branches 'fix-phisrc' and 'insert-last-insn' into memops-prep | Luc Van Oostenryck | 14 | -200/+290 |
2021-04-18 | add testcases for simplification of casts. | Luc Van Oostenryck | 4 | -24/+51 |
2021-04-17 | memops: we can kill addresses unconditionally | Luc Van Oostenryck | 1 | -3/+1 |
2021-04-17 | memops: avoid using first_pseudo() | Luc Van Oostenryck | 1 | -3/+5 |
2021-04-17 | memops: do not mess up with phisource's source ident | Luc Van Oostenryck | 1 | -1/+0 |
2021-04-17 | memops: remove obsolete comment | Luc Van Oostenryck | 1 | -4/+0 |
2021-04-17 | memops: find_dominating_parents()'s generation is redundant | Luc Van Oostenryck | 1 | -8/+6 |
2021-04-17 | memops: dominates()'s first arg is redundant | Luc Van Oostenryck | 3 | -12/+12 |
2021-04-17 | Merge branch 'deadstore' | Luc Van Oostenryck | 4 | -11/+94 |
2021-04-17 | Merge branch 'linear' | Luc Van Oostenryck | 1 | -1/+2 |
2021-04-17 | Merge branch 'untyped' | Luc Van Oostenryck | 1 | -0/+11 |
2021-04-17 | TODO: add some notes about pseudos being typeless | Luc Van Oostenryck | 1 | -0/+11 |
2021-04-17 | Merge branch 'schecker' | Luc Van Oostenryck | 9 | -18/+499 |
2021-04-17 | scheck: predefine __SYMBOLIC_CHECKER__ | Luc Van Oostenryck | 1 | -0/+1 |
2021-04-13 | scheck: support pre-conditions via __assume() | Luc Van Oostenryck | 3 | -9/+31 |
2021-04-13 | scheck: assert_const() | Luc Van Oostenryck | 3 | -0/+21 |
2021-04-13 | scheck: allow multiple assertions | Luc Van Oostenryck | 2 | -6/+3 |
2021-04-13 | scheck: assert_eq() | Luc Van Oostenryck | 3 | -0/+17 |
2021-04-13 | scheck: add a symbolic checker | Luc Van Oostenryck | 7 | -0/+356 |
2021-04-13 | .gitignore is a bit too greedy | Luc Van Oostenryck | 1 | -17/+17 |
2021-04-13 | builtin: define a symbol_op for a generic op acting on integer | Luc Van Oostenryck | 2 | -0/+65 |
2021-04-10 | linear: only allocate call instructions when needed | Luc Van Oostenryck | 1 | -1/+2 |
2021-04-10 | export declare_builtins() | Luc Van Oostenryck | 2 | -1/+3 |
2021-04-04 | fix null-pointer crash with with ident same as one of the attributes | Luc Van Oostenryck | 2 | -1/+13 |
2021-04-02 | fix remove_merging_phisrc() | Luc Van Oostenryck | 2 | -11/+20 |
2021-03-30 | Merge branch 'testsuite-extra' (early part) | Luc Van Oostenryck | 1 | -0/+11 |
2021-03-28 | better check validity of phi-sources | Luc Van Oostenryck | 1 | -8/+13 |
2021-03-28 | correctly count phi arguments | Luc Van Oostenryck | 2 | -1/+44 |
2021-03-26 | additional testcase for remove_merging_phisrc() | Luc Van Oostenryck | 1 | -0/+24 |
2021-03-25 | kill redundant stores (local) | Luc Van Oostenryck | 2 | -1/+5 |
2021-03-25 | kill parent's dead stores too | Luc Van Oostenryck | 3 | -2/+16 |
2021-03-25 | volatile stores are never dead | Luc Van Oostenryck | 1 | -0/+2 |
2021-03-24 | extract try_to_kill_store() from kill_dominated_stores() | Luc Van Oostenryck | 1 | -11/+19 |
2021-03-24 | add testcases for stores simplifications | Luc Van Oostenryck | 3 | -0/+55 |
2021-03-21 | let ssa_rename_phi() use insert_last_instruction() | Luc Van Oostenryck | 1 | -3/+3 |
2021-03-21 | let find_dominating_parents() use insert_last_instruction() | Luc Van Oostenryck | 1 | -5/+5 |
2021-03-21 | let insert_phis() use insert_last_instruction() | Luc Van Oostenryck | 1 | -4/+3 |
2021-03-21 | let insert_select() use insert_last_instruction() | Luc Van Oostenryck | 1 | -6/+1 |
2021-03-21 | replace add_instruction_to_end() by insert_last_instruction() | Luc Van Oostenryck | 1 | -9/+1 |
2021-03-21 | add insert_last_instruction() | Luc Van Oostenryck | 1 | -0/+8 |
2021-03-21 | testsuite: add option '-r' to 'test-suite format' | Luc Van Oostenryck | 1 | -0/+11 |
2021-03-19 | fix phisources during SWITCH-BR conversion | Luc Van Oostenryck | 2 | -1/+20 |
2021-03-19 | use convert_to_jump() when converting a CBR with same targets | Luc Van Oostenryck | 2 | -12/+2 |
2021-03-19 | fix phisources during CBR-BR conversion | Luc Van Oostenryck | 3 | -2/+5 |
2021-03-19 | add remove_phisources() | Luc Van Oostenryck | 2 | -0/+45 |
2021-03-19 | rename insert_branch() to convert_to_jump() | Luc Van Oostenryck | 3 | -7/+7 |
2021-03-19 | let insert_branch() return a status | Luc Van Oostenryck | 3 | -17/+13 |
2021-03-19 | move insert_branch() to flow.c | Luc Van Oostenryck | 4 | -27/+27 |
2021-03-19 | let insert_branch() reuse the terminating instruction | Luc Van Oostenryck | 1 | -10/+6 |
2021-03-19 | fold remove_parent() into insert_branch() | Luc Van Oostenryck | 1 | -6/+1 |
2021-03-19 | simplify remove_parent() | Luc Van Oostenryck | 1 | -2/+0 |
2021-03-19 | remove insert_branch() redundant arg | Luc Van Oostenryck | 4 | -7/+8 |
2021-03-19 | add testcases to check if phi-sources from removed targets are removed too | Luc Van Oostenryck | 4 | -0/+78 |
2021-03-19 | Revert "simplify CBR-CBR on the same condition" | Luc Van Oostenryck | 1 | -106/+0 |
2021-03-13 | canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2 | Luc Van Oostenryck | 2 | -0/+16 |
2021-03-12 | Merge branches 'fix-ssa' and 'cmp-and-or' into next | Luc Van Oostenryck | 9 | -4/+211 |
2021-03-10 | no needs to use MARK_CURRENT_DELETED() for multi-jumps | Luc Van Oostenryck | 1 | -1/+1 |
2021-03-10 | simplify (x | M) cmpu C | Luc Van Oostenryck | 2 | -1/+16 |
2021-03-10 | simplify (x | M) cmps C | Luc Van Oostenryck | 2 | -1/+14 |
2021-03-10 | simplify (x | M) {==,!=} C | Luc Van Oostenryck | 2 | -1/+15 |
2021-03-10 | simplify (x & M) {==,!=} C | Luc Van Oostenryck | 2 | -1/+8 |
2021-03-10 | simplify (x & M) cmps 0 | Luc Van Oostenryck | 2 | -1/+4 |
2021-03-10 | simplify (x & M) cmpu C | Luc Van Oostenryck | 2 | -1/+16 |
2021-03-10 | simplify (x & M) cmps C | Luc Van Oostenryck | 2 | -1/+25 |
2021-03-10 | add testcases for constant compares against AND/OR | Luc Van Oostenryck | 7 | -0/+116 |
2021-03-10 | change testing of signed compares against SMIN or SMAX | Luc Van Oostenryck | 1 | -4/+4 |
2021-03-09 | ssa: remove single store optimization | Luc Van Oostenryck | 1 | -64/+0 |
2021-03-09 | ssa: fix conversion with mismatched size or offset | Luc Van Oostenryck | 3 | -20/+80 |
2021-03-09 | ssa: avoid SSA conversion of packed bitfields | Luc Van Oostenryck | 2 | -1/+3 |
2021-03-09 | ssa: the sparse set is not needed | Luc Van Oostenryck | 4 | -92/+4 |
2021-03-09 | ssa: add some testcases for mismatched memops | Luc Van Oostenryck | 2 | -0/+85 |
2021-03-08 | Merge branch 'uniq-phinode' | Luc Van Oostenryck | 9 | -65/+16 |
2021-03-08 | Merge branch 'ptrlist-generic' | Luc Van Oostenryck | 4 | -25/+26 |
2021-03-08 | phi-sources can only have a single user (or none) | Luc Van Oostenryck | 9 | -65/+16 |
2021-03-08 | ptrlist: change return value of linearize_ptr_list()/ptr_list_to_array() | Luc Van Oostenryck | 2 | -7/+7 |
2021-03-06 | ptrlist: make linearize_ptr_list() generic | Luc Van Oostenryck | 2 | -2/+8 |
2021-03-06 | ptrlist: use ptr_list_nth() instead of linearize_ptr_list() | Luc Van Oostenryck | 1 | -12/+1 |
2021-03-06 | ptrlist: add pop_ptr_list() | Luc Van Oostenryck | 1 | -0/+6 |
2021-03-06 | ptrlist: change TYPEOF() into PTRLIST_TYPE() | Luc Van Oostenryck | 1 | -5/+5 |
2021-03-06 | ptrlist: remove one pointer level from TYPEOF() | Luc Van Oostenryck | 1 | -4/+4 |
2021-03-05 | Merge branch 'slice' | Luc Van Oostenryck | 7 | -16/+9 |
2021-03-04 | Merge branch 'path-norm' | Luc Van Oostenryck | 1 | -0/+6 |
2021-03-01 | Merge branch 'fix-restrict' into next | Luc Van Oostenryck | 2 | -1/+23 |
2021-03-01 | pre-proc: do some path normalization | Luc Van Oostenryck | 1 | -0/+6 |
2021-02-28 | liveness: use 'src' for unops instead of 'src1' | Luc Van Oostenryck | 1 | -1/+1 |
2021-02-28 | slice: display the source's size, like for unops | Luc Van Oostenryck | 1 | -1/+1 |
2021-02-28 | slice: OP_SLICE needs the source's type: make it a kind of unop | Luc Van Oostenryck | 3 | -10/+5 |
2021-02-28 | slice: remove unneeded nr_nrbits from EXPR_SLICE | Luc Van Oostenryck | 3 | -3/+2 |
2021-02-28 | slice: remove unneeded len from OP_SLICE | Luc Van Oostenryck | 3 | -4/+3 |
2021-02-28 | asm-out0: fix a test failure on 32-bit systems | Ramsay Jones | 1 | -1/+1 |
2021-02-28 | linearize.h: fix some 'selfcheck' warnings | Ramsay Jones | 1 | -2/+2 |
2021-02-25 | Merge branch 'objsize' | Luc Van Oostenryck | 5 | -1/+144 |
2021-02-25 | Merge branch 'asm-dom' | Luc Van Oostenryck | 5 | -24/+97 |
2021-02-25 | expand __builtin_object_size() | Luc Van Oostenryck | 4 | -1/+140 |
2021-02-24 | fix eval of the assignment of a non-restricted value to a restricted variable | Luc Van Oostenryck | 2 | -1/+23 |
2021-02-21 | asm-mem: teach dominates() about OP_ASM | Luc Van Oostenryck | 2 | -1/+6 |
2021-02-21 | asm-mem: does it output to memory? | Luc Van Oostenryck | 2 | -0/+2 |
2021-02-21 | asm-mem: does it clobber memory? | Luc Van Oostenryck | 2 | -1/+8 |
2021-02-21 | asm-mem: add testcase for missing reload after asm memops | Luc Van Oostenryck | 1 | -0/+15 |
2021-02-21 | reorg dominates() | Luc Van Oostenryck | 1 | -4/+7 |
2021-02-21 | asm: output *memory* operands need their address as *input* | Luc Van Oostenryck | 2 | -9/+23 |
2021-02-21 | asm: factor out add_asm_rule() from add_asm_{in,out}put() | Luc Van Oostenryck | 1 | -11/+12 |
2021-02-21 | asm: add testcase for problem with output addresses | Luc Van Oostenryck | 1 | -0/+26 |
2021-02-08 | ptrlist: make ptr_list_nth_entry() generic with ptr_list_nth() | Luc Van Oostenryck | 1 | -0/+4 |
2021-01-31 | Merge branch 'fix-join-cond' | Luc Van Oostenryck | 2 | -2/+21 |
2021-01-31 | fix add_join_conditional() when one of the alternative is VOID | Luc Van Oostenryck | 2 | -2/+21 |
2021-01-28 | Merge branch 'optim-cmps' | Luc Van Oostenryck | 8 | -19/+200 |
2021-01-27 | Makefile: fix version.h dependencies | Kyle Russell | 6 | -6/+9 |
2021-01-26 | cmps: canonicalize SEL(x > 0, a, -a) --> SEL(x >= 0, a, -a) | Luc Van Oostenryck | 2 | -1/+14 |
2021-01-26 | cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a) | Luc Van Oostenryck | 2 | -1/+7 |
2021-01-26 | cmps: canonicalize signed compares with constant | Luc Van Oostenryck | 2 | -1/+2 |
2021-01-26 | cmps: canonicalize SMIN/SMAX +- 1 --> EQ/NE | Luc Van Oostenryck | 2 | -1/+8 |
2021-01-26 | cmps: canonicalize signed compares with SMIN/SMAX | Luc Van Oostenryck | 2 | -1/+8 |
2021-01-26 | cmps: simplify signed compares with SMIN or SMAX | Luc Van Oostenryck | 2 | -1/+17 |
2021-01-26 | cmps: add testcases for simplification of signed compares | Luc Van Oostenryck | 6 | -0/+106 |
2021-01-26 | cmpu: fix canonicalization of unsigned (x {<,>=} C) --> (x {<=,>} C-1) | Luc Van Oostenryck | 1 | -2/+2 |
2021-01-26 | cmps: fix simplification of sext(x) + signed compare of {SMAX,SMIN} | Luc Van Oostenryck | 2 | -13/+37 |
2021-01-26 | cmps: make clearer we're using the operands' size | Luc Van Oostenryck | 1 | -4/+5 |
2021-01-25 | Merge branches 'fix-can-move-to' and 'asr-synth' into next | Luc Van Oostenryck | 2 | -1/+39 |
2021-01-24 | simplify LSR + SEXT into ASR | Luc Van Oostenryck | 2 | -1/+39 |
2021-01-24 | fix possible circular definition with can_move_to() | Luc Van Oostenryck | 1 | -0/+2 |
2021-01-23 | Merge branch 'unnamed-qual' | Luc Van Oostenryck | 1 | -0/+28 |
2021-01-23 | Merge branch 'fix-sext-cmps' | Luc Van Oostenryck | 1 | -0/+2 |
2021-01-22 | handle qualified anonymous structures | Luc Van Oostenryck | 1 | -0/+28 |
2021-01-17 | fix type of canonicalization of sext + unsigned compare | Luc Van Oostenryck | 1 | -0/+2 |
2021-01-02 | removed an unused parameter for show_symbol_list() | Bernd Petrovitsch | 3 | -4/+4 |
2021-01-02 | shut up a silly -Wmaybe-uninitialized warning | Luc Van Oostenryck | 1 | -1/+1 |
2021-01-01 | Merge branch 'packed' | Luc Van Oostenryck | 20 | -45/+447 |
2020-12-31 | Merge branches 'fix-rem-usage', 'ptrlist-no-mix' and 'diet-bb' into next | Luc Van Oostenryck | 3 | -19/+23 |
2020-12-29 | fix rem_usage() | Luc Van Oostenryck | 1 | -1/+1 |
2020-12-29 | add helper has_definition() | Luc Van Oostenryck | 1 | -0/+5 |
2020-12-29 | packed: add support for __packed struct | Luc Van Oostenryck | 10 | -13/+14 |
2020-12-29 | packed: no out-of-bound access of packed bitfields | Luc Van Oostenryck | 2 | -2/+12 |
2020-12-29 | struct-attr: fix: do not ignore struct/union/enum type attributes | Luc Van Oostenryck | 6 | -5/+2 |
2020-12-29 | struct-attr: fix type attribute like 'struct __attr { ... }' | Luc Van Oostenryck | 1 | -1/+3 |
2020-12-29 | struct-attr: prepare to handle attributes at the end of struct definitions (3) | Luc Van Oostenryck | 1 | -9/+6 |
2020-12-29 | struct-attr: prepare to handle attributes at the end of struct definitions (2) | Luc Van Oostenryck | 1 | -13/+13 |
2020-12-29 | struct-attr: prepare to handle attributes at the end of struct definitions (1) | Luc Van Oostenryck | 2 | -7/+7 |
2020-12-29 | apply_ctype: move up its declaration | Luc Van Oostenryck | 1 | -2/+2 |
2020-12-29 | apply_ctype: reverse the order of arguments | Luc Van Oostenryck | 1 | -4/+4 |
2020-12-29 | apply_ctype: use self-explanatory argument name | Luc Van Oostenryck | 1 | -10/+10 |