X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fstep.impure.lisp;h=9b48dc2214b7c044a3a20409cbaf84cc7493a1b2;hb=HEAD;hp=88428744ebabd0809d489593f728230c0848573a;hpb=f0f8bc6c184e849782fc784230f8e235d3659d5d;p=sbcl.git diff --git a/tests/step.impure.lisp b/tests/step.impure.lisp index 8842874..9b48dc2 100644 --- a/tests/step.impure.lisp +++ b/tests/step.impure.lisp @@ -14,8 +14,8 @@ (in-package :cl-user) ;; No stepper support on some platforms. -#-(or x86 x86-64 ppc sparc) -(sb-ext:quit :unix-status 104) +#-(or x86 x86-64 ppc sparc mips) +(sb-ext:exit :code 104) (defun fib (x) (declare (optimize debug)) @@ -52,21 +52,35 @@ (defun test-step-into () (let* ((results nil) - (expected '(("(< X 2)" :unknown) - ("(- X 1)" :unknown) - ("(FIB (1- X))" (2)) - ("(< X 2)" :unknown) - ("(- X 1)" :unknown) - ("(FIB (1- X))" (1)) - ("(< X 2)" :unknown) - ("(- X 2)" :unknown) - ("(FIB (- X 2))" (0)) - ("(< X 2)" :unknown) - ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) - ("(- X 2)" :unknown) - ("(FIB (- X 2))" (1)) - ("(< X 2)" :unknown) - ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) + ;; The generic-< VOP on x86oids doesn't emit a full call + (expected + #-(or x86 x86-64) + '(("(< X 2)" :unknown) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(< X 2)" :unknown) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (1)) + ("(< X 2)" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (0)) + ("(< X 2)" :unknown) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(< X 2)" :unknown) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown)) + #+(or x86 x86-64) + '(("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (1)) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (0)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) (*stepper-hook* (lambda (condition) (typecase condition (step-form-condition @@ -79,18 +93,31 @@ (defun test-step-next () (let* ((results nil) - (expected '(("(< X 2)" :unknown) - ("(- X 1)" :unknown) - ("(FIB (1- X))" (2)) - ("(< X 2)" :unknown) - ("(- X 1)" :unknown) - ("(FIB (1- X))" (1)) - ("(- X 2)" :unknown) - ("(FIB (- X 2))" (0)) - ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) - ("(- X 2)" :unknown) - ("(FIB (- X 2))" (1)) - ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) + (expected + #-(or x86 x86-64) + '(("(< X 2)" :unknown) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(< X 2)" :unknown) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (1)) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (0)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown)) + #+(or x86 x86-64) + '(("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (1)) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (0)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) (count 0) (*stepper-hook* (lambda (condition) (typecase condition @@ -106,14 +133,24 @@ (defun test-step-out () (let* ((results nil) - (expected '(("(< X 2)" :unknown) - ("(- X 1)" :unknown) - ("(FIB (1- X))" (2)) - ("(< X 2)" :unknown) - ("(- X 2)" :unknown) - ("(FIB (- X 2))" (1)) - ("(< X 2)" :unknown) - ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) + (expected + #-(or x86 x86-64) + '(("(< X 2)" :unknown) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(< X 2)" :unknown) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(< X 2)" :unknown) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown)) + #+(or x86 x86-64) + '(("(- X 1)" :unknown) + ("(FIB (1- X))" (2)) + ("(- X 1)" :unknown) + ("(FIB (1- X))" (1)) + ("(- X 2)" :unknown) + ("(FIB (- X 2))" (1)) + ("(+ (FIB (1- X)) (FIB (- X 2)))" :unknown))) (count 0) (*stepper-hook* (lambda (condition) (typecase condition @@ -129,14 +166,23 @@ (defun test-step-start-from-break () (let* ((results nil) - (expected '(("(- X 2)" :unknown) - ("(FIB-BREAK (- X 2))" (0)) - ("(< X 2)" :unknown) - ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown) - ("(- X 2)" :unknown) - ("(FIB-BREAK (- X 2))" (1)) - ("(< X 2)" :unknown) - ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown))) + (expected + #-(or x86 x86-64) + '(("(- X 2)" :unknown) + ("(FIB-BREAK (- X 2))" (0)) + ("(< X 2)" :unknown) + ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB-BREAK (- X 2))" (1)) + ("(< X 2)" :unknown) + ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown)) + #+(or x86 x86-64) + '(("(- X 2)" :unknown) + ("(FIB-BREAK (- X 2))" (0)) + ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown) + ("(- X 2)" :unknown) + ("(FIB-BREAK (- X 2))" (1)) + ("(+ (FIB-BREAK (1- X)) (FIB-BREAK (- X 2)))" :unknown))) (count 0) (*stepper-hook* (lambda (condition) (typecase condition @@ -165,7 +211,7 @@ (incf count) (invoke-restart 'step-next))))))) (step (fib 3)) - (assert (= count 6)))) + (assert (= count #-(or x86 x86-64) 6 #+(or x86 x86-64) 5)))) (defun test-step-backtrace () (let* ((*stepper-hook* (lambda (condition)