(side-effect-free-fns, side-effect-and-error-free-fns):

Add many functions, remove some.

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index aff3a5c0425bec33f779e903584ea523d693751d..755519d93bf58a43d6b92c6d2529822a99225ee2 100644 (file)
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,8 @@
+2002-03-31  Richard M. Stallman  <rms@gnu.org>
+
+       * emacs-lisp/byte-opt.el (side-effect-free-fns)
+       (side-effect-and-error-free-fns): Add many functions, remove some.
+
 2002-03-30  Richard M. Stallman  <rms@gnu.org>
 
        * menu-bar.el (menu-bar-tools-menu): Rename gdb item to say GDB.

diff --git a/lisp/emacs-lisp/byte-opt.el b/lisp/emacs-lisp/byte-opt.el
index 28112cc820124a2f6b874ce373f9c5f2bc52d98b..5441083a8b29cef539d93f396494e9ed1a467feb 100644 (file)
--- a/lisp/emacs-lisp/byte-opt.el
+++ b/lisp/emacs-lisp/byte-opt.el
@@ -1143,44 +1143,63 @@
 ;;;           (foo))
 ;;; Further optimizations will turn (progn (list 1 2 3) 'foo) into 'foo.
 
+;;; Some of these functions have the side effect of allocating memory
+;;; and it would be incorrect to replace two calls with one.
+;;; But we don't try to do those kinds of optimizations,
+;;; so it is safe to list such functions here.
+;;; Some of these functions return values that depend on environment
+;;; state, so that constant folding them would be wrong,
+;;; but we don't do constant folding based on this list.
+
 ;;; I wonder if I missed any :-\)
 (let ((side-effect-free-fns
        '(% * + - / /= 1+ 1- < <= = > >= abs acos append aref ash asin atan
         assoc assq
         boundp buffer-file-name buffer-local-variables buffer-modified-p
-        buffer-substring
+        buffer-substring byte-code-function-p
         capitalize car-less-than-car car cdr ceiling char-after char-before
-        concat coordinates-in-window-p
-        char-width copy-marker cos count-lines
-        default-boundp default-value documentation downcase
-        elt exp expt fboundp featurep
+        char-equal char-to-string char-width
+        compare-strings concat coordinates-in-window-p
+        copy-alist copy-sequence copy-marker cos count-lines
+        decode-time default-boundp default-value documentation downcase
+        elt exp expt encode-time error-message-string
+        fboundp fceiling featurep ffloor
         file-directory-p file-exists-p file-locked-p file-name-absolute-p
         file-newer-than-file-p file-readable-p file-symlink-p file-writable-p
-        float floor format frame-visible-p
+        float float-time floor format format-time-string frame-visible-p
+        fround ftruncate
         get gethash get-buffer get-buffer-window getenv get-file-buffer
         hash-table-count
-        int-to-string
+        int-to-string intern-soft
         keymap-parent
         length local-variable-if-set-p local-variable-p log log10 logand
         logb logior lognot logxor lsh
+        make-list make-string make-symbol
         marker-buffer max member memq min mod
         next-window nth nthcdr number-to-string
-        parse-colon-path prefix-numeric-value previous-window propertize
-        radians-to-degrees rassq regexp-quote reverse round
+        parse-colon-path plist-get plist-member
+        prefix-numeric-value previous-window prin1-to-string propertize
+        radians-to-degrees rassq rassoc read-from-string regexp-quote
+        region-beginning region-end reverse round
         sin sqrt string string< string= string-equal string-lessp string-to-char
-        string-to-int string-to-number substring symbol-function symbol-plist
-        symbol-value
-        tan unibyte-char-to-multibyte upcase user-variable-p vconcat
+        string-to-int string-to-number substring sxhash symbol-function
+        symbol-name symbol-plist symbol-value
+        tan truncate
+        unibyte-char-to-multibyte upcase user-full-name
+        user-login-name user-original-login-name user-variable-p
+        vconcat
         window-buffer window-dedicated-p window-edges window-height
         window-hscroll window-minibuffer-p window-width
         zerop))
       (side-effect-and-error-free-fns
        '(arrayp atom
-        bobp bolp buffer-end buffer-list buffer-size buffer-string bufferp
+        bobp bolp bool-vector-p 
+        buffer-end buffer-list buffer-size buffer-string bufferp
         car-safe case-table-p cdr-safe char-or-string-p commandp cons consp
         current-buffer current-global-map current-indentation
-        current-local-map current-minor-mode-maps
-        dot dot-marker eobp eolp eq equal eventp
+        current-local-map current-minor-mode-maps current-time
+        current-time-string current-time-zone
+        eobp eolp eq equal eventp
         floatp following-char framep
         get-largest-window get-lru-window
         hash-table-p
@@ -1194,14 +1213,14 @@
         one-window-p overlayp
         point point-marker point-min point-max preceding-char processp
         recent-keys recursion-depth
-        selected-frame selected-window sequencep stringp subrp symbolp
-        standard-case-table standard-syntax-table syntax-table-p
+        safe-length selected-frame selected-window sequencep
+        standard-case-table standard-syntax-table stringp subrp symbolp
+        syntax-table syntax-table-p
         this-command-keys this-command-keys-vector this-single-command-keys
         this-single-command-raw-keys
-        user-full-name user-login-name user-original-login-name
         user-real-login-name user-real-uid user-uid
         vector vectorp visible-frame-list
-        window-configuration-p window-live-p windowp)))
+        wholenump window-configuration-p window-live-p windowp)))
   (while side-effect-free-fns
     (put (car side-effect-free-fns) 'side-effect-free t)
     (setq side-effect-free-fns (cdr side-effect-free-fns)))