| 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 |
| 2021-03-19 |
Luc Van Oostenryck | fix phisources during CBR-BR conversion
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | add remove_phisources()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | rename insert_branch() to convert_to_jump()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | let insert_branch() return a status
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | move insert_branch() to flow.c
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | let insert_branch() reuse the terminating instruction
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | fold remove_parent() into insert_branch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | simplify remove_parent()
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | remove insert_branch() redundant arg
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | add testcases to check if phi-sources from removed...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-19 |
Luc Van Oostenryck | Revert "simplify CBR-CBR on the same condition"
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-13 |
Luc Van Oostenryck | canonicalize ((x & M) == M) --> ((x & M) != 0) when...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-12 |
Luc Van Oostenryck | Merge branches 'fix-ssa' and 'cmp-and-or' into next
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | no needs to use MARK_CURRENT_DELETED() for multi-jumps
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x | M) cmpu C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x | M) cmps C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x | M) {==,!=} C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x & M) {==,!=} C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x & M) cmps 0
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x & M) cmpu C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | simplify (x & M) cmps C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | add testcases for constant compares against AND/OR
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-10 |
Luc Van Oostenryck | change testing of signed compares against SMIN or SMAX
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-09 |
Luc Van Oostenryck | ssa: remove single store optimization
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-09 |
Luc Van Oostenryck | ssa: fix conversion with mismatched size or offset
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-09 |
Luc Van Oostenryck | ssa: avoid SSA conversion of packed bitfields
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-09 |
Luc Van Oostenryck | ssa: the sparse set is not needed
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-09 |
Luc Van Oostenryck | ssa: add some testcases for mismatched memops
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-08 |
Luc Van Oostenryck | Merge branch 'uniq-phinode'
|
commit | commitdiff | tree |
| 2021-03-08 |
Luc Van Oostenryck | Merge branch 'ptrlist-generic'
|
commit | commitdiff | tree |
| 2021-03-08 |
Luc Van Oostenryck | phi-sources can only have a single user (or none)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-08 |
Luc Van Oostenryck | ptrlist: change return value of linearize_ptr_list...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-06 |
Luc Van Oostenryck | ptrlist: make linearize_ptr_list() generic
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-06 |
Luc Van Oostenryck | ptrlist: use ptr_list_nth() instead of linearize_ptr_list()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-06 |
Luc Van Oostenryck | ptrlist: add pop_ptr_list()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-06 |
Luc Van Oostenryck | ptrlist: change TYPEOF() into PTRLIST_TYPE()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-06 |
Luc Van Oostenryck | ptrlist: remove one pointer level from TYPEOF()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-03-05 |
Luc Van Oostenryck | Merge branch 'slice'
|
commit | commitdiff | tree |
| 2021-03-03 |
Luc Van Oostenryck | Merge branch 'path-norm'
|
commit | commitdiff | tree |
| 2021-03-01 |
Luc Van Oostenryck | Merge branch 'fix-restrict' into next
|
commit | commitdiff | tree |
| 2021-03-01 |
Luc Van Oostenryck | pre-proc: do some path normalization
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Luc Van Oostenryck | liveness: use 'src' for unops instead of 'src1'
|
commit | commitdiff | tree |
| 2021-02-28 |
Luc Van Oostenryck | slice: display the source's size, like for unops
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Luc Van Oostenryck | slice: OP_SLICE needs the source's type: make it a...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Luc Van Oostenryck | slice: remove unneeded nr_nrbits from EXPR_SLICE
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Luc Van Oostenryck | slice: remove unneeded len from OP_SLICE
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Ramsay Jones | asm-out0: fix a test failure on 32-bit systems
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-28 |
Ramsay Jones | linearize.h: fix some 'selfcheck' warnings
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2021-02-25 |
Luc Van Oostenryck | Merge branch 'objsize'
|
commit | commitdiff | tree |
