;-*- Mode:     Lisp -*-
;;;; Author:   Paul Dietz
;;;; Created:  Tue Sep  9 06:16:20 2003
;;;; Contains: Tests of LOGNOT





;;; Error tests

(deftest lognot.error.1
  (check-type-error #'lognot #'integerp)
  nil)

(deftest lognot.error.2
  (signals-error (lognot) program-error)
  t)

(deftest lognot.error.3
  (signals-error (lognot 0 0) program-error)
  t)

;;; Non-error tests

(deftest lognot.1
  (lognot 0)
  -1)

(deftest lognot.2
  (lognot -1)
  0)

(deftest lognot.3
  (lognot 123)
  -124)

(deftest lognot.4
  (loop for x = (random-from-interval (ash 1 (random 200)))
        for z = (lognot x)
        repeat 1000
        unless (and (if (>= x 0) (< z 0) (>= z 0))
                    (loop for i from 1 to 210
                          always (if (not (logbitp i x))
                                     (logbitp i z)
                                   (not (logbitp i z)))))
        collect (list x z))
  nil)