mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-31 09:20:54 -08:00
Code Issues Projects Releases Wiki Activity

Some clean-up in comp-tests.el

Browse source 
* test/src/comp-tests.el (comp-tests-cond-rw-checked-function)
(comp-tests-cond-rw-checker-val)
(comp-tests-cond-rw-expected-type)
(comp-tests-cond-rw-checker-type): Remove.
This commit is contained in:
Andrea Corallo 2024-07-10 23:48:19 +02:00
parent baf74968f9
commit ffaf1cb235
1 changed files with 0 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

30
test/src/comp-tests.el
View file

@ -1567,36 +1567,6 @@ folded."
(should (native-comp-function-p (symbol-function 'comp-tests-pure-fibn-entry-f)))
(should (= (comp-tests-pure-fibn-entry-f) 6765))))
(defvar comp-tests-cond-rw-checked-function nil
"Function to be checked.")
(defun comp-tests-cond-rw-checker-val (_)
"Check we manage to propagate the correct return value."
(should
(cl-some
#'identity
(comp-tests-map-checker
comp-tests-cond-rw-checked-function
(lambda (insn)
(pcase insn
(`(return ,mvar)
(and (comp-cstr-imm-vld-p mvar)
(eql (comp-cstr-imm mvar) 123)))))))))
(defvar comp-tests-cond-rw-expected-type nil
"Type to expect in `comp-tests-cond-rw-checker-type'.")
(defun comp-tests-cond-rw-checker-type (_)
"Check we manage to propagate the correct return type."
(should
(cl-some
#'identity
(comp-tests-map-checker
comp-tests-cond-rw-checked-function
(lambda (insn)
(pcase insn
(`(return ,mvar)
(equal (comp-mvar-typeset mvar)
comp-tests-cond-rw-expected-type))))))))
(comp-deftest comp-tests-result-lambda ()
(native-compile 'comp-tests-result-lambda)
(should (eq (funcall (comp-tests-result-lambda) '(a . b)) 'a)))