Turn ENDP compiler macro into a transform

Fixing more bytecode incompatibilities.

Author: Bike

src/lisp/kernel/cleavir/transform.lisp

@@ -548,9 +548,19 @@ Optimizations are available for any of:
        0
        (core:cons-length x)))
 
-(deftransform-type-predicate endp null)
 (deftransform-type-predicate null null)
 
+(deftransform endp (((x (not list))))
+  '(error 'type-error :datum x :expected-type 'list))
+(deftransform endp (((x list))) '(null x))
+;; These two are technically redundant since null has a transform,
+;; but we might as well simplify in one shot, no?
+(deftransform endp (((x null))) t)
+(deftransform endp (((x cons))) nil)
+;; If all else fails,
+(deftransform endp (((x t)))
+  '(null (the (values list &rest nil) x)))
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; (15) ARRAYS

src/lisp/kernel/cmp/opt/opt-cons.lisp

@@ -17,11 +17,6 @@
     (t form)))
 
 (define-compiler-macro null (object) `(if ,object nil t))
-#-bytecode
-(define-compiler-macro endp (object)
-  ;; awkward THE to prevent very inefficient arbitrary-values type check in cclasp
-  ;; see the notes in opt-number for a little more information
-  `(if (the (values list &rest nil) (values ,object)) nil t))
 
 (defconstant +nthcdr-inline-limit+ 8) ; totally arbitrary