diff options
| author | Andrea Corallo | 2021-02-23 14:35:11 +0100 |
|---|---|---|
| committer | Andrea Corallo | 2021-02-23 23:19:36 +0100 |
| commit | bddd7a2d1376d8ee7a318fc837aaaa98b9d9ce49 (patch) | |
| tree | 50605829d82fa62daa909776274ab929692724b9 /src/alloc.c | |
| parent | 89e9b051809d85d50d67c52d0388f8fffee8ba32 (diff) | |
| download | emacs-bddd7a2d1376d8ee7a318fc837aaaa98b9d9ce49.tar.gz emacs-bddd7a2d1376d8ee7a318fc837aaaa98b9d9ce49.zip | |
Do not emit assumptions referencing clobbered mvars (bug#46670)
* lisp/emacs-lisp/comp.el (comp-func): Add `vframe-size' slot.
(comp-new-frame): Add `vsize' parameter.
(comp-limplify-top-level, comp-limplify-function): Update for new
`comp-new-frame'.
(comp-maybe-add-vmvar): New function.
(comp-add-cond-cstrs): Logic update to emit assumptions not
referencing clobbered variables.
(comp-place-phis, comp-ssa, comp-ssa-rename-insn)
(comp-ssa-rename): Update rename logic to rename also negative
slots.
(comp-fwprop-insn): Update to handle `(assume mvar mvar)' form.
* test/src/comp-tests.el (46670-1): Add testcase.
* test/src/comp-test-funcs.el (comp-test-46670-1-f)
(comp-test-46670-2-f): New functions.
Diffstat (limited to 'src/alloc.c')
0 files changed, 0 insertions, 0 deletions