Ignore:
Timestamp:
Dec 14, 2011, 12:20:31 AM (8 years ago)
Author:
rme
Message:

Simple tests for a few recent bugs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tests/ansi-tests/ccl.lsp

    r14901 r15136  
    18251825     (= (bar) -33554433)))
    18261826  t t)
     1827
     1828(deftest ccl.r15134
     1829    (flet ((foo (a)
     1830             (declare (optimize safety)
     1831                      (type (signed-byte 8) a))
     1832             a))
     1833      (= (foo -41) -41))
     1834  t)
     1835
     1836(deftest ccl.arm-sbit-1
     1837    (flet ((foo (a)
     1838             (sbit a 234)))
     1839      (= 0 (foo #*1010010110010111101001001011000001010110101111001101001010110110001101000101010110000010101110011110100111001001011111000111100010010010101100111001001110111001001011001100010110001101101100011011001000001001101101001101111110101011000)))
     1840  t)
     1841
     1842(deftest ccl.arm-sbit-2
     1843    (flet ((foo (a)
     1844             (sbit a 2)))
     1845      (= 0 (foo #*1001)))
     1846  t)
     1847
     1848(deftest ccl.arm-char-constant
     1849    (flet ((foo ()
     1850             #\LATIN_CAPITAL_LETTER_A_WITH_MACRON))
     1851      (char= (foo) #\LATIN_CAPITAL_LETTER_A_WITH_MACRON))
     1852  t)
     1853
     1854(deftest ccl.%ilogxor2
     1855    (let ((b (make-array 1 :element-type '(unsigned-byte 8)))
     1856          (m (make-array 1 :element-type 'fixnum :initial-element 3)))
     1857      (setf (aref b 0) (logxor (aref m 0) (aref m 0)))
     1858      (= (aref b 0) 0))
     1859  t)
     1860
     1861(deftest ccl.one-arg-float
     1862    (flet ((foo (x)
     1863             (declare (type double-float x))
     1864             (float x)))
     1865      (typep (foo 1d0) 'double-float))
     1866  t)
     1867
Note: See TracChangeset for help on using the changeset viewer.