New file.
This commit is contained in:
Chong Yidong
parent
dee5aa9105
commit
835404e5fd
1 changed files with 281 additions and 0 deletions
281
test/bytecomp-testsuite.el
Normal file
281
test/bytecomp-testsuite.el
Normal file
|
|
@ -0,0 +1,281 @@
|
|||
;;; bytecomp-testsuite.el
|
||||
|
||||
;; Copyright (C) 2008 Free Software Foundation, Inc.
|
||||
|
||||
;; Author: Shigeru Fukaya <shigeru.fukaya@gmail.com>
|
||||
;; Created: November 2008
|
||||
;; Keywords: internal
|
||||
;; Human-Keywords: internal
|
||||
|
||||
;; This file is part of GNU Emacs.
|
||||
|
||||
;; GNU Emacs is free software: you can redistribute it and/or modify
|
||||
;; it under the terms of the GNU General Public License as published by
|
||||
;; the Free Software Foundation, either version 3 of the License, or
|
||||
;; (at your option) any later version.
|
||||
|
||||
;; GNU Emacs is distributed in the hope that it will be useful,
|
||||
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
;; GNU General Public License for more details.
|
||||
|
||||
;; You should have received a copy of the GNU General Public License
|
||||
;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
|
||||
|
||||
;;; Commentary:
|
||||
|
||||
;;; Code:
|
||||
(defconst byte-opt-testsuite-arith-data
|
||||
'(
|
||||
;; some functional tests
|
||||
(let ((a most-positive-fixnum) (b 1) (c 1.0)) (+ a b c))
|
||||
(let ((a most-positive-fixnum) (b -2) (c 1.0)) (- a b c))
|
||||
(let ((a most-positive-fixnum) (b 2) (c 1.0)) (* a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b c))
|
||||
(let ((a (+ 1 (expt 2 -64))) (b (expt 2 -65))) (+ a -1 b))
|
||||
(let ((a (+ 1 (expt 2 -64))) (b (expt 2 -65))) (- a 1 (- b)))
|
||||
(let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b))
|
||||
(let ((a 1.0)) (* a 0))
|
||||
(let ((a 1.0)) (* a 2.0 0))
|
||||
(let ((a 1.0)) (/ 0 a))
|
||||
(let ((a 1.0)) (/ 3 a 2))
|
||||
(let ((a most-positive-fixnum) (b 2.0)) (* a 2 b))
|
||||
(let ((a 3) (b 2)) (/ a b 1.0))
|
||||
(/ 3 -1)
|
||||
(+ 4 3 2 1)
|
||||
(+ 4 3 2.0 1)
|
||||
(- 4 3 2 1) ; not new, for reference
|
||||
(- 4 3 2.0 1) ; not new, for reference
|
||||
(* 4 3 2 1)
|
||||
(* 4 3 2.0 1)
|
||||
(/ 4 3 2 1)
|
||||
(/ 4 3 2.0 1)
|
||||
(let ((a 3) (b 2)) (+ a b 1))
|
||||
(let ((a 3) (b 2)) (+ a b -1))
|
||||
(let ((a 3) (b 2)) (- a b 1))
|
||||
(let ((a 3) (b 2)) (- a b -1))
|
||||
(let ((a 3) (b 2)) (+ a b a 1))
|
||||
(let ((a 3) (b 2)) (+ a b a -1))
|
||||
(let ((a 3) (b 2)) (- a b a 1))
|
||||
(let ((a 3) (b 2)) (- a b a -1))
|
||||
(let ((a 3) (b 2)) (* a b -1))
|
||||
(let ((a 3) (b 2)) (* a -1))
|
||||
(let ((a 3) (b 2)) (/ a b 1))
|
||||
(let ((a 3) (b 2)) (/ (+ a b) 1))
|
||||
|
||||
;; coverage test
|
||||
(let ((a 3) (b 2) (c 1.0)) (+))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2.0 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 2.0 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0.0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0.0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0.0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ c 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0.0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b 0 c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 a b))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 0 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 1 2 3))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 3.0 2.0 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 3.0 2.0 1 4))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ -1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ c -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ -1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ 1 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (+ a b c -1))
|
||||
|
||||
(let ((a 3) (b 2) (c 1.0)) (-))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2.0 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 2.0 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0.0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0.0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0.0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- c 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0.0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b 0 c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 a b))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 0 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 1 2 3))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 3.0 2.0 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 3.0 2.0 1 4))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- -1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- c -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- -1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- 1 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (- a b c -1))
|
||||
|
||||
(let ((a 3) (b 2) (c 1.0)) (*))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2.0 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 2.0 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0.0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0.0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0.0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* c 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0.0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b 0 c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 a b))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 0 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 1 2 3))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 3.0 2.0 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 3.0 2.0 1 4))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* -1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* c -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* -1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* 1 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (* a b c -1))
|
||||
|
||||
(let ((a 3) (b 2) (c 1.0)) (/))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2.0 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 2.0 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0.0 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0.0 2.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0.0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ c 0.0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0.0 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b 0 c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 a b))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 0 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 1 2 3))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 3.0 2.0 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 3.0 2.0 1 4))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ -1 a))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ c -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ -1 c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b -1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b 2))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ 1 a b c))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b c 0))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b c 1))
|
||||
(let ((a 3) (b 2) (c 1.0)) (/ a b c -1)))
|
||||
"List of expression for test.
|
||||
Each element will be executed by interpreter and with
|
||||
bytecompiled code, and their results are compared.")
|
||||
|
||||
|
||||
(defun bytecomp-testsuite-run ()
|
||||
"Run bytecomp test suite."
|
||||
(interactive)
|
||||
(with-output-to-temp-buffer "*bytecomp test*"
|
||||
(byte-opt-testsuite--run-arith)
|
||||
(message "All byte-opt tests finished successfully.")))
|
||||
|
||||
|
||||
(defun byte-opt-testsuite--run-arith (&optional arg)
|
||||
"Unit test for byte-opt arithmetic operations.
|
||||
Subtests signal errors if something goes wrong."
|
||||
(interactive "P")
|
||||
(let ((print-escape-nonascii t)
|
||||
(print-escape-newlines t)
|
||||
(print-quoted t)
|
||||
v0 v1
|
||||
indent-tabs-mode
|
||||
(patterns byte-opt-testsuite-arith-data))
|
||||
(mapc
|
||||
(lambda (pat)
|
||||
(condition-case nil
|
||||
(setq v0 (eval pat))
|
||||
(error (setq v0 nil)))
|
||||
(condition-case nil
|
||||
(setq v1 (funcall (byte-compile (list 'lambda nil pat))))
|
||||
(error (setq v1 nil)))
|
||||
(princ (format "%s" pat))
|
||||
(if (equal v0 v1)
|
||||
(princ (format " --> %s, OK\n" v1))
|
||||
(princ (format " --> %s, NG\n" v0))
|
||||
(princ (format " --> %s\n" v1))
|
||||
(error "Arithmetic test failed!")))
|
||||
patterns)))
|
||||
|
||||
(provide 'byte-opt-testsuite)
|
||||
Loading…
Add table
Reference in a new issue