[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master 354ecaf: * lisp/emacs-lisp/byte-opt.el: Make the build more repro
From: |
Stefan Monnier |
Subject: |
master 354ecaf: * lisp/emacs-lisp/byte-opt.el: Make the build more reproducible |
Date: |
Tue, 25 May 2021 13:38:11 -0400 (EDT) |
branch: master
commit 354ecaf12b2de9836ebb0e8fd812f453a39e837c
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>
* lisp/emacs-lisp/byte-opt.el: Make the build more reproducible
(byte-compile-inline-expand): When inlining code from another file,
always inline the byte-code version of the function.
(byte-optimize--pcase): Simplify edebug spec.
---
lisp/emacs-lisp/byte-opt.el | 40 +++++++++++++---------------------------
1 file changed, 13 insertions(+), 27 deletions(-)
diff --git a/lisp/emacs-lisp/byte-opt.el b/lisp/emacs-lisp/byte-opt.el
index 28b53d0..99b5319 100644
--- a/lisp/emacs-lisp/byte-opt.el
+++ b/lisp/emacs-lisp/byte-opt.el
@@ -268,32 +268,18 @@
;; The byte-code will be really inlined in byte-compile-unfold-bcf.
`(,fn ,@(cdr form)))
((or `(lambda . ,_) `(closure . ,_))
- (if (not (or (eq fn localfn) ;From the same file => same mode.
- (eq (car fn) ;Same mode.
- (if lexical-binding 'closure 'lambda))))
- ;; While byte-compile-unfold-bcf can inline dynbind byte-code into
- ;; letbind byte-code (or any other combination for that matter), we
- ;; can only inline dynbind source into dynbind source or letbind
- ;; source into letbind source.
- (progn
- ;; We can of course byte-compile the inlined function
- ;; first, and then inline its byte-code.
- (byte-compile name)
- `(,(symbol-function name) ,@(cdr form)))
- (let ((newfn (if (eq fn localfn)
- ;; If `fn' is from the same file, it has already
- ;; been preprocessed!
- `(function ,fn)
- ;; Try and process it "in its original environment".
- (let ((byte-compile-bound-variables nil))
- (byte-compile-preprocess
- (byte-compile--reify-function fn))))))
- (if (eq (car-safe newfn) 'function)
- (macroexp--unfold-lambda `(,(cadr newfn) ,@(cdr form)))
- ;; This can happen because of macroexp-warn-and-return &co.
- (byte-compile-warn
- "Inlining closure %S failed" name)
- form))))
+ (if (eq fn localfn) ;From the same file => same mode.
+ (macroexp--unfold-lambda `(,fn ,@(cdr form)))
+ ;; While byte-compile-unfold-bcf can inline dynbind byte-code into
+ ;; letbind byte-code (or any other combination for that matter), we
+ ;; can only inline dynbind source into dynbind source or letbind
+ ;; source into letbind source.
+ ;; We can of course byte-compile the inlined function
+ ;; first, and then inline its byte-code. This also has the advantage
+ ;; that the final code does not depend on the order of compilation
+ ;; of ELisp files, making the build more reproducible.
+ (byte-compile name)
+ `(,(symbol-function name) ,@(cdr form))))
(_ ;; Give up on inlining.
form))))
@@ -369,7 +355,7 @@ Same format as `byte-optimize--lexvars', with shared
structure and contents.")
;; to `(if . (or `(,exp ,then ,else) pcase--dontcare))'.
;;
;; The resulting macroexpansion is also significantly cleaner/smaller/faster.
- (declare (indent 1) (debug (form &rest (pcase-PAT body))))
+ (declare (indent 1) (debug pcase))
`(pcase ,exp
. ,(mapcar (lambda (case)
`(,(pcase (car case)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- master 354ecaf: * lisp/emacs-lisp/byte-opt.el: Make the build more reproducible,
Stefan Monnier <=