diff options
| author | Andrea Corallo | 2020-10-27 19:40:55 +0000 |
|---|---|---|
| committer | Andrea Corallo | 2020-11-01 15:17:00 +0100 |
| commit | 42970cceb9b15212f1a2a28a4595efc8c960f929 (patch) | |
| tree | d56d387d21dc96e1a65e173c1f667161832ceca9 /test/src | |
| parent | 047fe3292d2f102c9aed4dc305de165b627bcddd (diff) | |
| download | emacs-42970cceb9b15212f1a2a28a4595efc8c960f929.tar.gz emacs-42970cceb9b15212f1a2a28a4595efc8c960f929.zip | |
Add new cond-rw pass to have forward propagation track cond branches
Add a new pass to rewrite conditional branches. This is introducing
and placing a new LIMPLE operator 'assume' in use by fwprop to
propagate conditional branch test informations on target basic blocks.
* lisp/emacs-lisp/comp.el (comp-passes): Add `comp-cond-rw'.
(comp-limple-assignments): Add `assume' operator.
(comp-emit-assume, comp-cond-rw-target-slot, comp-cond-rw-func)
(comp-cond-rw): Add new functions.
(comp-fwprop-insn): Update to pattern match `assume' insns.
* src/comp.c (emit_limple_insn): Add for `assume'.
(syms_of_comp): Define 'Qassume' symbol.
Diffstat (limited to 'test/src')
0 files changed, 0 insertions, 0 deletions