feature/native-comp updated (5b10a03 -> 9676e4d)

[Andrea Corallo]

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

      from  5b10a03   Fix Windows build link-time zlib error (bug#45303)
       new  2a117ad   * Add mvar pretty print support when dumping LIMPLE
       new  bad18f5   * Improve comp-fwprop pass
       new  a0c0daf   * Fix a number of type specifier simplification tests
       new  48d43f5   * Improve constraint simplification logic in comp-cstr.el
       new  34c1d75   * Enumerate and split type specifier tests in 
comp-tests.el to ease debug
       new  7074988   * Add a type specifier test to comp-cstr-tests.el
       new  d072ee9   * Two minors in comp.el
       new  0255108   * Rename comp-cond-cstr into comp-add-cstrs
       new  23791cf   * Allow for modifying insn-cell inside 
`comp-loop-insn-in-block'
       new  07b75de   Enhance type inference constraining function arguments
       new  8e816b0   Symplify type specifier (not t) as nil
       new  c70c080   * Allow for overlapping src and dst in cstr set operations
       new  3540b1f   * Guarantee fwprop convergence and termination
       new  e0f20da   Simplify correctly (or (integer 1 1) (not (integer 1 1))) 
as t
       new  9bbe6ea   Fix native compiler tests when they are bytecompiled
       new  6f3570c   Fix value type inference for doubly negate constraints
       new  5376563   Fix `comp-add-call-cstr' and add a test
       new  ebf8963   * Fix a bunch of known type specifiers
       new  9676e4d   * Fix a test in auth-source-tests.el


Summary of changes:
 lisp/emacs-lisp/comp-cstr.el            | 558 +++++++++++++++++---------------
 lisp/emacs-lisp/comp.el                 | 256 ++++++++++-----
 test/lisp/auth-source-tests.el          |   3 +-
 test/lisp/emacs-lisp/comp-cstr-tests.el | 326 ++++++++++---------
 test/src/comp-test-funcs.el             |  22 ++
 test/src/comp-tests.el                  | 265 ++++++++-------
 6 files changed, 823 insertions(+), 607 deletions(-)