feature/native-comp updated (b99a474 -> b4ee13c)

[Andrea Corallo]

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

      from  b99a474   Merge remote-tracking branch 'savannah/master' into HEAD
       new  4deeb2f   Invert basic block argument order in LIMPLE cond-jump
       new  c07c9f6   Extend cstrs pass to match `when' like code
       new  715cac1   * lisp/emacs-lisp/comp.el (comp-limplify-lap-inst): 
Opencode byte-not.
       new  538f598   Extend cstrs pass to match `unless' like code
       new  672988e   Symplify (not t) => nil and (not nil) => t
       new  96d4c70   * Fix logic for constraining block with multiple 
predecessors
       new  2a6c6bf   * Use `comp-assign-op-p' into dead code elimination pass
       new  2327a98   * Constrain only mvars that are actually used
       new  b4ee13c   * Memoize `comp-subtype-p'


Summary of changes:
 lisp/emacs-lisp/comp-cstr.el            |  34 ++++++--
 lisp/emacs-lisp/comp.el                 | 146 +++++++++++++++++++++++++-------
 src/comp.c                              |   4 +-
 test/lisp/emacs-lisp/comp-cstr-tests.el |   6 +-
 test/src/comp-tests.el                  |  14 ++-
 5 files changed, 163 insertions(+), 41 deletions(-)