feature/native-comp updated (42fb6de -> 2b3c7c7)

[Andrea Corallo]

akrl pushed a change to branch feature/native-comp.

      from  42fb6de   Add 1+ 1- integer range propagation support
       new  ccce152   * Improve some slot type into comp.el
       new  8a0467e   ; lisp/emacs-lisp/comp.el (comp-emit-narg-prologue): Nit.
       new  e532ec9   Compute function type for native compiled functions
       new  eafcc8e   Propagate function calls also when hiddend under funcall
       new  5a8622b   Reorder subr register function arguments to make some room
       new  2b3c7c7   Store function type and expose it with `subr-type'


Summary of changes:
 lisp/emacs-lisp/comp.el | 123 +++++++++++++++++++++++++++++++-----------------
 src/alloc.c             |   1 +
 src/comp.c              |  31 +++++++-----
 src/data.c              |  14 ++++++
 src/lisp.h              |   7 +++
 src/pdumper.c           |   3 +-
 test/src/comp-tests.el  |  23 ++++-----
 7 files changed, 135 insertions(+), 67 deletions(-)