common-lisp/sbcl.sbcl
1
0
Fork 0
mirror of git://git.code.sf.net/p/sbcl/sbcl synced 2026-09-10 07:26:40 -04:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

Mark expected failures on the less loved backends

Browse source
This commit is contained in:
Stas Boukarev 2026-02-24 05:37:17 +03:00
parent dd4963683a
commit fa16c4bbc0
16 changed files with 31 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/runtime/GNUmakefile
View file

@ -113,7 +113,7 @@ $(TARGET): $(LIBSBCL)
# tests/heap-reloc/fake-mman.c assumes #+linux, so this recipe
# only works on linux.
heap-reloc-test: ../../tests/heap-reloc/fake-mman.c $(OBJS)
$(CC) ${LINKFLAGS} -o $@ ../../tests/heap-reloc/fake-mman.c $(filter-out linux-mman.o,$(OBJS)) $(LIBS)
$(CC) ${LINKFLAGS} $(CPPFLAGS) -o $@ ../../tests/heap-reloc/fake-mman.c $(filter-out linux-mman.o,$(OBJS)) $(LIBS)
# Enable compiling gencgc with even more assertions and/or
# data collection, with COMPILING_TESTS. Not really used yet.

2
tests/backtrace.impure.lisp
View file

@ -263,7 +263,7 @@
(defun throw-test ()
(throw 'no-such-tag t))
(with-test (:name (:backtrace :throw :no-such-tag)
:fails-on (or :mips (and :sparc :linux)))
:fails-on (or :mips :ppc :ppc64 :riscv (and :sparc :linux)))
(assert-backtrace #'throw-test '((throw-test))))
(funcall (checked-compile

3
tests/compiler-2.pure.lisp
View file

@ -4451,7 +4451,8 @@
((0 nil 2) nil)
((0 1 2) (condition 'undefined-function))))
(with-test (:name :undefined-system-fun)
(with-test (:name :undefined-system-fun
:fails-on (and :ppc64 :big-endian))
(checked-compile-and-assert
(:optimize :safe :allow-warnings t)
`(lambda ()

4
tests/compiler-ir.pure.lisp
View file

@ -535,7 +535,7 @@
(assert (node-tail-p combination))))
(with-test (:name :evenp+arithmetic
:fails-on (or :riscv :loongarch64))
:fails-on (or :riscv :loongarch64 :ppc64 :ppc))
(assert (not (ir-full-calls `(lambda (x)
(evenp (+ x 3))))))
(assert (not (ir-full-calls `(lambda (x)
@ -587,7 +587,7 @@
n))))))
(with-test (:name :truncate-signed-word-error
:fails-on (or :riscv :loongarch64))
:fails-on (or :ppc64 :riscv :loongarch64))
(assert (not (find 'sb-vm::move-from-signed
(ir2-vops '(lambda (x d)
(declare ((signed-byte 64) x d))

6
tests/compiler.impure.lisp
View file

@ -2806,11 +2806,7 @@
(list (list nil)))
(ctu:assert-no-consing (funcall fun list))))
(with-test (:name :ftype-return-type-conflict
;; Not having UNWIND-TO-FRAME-AND-CALL-VOP changes
;; the condition type here?
:fails-on (not (or :unwind-to-frame-and-call-vop :loongarch64)))
(with-test (:name :ftype-return-type-conflict)
(proclaim '(ftype (function () fixnum) ftype-return-type-conflict))
(checked-compile-and-assert (:optimize :safe :allow-warnings t)
`(sb-int:named-lambda ftype-return-type-conflict () nil)

12
tests/compiler.pure.lisp
View file

@ -161,8 +161,7 @@
;;; on the PPC, we got the magic numbers in undefined_tramp wrong for
;;; a while; fixed by CSR 2002-07-18
(with-test (:name :undefined-function-error
:fails-on :ppc64)
(with-test (:name :undefined-function-error)
(multiple-value-bind (value error)
(ignore-errors (funcall (checked-compile
`(lambda () (some-undefined-function))
@ -3435,7 +3434,7 @@
t))))
(ctu:assert-no-consing (funcall f))))
(with-test (:name :truncate-float :fails-on :ppc64)
(with-test (:name :truncate-float)
(let ((s (checked-compile `(lambda (x)
(declare (single-float x))
(truncate x))))
@ -3541,8 +3540,7 @@
(test 'base-string 'sb-kernel:%concatenate-to-base-string)
(test 'simple-base-string 'sb-kernel:%concatenate-to-base-string)))
(with-test (:name (satisfies :no-local-fun)
:fails-on :ppc64)
(with-test (:name (satisfies :no-local-fun))
(let ((fun (checked-compile
`(lambda (arg)
(labels ((local-not-global-bug (x)
@ -5457,7 +5455,7 @@
(let ((f (checked-compile '(lambda (x) (oddp x)))))
(ctu:assert-no-consing (funcall f most-positive-fixnum))))
(with-test (:name (oddp bignum :no-consing)
:serial t :skipped-on :interpreter :fails-on (or :arm :ppc :loongarch64))
:serial t :skipped-on :interpreter :fails-on (or :arm :ppc :ppc64 :riscv :loongarch64))
(let ((f (checked-compile '(lambda (x) (oddp x))))
(x (* most-positive-fixnum most-positive-fixnum 3)))
(ctu:assert-no-consing (funcall f x))))
@ -5466,7 +5464,7 @@
(let ((f (checked-compile '(lambda (x) (logtest x most-positive-fixnum)))))
(ctu:assert-no-consing (funcall f 1))))
(with-test (:name (logtest bignum :no-consing)
:serial t :skipped-on :interpreter :fails-on (or :arm :ppc :loongarch64))
:serial t :skipped-on :interpreter :fails-on (or :arm :ppc :ppc64 :riscv :loongarch64))
(let ((f (checked-compile '(lambda (x) (logtest x 1))))
(x (* most-positive-fixnum most-positive-fixnum 3)))
(ctu:assert-no-consing (funcall f x))))

1
tests/condition.pure.lisp
View file

@ -281,6 +281,7 @@
(prin1-to-string (make-condition 'simple-type-error)))
(with-test (:name (:print-undefined-function-condition)
:broken-on :ppc
:fails-on :ppc64)
(handler-case (funcall '#:foo)
(undefined-function (c) (princ-to-string c))))

4
tests/debug.impure.lisp
View file

@ -138,7 +138,7 @@
(declare (ignore f stuff))))))
(defparameter *breakpoint-tracing-expectations*
'(:fails-on (or :arm :riscv)
'(:fails-on (or :arm :riscv :ppc64 :ppc)
:broken-on (or :loongarch64 :freebsd)))
;;; bug 379
@ -955,7 +955,7 @@
(with-test (:name (:debugger :list-locations)
;; there's an extra location on arm for some reason.
:fails-on (or :arm :loongarch64 :riscv))
:fails-on (or :arm :loongarch64 :riscv :ppc :ppc64))
(test-debugger
"ll #'!
debugger-test-done!"

3
tests/disassem.pure-cload.lisp
View file

@ -10,7 +10,8 @@
(disassemble-annotate-funs-f2)
(print 20)))
(with-test (:name :disassemble-annotate-funs)
(with-test (:name :disassemble-annotate-funs
:fails-on :ppc)
(let ((dis (with-output-to-string (str) (disassemble #'disassemble-annotate-funs :use-labels nil :stream str))))
(assert (search "PRINC" dis))
(assert (search "PRINT" dis))

2
tests/do-refs.impure.lisp
View file

@ -149,7 +149,7 @@
(defvar *some-symbol* 'a)
(test-util:with-test (:name :symbol-refs
:fails-on :interpreter)
:fails-on (or :riscv :interpreter))
(sb-int:collect ((results))
(let ((*some-symbol* 'b))
(do-referenced-object ('*some-symbol* results)))

2
tests/fast-assoc.pure.lisp
View file

@ -132,7 +132,7 @@
(position x #.*my-pos-testvector* :from-end t))
(compile 'fast-rpos-mixed-keytypes)
(with-test (:name :pos-mixed-keytypes)
(let ((c (delete-if (lambda (x) (typep x '(vector * 8)))
(let ((c (delete-if (lambda (x) (typep x '(or (vector * 8) integer)))
(ctu:find-code-constants #'fast-rpos-mixed-keytypes))))
(assert (typep (car c) '(simple-vector 11)))
(assert (typep (cadr c) '(vector (unsigned-byte 8) 11)))

4
tests/fcb-threads.impure.lisp
View file

@ -159,13 +159,15 @@
(/ (- stop start) internal-time-units-per-second)))))))
(with-test (:name :call-me-from-1-thread-no-gc
:skipped-on (or :interpreter))
:fails-on (and :ppc64 :big-endian)
:skipped-on (or :interpreter))
;; smoke test and no GCing
(setq *print-greetings-and-salutations* t)
(f 1 1 1 nil)
(setq *print-greetings-and-salutations* nil))
(with-test (:name :call-me-from-many-threads-and-gc
:fails-on (and :ppc64 :big-endian)
:skipped-on (or :interpreter (and :x86 :win32)))
;; two trials, 5 threads, 40 calls each
(f 2 5 40 t)

8
tests/float-2.pure.lisp
View file

@ -130,7 +130,7 @@
floating-point-overflow))
(with-test (:name :bignum-double-float-overflow
:fails-on :no-float-traps)
:fails-on (or :no-float-traps :loongarch64))
(loop for n from 1024 to 1030
do (assert-error (coerce (opaque-identity (expt 2 n)) 'double-float) floating-point-overflow)
(assert-error (coerce (opaque-identity (- (expt 2 n))) 'double-float) floating-point-overflow)))
@ -743,7 +743,8 @@ fractional bits."
(opaque-identity 0))
least-positive-single-float)))
(with-test (:name :truncate-by-zero-error)
(with-test (:name :truncate-by-zero-error
:fails-on :loongarch64)
(assert-error (truncate 1 (opaque-identity 0d0)) division-by-zero)
(assert-error (truncate 1f0 (opaque-identity 0f0)) division-by-zero)
(sb-int:with-float-traps-masked (:divide-by-zero)
@ -899,7 +900,8 @@ fractional bits."
(declare (fixnum x))
(ffloor x 1d0))))))
(with-test (:name :the-truncate)
(with-test (:name :the-truncate
:fails-on :loongarch64)
(checked-compile-and-assert
(:optimize :safe-debug)
`(lambda (n)

3
tests/jump-table.pure.lisp
View file

@ -139,7 +139,8 @@
((#\b) nil)))
(with-test (:name :array-subtype-dispatch-table
:fails-on :sb-cover-for-internals) ; lp#2131957
:skipped-on (not (or :x86 :x86-64 :arm64))
:fails-on :sb-cover-for-internals) ; lp#2131957
(assert (> (sb-kernel:code-jump-table-words
(sb-kernel:fun-code-header #'sb-kernel:vector-subseq))
20)))

2
tests/step.pure.lisp
View file

@ -12,7 +12,7 @@
;;;; more information.
;; No stepper support on some platforms.
#+(or interpreter riscv loongarch64) (invoke-restart 'run-tests::skip-file)
#+(or interpreter riscv loongarch64 (and ppc64 big-endian)) (invoke-restart 'run-tests::skip-file)
;; These tests should either with code in dynamic space
;; or immobile space, but they only accidentally worked

1
tests/typehashmix.impure.lisp
View file

@ -426,6 +426,7 @@
;; 314 172 57 24 14 6 1 0 0 0 0 0
;; Avg=1.7653061
(with-test (:name :numeric-type-hash-mixer
:fails-on :ppc64
:skipped-on :gc-stress)
(let* ((hs sb-kernel::*numeric-union-type-hashset*)
;; Theoretically we should be more concerned with the _average_