| 2020-11-17 |
Luc Van Oostenryck | simplify CBR-CBR on the same condition
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | rebuild dominance tree during CFG cleanup
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | cfg: early CFG simplification
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | cfg: call simplify_memops() unconditionally.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | cfg: add missing REPEAT_CFG_CLEANUP
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | cfg: remove phi-nodes when merging BBs
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-17 |
Luc Van Oostenryck | cfg: remove phi-sources when merging BBs
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-15 |
Luc Van Oostenryck | cfg: extract merge_bb() from pack_basic_blocks()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-15 |
Luc Van Oostenryck | cfg: add testcase for phi-adjusting during BB merge
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-15 |
Luc Van Oostenryck | testcase: avoid UNDEF
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-11 |
Luc Van Oostenryck | Merge branch 'debug'
|
commit | commitdiff | tree |
| 2020-11-09 |
Luc Van Oostenryck | Merge branch 'optim-cmp' into next
|
commit | commitdiff | tree |
| 2020-11-09 |
Luc Van Oostenryck | Merge branch 'optim-sel' into next
|
commit | commitdiff | tree |
| 2020-11-09 |
Luc Van Oostenryck | fix linear_isdigit()'s itype
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | select: simplify select(x, x, 0) --> x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | select: simplify handling of select(x, 0, x) --> 0
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify compares and sign/zero extend
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify zext(x) cmpu C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify zext(x) cmps C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: canonicalize sext(x) cmpu C (with C >= SMAX)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify sext(x) cmps {SMAX,SMIN}
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify zext(x) cmp C --> x cmp C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify sext(x) cmp C --> x cmp C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: canonicalize unsigned (x {<=,>} SMAX)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: canonicalize unsigned compare with UMAX or UMAX-1
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: simplify unsigned (x {<=,>} UMAX) into {1,0}
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: use a few helpers for the simplification of compares
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: move some code in a separate function: simplify_compare...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-08 |
Luc Van Oostenryck | cmp: add signed/unsigned to opcode table
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | simplify SEL(x == y, x, y) and friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | select: simplify handling of constant cond or src1...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | select: simplify SEL(SEL(x, C1, C2), y, z) --> y (with...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | select: simplify SEL(SEL(x, C, 0), C, 0) --> SEL(x...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | select: simplify SEL(SEL(x, C, 0), y, z) --> SEL(x...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | select: add some testcases for select simplification
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-05 |
Luc Van Oostenryck | cmp: add testcases for the simplification of compares
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-02 |
Luc Van Oostenryck | cmp: adapt testcase for compares' canonicalization
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Luc Van Oostenryck | Merge branch 'typed-cmp'
|
commit | commitdiff | tree |
| 2020-11-01 |
Luc Van Oostenryck | linearize __builtin_isdigit()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Luc Van Oostenryck | fix usage count in linearize_fma()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Luc Van Oostenryck | fix init_linearized_builtins()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-31 |
Luc Van Oostenryck | testsuite: add a new tag: check-output-returns
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-31 |
Luc Van Oostenryck | testsuite: add a new tag: check-output-match
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-31 |
Luc Van Oostenryck | do not call simplify_instruction() if already removed
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-07 |
Luc Van Oostenryck | add debug helpers: show_insn_bb() & show_insn_entry()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-31 |
Luc Van Oostenryck | eval_insn: give an explicit type to compare's operands
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Luc Van Oostenryck | eval_insn: add testcases for incorrect type in OP_SET_*
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-27 |
Luc Van Oostenryck | Merge branch 'one_use'
|
commit | commitdiff | tree |
| 2020-10-27 |
Luc Van Oostenryck | replace nbr_users() & multi_users() by one_use()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-27 |
Luc Van Oostenryck | Merge branches 'cleanup-linearize', 'inline-use', ...
|
commit | commitdiff | tree |
| 2020-10-26 |
Luc Van Oostenryck | handle more graciously labels with no statement
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-25 |
Luc Van Oostenryck | fix testing if a OP_CALL's function is pure
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-25 |
Luc Van Oostenryck | add helper first_symbol()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-25 |
Luc Van Oostenryck | kill dead instructions before any other simplifications
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-25 |
Luc Van Oostenryck | OP_CALL should use the full function type
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-25 |
Luc Van Oostenryck | linearize: OP_INLINE should not use the function symbol
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | Merge branches 'optim-setuimm' and 'optim-unop' into...
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | Merge branch 'fix-llvm-11' into next
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify ~(-x) --> x - 1
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify ~(x ^ C) --> x ^ ~C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify ~(C - x) --> x + ~C
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify ~(x + C) --> ~C - x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify -(~x) --> x + 1
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify -(x - y) --> y - x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: simplify -(x + C) --> -C - x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-24 |
Luc Van Oostenryck | unop: prepare simplify_unop() to handle more cases
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-23 |
Luc Van Oostenryck | canonicalize unsigned compares against 0 or 1
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-23 |
Luc Van Oostenryck | simplify unsigned compares against 0
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | cleanup linearize_cond_branch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | unop: add testcases for unop simplifications
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | llvm: fix crash with llvm-11 / use real phi-nodes
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | warn on all missing parameter types
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | add testcase for missing inline definition
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | memops need long offsets
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-22 |
Luc Van Oostenryck | Merge branch 'optim-base' into next
|
commit | commitdiff | tree |
| 2020-10-21 |
Luc Van Oostenryck | optim: fix some testcases related to bitfield manipulation
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | Merge branch 'bf-sign' into next
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify x + (y - x) --> y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify (x - y) + y --> x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify x - (y + x) --> -y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify x - (x + y) --> -y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify (x + y) - y --> x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify (x + y) - x --> y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | add: simplify (-x + y) --> (y - x)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | add: simplify (x + -y) --> (x - y)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify (x - -y) --> (x + y)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify (C - y) + D --> eval(C+D) - y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify C - (D - z) --> z + eval(C-D)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: simplify C - (y + D) --> eval(C-D) - y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: canonicalize (0 - x) into -x
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | sub: reorganize handling of OP_{ADD,SUB}s with constant...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | reassoc: simplify (x # C) # K --> x # eval(C # K)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | constants must be truncated to the operation's size
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | add a flag to identify commutative & associative ops
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | unop: add helper replace_with_unop()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | unop: add helper eval_unop()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | extract eval_op() from eval_insn()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | let switch_pseudo() return REPEAT_CSE
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-20 |
Luc Van Oostenryck | add testcases about OP_ADD & OP_SUB simplifications
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
