/[gcl]/gcl/ansi-tests/misc.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/misc.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.30 by pfdietz, Sat Nov 1 03:52:16 2003 UTC revision 1.31 by pfdietz, Sat Nov 1 14:50:33 2003 UTC
# Line 1738  Line 1738 
1738                   (multiple-value-call #'%f15 (values -2688612)))))                   (multiple-value-call #'%f15 (values -2688612)))))
1739     1 2 3)     1 2 3)
1740    -2688612)    -2688612)
1741    
1742    ;;; ACL 6.2 (x86 linux trial) bugs
1743    ;;; With optional flet/labels parameters, there's a very high frequency bug
1744    ;;; causing the compiler error "Error: `:INFERRED' is not of the expected
1745    ;;; type `NUMBER'".  The following tests show this bug.
1746    
1747    (deftest misc.134
1748      (funcall
1749       (compile nil
1750                '(lambda (b)
1751                   (labels ((%f5 (f5-1 f5-2 f5-3 &optional (f5-4 0)
1752                                       (f5-5
1753                                        (flet ((%f13 (f13-1)
1754                                                     (return-from %f13 b))) b)))
1755                                 900654472))
1756                     183301)))
1757       13775799184)
1758      183301)
1759    
1760    (deftest misc.135
1761      (funcall
1762       (compile nil
1763                '(lambda (a b)
1764                   (labels ((%f4 (&optional (f4-1 (labels ((%f17 nil a)) b)))
1765                                 -14806404))
1766                     190134)))
1767       1783745644 268410629)
1768      190134)
1769    
1770    (deftest misc.136
1771      (funcall
1772       (compile nil
1773                '(lambda (c)
1774                   (flet ((%f17 (&optional
1775                                 (f17-1 (flet ((%f9 nil c)) 73574919)))
1776                                643))
1777                     1039017546)))
1778       0)
1779      1039017546)
1780    
1781    ;;; And these caused segfaults
1782    
1783    (deftest misc.137
1784      (funcall
1785       (compile nil
1786                '(lambda ()
1787                   (declare (optimize (speed 3)))
1788                   (declare (optimize (safety 1)))
1789                   (flet ((%f16 (&optional
1790                                 (f16-2 (lognor -3897747
1791                                                (if nil -1 -127228378))))
1792                                10))
1793                     20))))
1794      20)
1795    
1796    (deftest misc.138
1797      (funcall
1798       (compile nil
1799                '(lambda (c)
1800                   (declare (type (integer 2996 39280) c))
1801                   (declare (optimize (speed 3)))
1802                   (declare (optimize (safety 1)))
1803                   (if (zerop (labels ((%f8 (&optional
1804                                             (f8-2 (logorc2 c -161957)))
1805                                            2176))
1806                                3))
1807                       c c)))
1808       0)
1809      0)
1810    
1811    ;;; Lispworks 4.2 (x86 linux personal edition) failures
1812    
1813    
1814    (deftest misc.139
1815      (let* ((fn1
1816              '(lambda (c)
1817                 (declare (optimize (speed 3)))
1818                 (logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1))
1819                           (%f1 774 3616592)) c)))
1820             (fn2
1821              '(lambda (c)
1822                 (logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1))
1823                           (%f1 774 3616592)) c)))
1824             (vals '(-3))
1825             (v1 (apply (compile nil fn1) vals))
1826             (v2 (apply (compile nil fn2) vals)))
1827        (if (eql v1 v2) :good (list v1 v2)))
1828      :good)
1829    
1830    (deftest misc.140
1831      (funcall
1832       (compile nil
1833                '(lambda (a)
1834                   (ldb (byte 24 20)
1835                        (labels ((%f12 (&optional (f12-1 149) (f12-2 -3894159)) 34068))
1836                          (let* ((v4 (%f12))) a)))))
1837       -1)
1838      16777215)
1839    
1840    
1841    ;;; In Lispworks 4.2 (x86 linux personal edition)
1842    ;;; 'Error: *** Ran out of patterns in (MOVE) for (edi NIL)'
1843    
1844    (deftest misc.141
1845      (funcall
1846       (compile nil
1847                '(lambda () (labels ((%f11 (&optional (f11-3 (restart-case 0))) f11-3))
1848                              (%f11 1)))))
1849      1)
1850    
1851    (deftest misc.142
1852      (funcall
1853       (compile nil
1854                '(lambda ()
1855                   (labels ((%f15 (&optional (f15-3 (block b1 (+ 1 (return-from b1 -10)))))
1856                                  f15-3))
1857                     (%f15)))))
1858      -10)
1859    
1860    
1861    
1862      
1863    

Legend:
Removed from v.1.30  
changed lines
  Added in v.1.31

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26