2024-01-29 |
Luc Van Oostenryck | llvm: fix LLVM 15 deprecation warnings Signed-off-by: Luc Van Oostenryck <lucvoo@kernel.org>
|
commit | commitdiff | tree |
2024-01-29 |
Luc Van Oostenryck | llvm: ensure SYM_NODE is stripped before accessing... Signed-off-by: Luc Van Oostenryck <lucvoo@kernel.org>
|
commit | commitdiff | tree |
2024-01-29 |
Luc Van Oostenryck | llvm: do not duplicate strings and use their length... Signed-off-by: Luc Van Oostenryck <lucvoo@kernel.org>
|
commit | commitdiff | tree |
2024-01-29 |
Luc Van Oostenryck | llvm: add a few testcases for integer/pointer conversion Signed-off-by: Luc Van Oostenryck <lucvoo@kernel.org>
|
commit | commitdiff | tree |
2024-01-29 |
Luc Van Oostenryck | llvm: suppress warnings about deprecated API Signed-off-by: Luc Van Oostenryck <lucvoo@kernel.org>
|
commit | commitdiff | tree |
2024-01-07 |
Luc Van Oostenryck | Merge branches 'doc' and 'stray-t'
|
commit | commitdiff | tree |
2024-01-07 |
Luc Van Oostenryck | testsuite: avoid "warning: stray \ before t" message Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2024-01-07 |
Luc Van Oostenryck | add .readthedocs.yaml Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2024-01-07 |
Luc Van Oostenryck | doc: set 'en' as language in Sphinx's config file Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2024-01-07 |
Luc Van Oostenryck | doc: update conf.py for more recent version of sphinx Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2023-12-28 |
Luc Van Oostenryck | reassoc: fix infinite loop during reassociation Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2023-12-16 |
Luc Van Oostenryck | Merge branch 'handle-cleanup-attr'
|
commit | commitdiff | tree |
2023-12-16 |
Luc Van Oostenryck | parse: add testcases for __cleanup__ attribute Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | Merge branches 'unreplaced' and 'inline'
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | inline: free symbol list after use Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | inline: allocate statement after guards Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | inline: avoid needless intermediate vars Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | inline: declaration of the variadic vars is useless Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-27 |
Luc Van Oostenryck | inline: comment about creating node of node on variadics Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-26 |
Luc Van Oostenryck | inline: add testcases for inlining of variadics Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-24 |
Luc Van Oostenryck | fix "unreplaced" warnings caused by using typeof()... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-14 |
Luc Van Oostenryck | predefine __ATOMIC_ACQUIRE & friends as weak Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-09 |
Luc Van Oostenryck | Merge branches 'cgcc-dash-x' and 'fixes'
|
commit | commitdiff | tree |
2022-06-09 |
Luc Van Oostenryck | allow show_token() on TOKEN_ZERO_IDENT Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-07 |
Luc Van Oostenryck | fix crash when inlining casts of erroneous expressions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-06 |
Luc Van Oostenryck | cgcc: do not die on '-x assembler' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-06-05 |
Luc Van Oostenryck | Merge branch 'riscv'
|
commit | commitdiff | tree |
2022-06-05 |
Luc Van Oostenryck | Merge branch 'cast-value'
|
commit | commitdiff | tree |
2022-05-31 |
Luc Van Oostenryck | cast_value: remove error-prone redundant argument Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-31 |
Luc Van Oostenryck | cast_value: assign the new type Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-31 |
Luc Van Oostenryck | Merge branch 'fixes' into master
|
commit | commitdiff | tree |
2022-05-31 |
Luc Van Oostenryck | fix zero/sign extension of integer character constants Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-22 |
Luc Van Oostenryck | Merge branch 'xtensa'
|
commit | commitdiff | tree |
2022-05-22 |
Luc Van Oostenryck | handle clang's option "-meabi gnu" Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-21 |
Luc Van Oostenryck | Merge branch 'riscv-zicsr'
|
commit | commitdiff | tree |
2022-05-21 |
Luc Van Oostenryck | fix one year off in v0.6.4's release notes Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-21 |
Luc Van Oostenryck | Merge branch 'semid' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-21 |
Luc Van Oostenryck | Merge branch 'next-ramsay' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2022-05-21 |
Luc Van Oostenryck | fix infinite loop when expanding __builtin_object_size... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-09-06 |
Luc Van Oostenryck | Sparse v0.6.4 Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-09-01 |
Luc Van Oostenryck | Sparse v0.6.4-rc1
|
commit | commitdiff | tree |
2021-09-01 |
Luc Van Oostenryck | Add release notes for incoming v0.6.4 Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-08-02 |
Luc Van Oostenryck | Merge branch 'schecker-fixes'
|
commit | commitdiff | tree |
2021-07-29 |
Luc Van Oostenryck | scheck: fix type of operands in casts Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-07-26 |
Luc Van Oostenryck | scheck: mkvar() with target or input type Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-07-26 |
Luc Van Oostenryck | scheck: constants are untyped Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-07-26 |
Luc Van Oostenryck | scheck: ignore OP_NOP & friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-07-26 |
Luc Van Oostenryck | scheck: better diagnostic for unsupported instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-07-26 |
Luc Van Oostenryck | fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0) Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-20 |
Luc Van Oostenryck | Merge branches misc, cmp-pow2, optim-and-cmp, cmp-and...
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | remove early simplification of casts during evaluation Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | simplify TRUNC(NOT(x)) --> NOT(TRUNC(x)) Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | simplify AND(x >= 0, x < C) --> (unsigned)x < C Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | add helper is_positive() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | add testcases for AND(x > 0, x <= C) --> x u<= C Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | canonicalize constant signed compares toward zero Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | Merge branches 'fix-phisrc' and 'insert-last-insn'...
|
commit | commitdiff | tree |
2021-04-18 |
Luc Van Oostenryck | add testcases for simplification of casts. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: we can kill addresses unconditionally Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: avoid using first_pseudo() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: do not mess up with phisource's source ident Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: remove obsolete comment Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: find_dominating_parents()'s generation is redundant Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | memops: dominates()'s first arg is redundant Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | Merge branch 'deadstore'
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | Merge branch 'linear'
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | Merge branch 'untyped'
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | TODO: add some notes about pseudos being typeless Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | Merge branch 'schecker'
|
commit | commitdiff | tree |
2021-04-17 |
Luc Van Oostenryck | scheck: predefine __SYMBOLIC_CHECKER__ Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | scheck: support pre-conditions via __assume() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | scheck: assert_const() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | scheck: allow multiple assertions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | scheck: assert_eq() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | scheck: add a symbolic checker Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | .gitignore is a bit too greedy Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-13 |
Luc Van Oostenryck | builtin: define a symbol_op for a generic op acting... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-10 |
Luc Van Oostenryck | linear: only allocate call instructions when needed Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-09 |
Luc Van Oostenryck | export declare_builtins() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-04 |
Luc Van Oostenryck | fix null-pointer crash with with ident same as one... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-04-02 |
Luc Van Oostenryck | fix remove_merging_phisrc() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-29 |
Luc Van Oostenryck | Merge branch 'testsuite-extra' (early part)
|
commit | commitdiff | tree |
2021-03-28 |
Luc Van Oostenryck | better check validity of phi-sources Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-28 |
Luc Van Oostenryck | correctly count phi arguments Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-25 |
Luc Van Oostenryck | additional testcase for remove_merging_phisrc() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-24 |
Luc Van Oostenryck | kill redundant stores (local) Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-24 |
Luc Van Oostenryck | kill parent's dead stores too Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-24 |
Luc Van Oostenryck | volatile stores are never dead Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-24 |
Luc Van Oostenryck | extract try_to_kill_store() from kill_dominated_stores() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-24 |
Luc Van Oostenryck | add testcases for stores simplifications Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | let ssa_rename_phi() use insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | let find_dominating_parents() use insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | let insert_phis() use insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | let insert_select() use insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | replace add_instruction_to_end() by insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | add insert_last_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-21 |
Luc Van Oostenryck | testsuite: add option '-r' to 'test-suite format' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-19 |
Luc Van Oostenryck | fix phisources during SWITCH-BR conversion Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2021-03-19 |
Luc Van Oostenryck | use convert_to_jump() when converting a CBR with same... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |