Development of Steel Bank Common Lisp

Nikodemus Siivola | 1 Dec 2011 12:46

Re: BUG: LVAR-VALUE used on non-constant LVAR

On 1 December 2011 00:05, Eric Marsden <eric.marsden <at> free.fr> wrote:

> (lambda (p1 p3 p4)
>     (declare (type keyword p3))
>     (tree-equal p1 (cons 1 2) (the (member :test) p3) p4))

Thanks! Fixed in my pending tree.

Cheers,

 -- Nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel

Alastair Bridgewater | 1 Dec 2011 15:09

Picon

Re: BUG: illegal instruction on PowerPC

Confirmed, session transcript follows.

The interesting part of the disassembly is where execution basically
"falls off the end" of a block and into an LRA header (the transition
between DF8 and DFC).

This is on a PowerMac G4 running Linux.

I don't have the time to look into this seriously over the next few
days, but can produce compiler trace output if it would help.

-- Alastair Bridgewater

* (lambda (a) (declare (optimize (debug 2)) (type (member 2d0 1d0) a))
(truncate a))

#<FUNCTION (LAMBDA (A)) {510B28B5}>
* (sb-disassem:disassemble-code-component *)

; 510B28B0:       .ENTRY (LAMBDA (A))(A)                      ; (FUNCTION (#) *)
;      8CC:       3A7FFFC3         ADDI $CODE,$LIP,-61
;      8D0:       3A0F0040         ADDI $CSP,$CFP,64
;      8D4:       916F0010         STW $NARGS,16($CFP)
;      8D8:       930F000C         STW $A0,12($CFP)
;      8DC:       92CF0000         STW $OCFP,0($CFP)
;      8E0:       92EF0004         STW $LRA,4($CFP)

;;; [7] (TRUNCATE A)

;      8E4:       806F0010         LWZ $NL0,16($CFP)

(Continue reading)

Alastair Bridgewater | 1 Dec 2011 15:19

Picon

Re: BUG: illegal instruction on PowerPC

Did I say DF8 to DFC? I meant 9E8 to 9EC.

Additionally, this appears to be a regression since 1.0.28.

-- Alastair Bridgewater

On Thu, Dec 1, 2011 at 9:09 AM, Alastair Bridgewater
<alastair.bridgewater <at> gmail.com> wrote:
> Confirmed, session transcript follows.
>
> The interesting part of the disassembly is where execution basically
> "falls off the end" of a block and into an LRA header (the transition
> between DF8 and DFC).
>
> This is on a PowerMac G4 running Linux.
>
> I don't have the time to look into this seriously over the next few
> days, but can produce compiler trace output if it would help.
>
> -- Alastair Bridgewater

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

Nikodemus Siivola | 1 Dec 2011 17:17

Re: BUG: illegal instruction on PowerPC

Here's a "portable" version of the test-case:

(funcall (compile nil
                  `(lambda (a)
                     (declare (type (member 1d0 2d0) a))
                     (block return-value-tag
                       (funcall
                         (the function
                           (catch 'debug-catch-tag
                             (return-from return-value-tag
                               (progn (truncate a)))))))))
                  2d0)

The bug's in the TRUNCATE transform when it sees *WILD-TYPE* as the result type.

Cheers,

 -- nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

Martin Cracauer | 2 Dec 2011 18:57

Re: freeze for 1.0.54

I thought this was fixed but I still have these spurious output
messages in 07:

(:REF
 #<SB-C::REF
   :%SOURCE-NAME SB-C::SEQ
   :LEAF #<SB-C::LAMBDA-VAR
           :%SOURCE-NAME SB-C::SEQ
           :TYPE #<SB-KERNEL:ARRAY-TYPE (SIMPLE-VECTOR 6)>
	   {102A179B43}>
   {102A17C0F3}>
 #<SB-C::LVAR 1 {102A17D863}>) 
(:REF
 #<SB-C::REF
   :%SOURCE-NAME SB-C::SEQ
   :LEAF #<SB-C::LAMBDA-VAR
           :%SOURCE-NAME SB-C::SEQ
           :TYPE #<SB-KERNEL:ARRAY-TYPE (SIMPLE-VECTOR 6)>
	   {102A217A33}>
   {102A21A023}>
 #<SB-C::LVAR 2 {102A21B793}>) 
(:REF
 #<SB-C::REF
   :%SOURCE-NAME SB-C::SEQ
   :LEAF #<SB-C::LAMBDA-VAR
           :%SOURCE-NAME SB-C::SEQ
           :TYPE #<SB-KERNEL:ARRAY-TYPE (SIMPLE-VECTOR 6)>
	   {102A08DDF3}>
   {102A090C33}>
 #<SB-C::LVAR 3 {102A092473}>)

(Continue reading)

Nikodemus Siivola | 2 Dec 2011 23:25

Re: freeze for 1.0.54

On 2 December 2011 19:57, Martin Cracauer <cracauer <at> cons.org> wrote:

> I thought this was fixed but I still have these spurious output
> messages in 07:

Wow. This has been there since 1.0.48.21. Pushed a fix.

Cheers,

 -- nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

Attila Lendvai | 3 Dec 2011 06:14

Picon

Re: freeze for 1.0.54

>> I thought this was fixed but I still have these spurious output
>> messages in 07:
>
> Wow. This has been there since 1.0.48.21. Pushed a fix.

for your copy-pasting convenience, i have these against such accidents:

(font-lock-add-keywords
   'lisp-mode
   `(("[^-]\\(FIXME\\|TODO\\|KLUDGE\\|QUESTION\\|WARNING\\|#[+-]debug\\)"
1 'font-lock-todo-face t)
     ("[(:]\\(in-package\\|in-suite\\|not-yet-implemented\\|ignore-errors\\|read-from-string\\|eval\\|production-only.?\\|break[^)]?\\|break/inspect.?\\|break/print.?\\|print\\)[
	\n()]" 1 'font-lock-todo-face t)
     ("\\*debug-io\\*\\|\\*trace-output\\*" 0 'font-lock-todo-face t)))

--

-- 
 attila

Notice the erosion of your (digital) freedom, and do something about it!

PGP: 2FA1 A9DC 9C1E BA25 A59C  963F 5D5F 45C7 DFCD 0A39
OTR XMPP: 8647EEAC EA30FEEF E1B55146 573E52EE 21B1FF06

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________

(Continue reading)

Nikodemus Siivola | 5 Dec 2011 10:48

Re: BUG: illegal instruction on PowerPC

On 1 December 2011 18:17, Nikodemus Siivola <nikodemus <at> random-state.net> wrote:

> The bug's in the TRUNCATE transform when it sees *WILD-TYPE* as the result type.

Fix pushed.

Cheers,

 -- Nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel

Nikodemus Siivola | 5 Dec 2011 10:49

Re: BUG: incorrect results from FFLOOR (AMD64)

On 30 November 2011 16:00, Nikodemus Siivola <nikodemus <at> random-state.net> wrote:
> In the meanwhile,
>
>  https://github.com/nikodemus/SBCL/commit/4ecc79c0379b7454f7d8cf67054c2629643426e1
>
> has the fix if someone needs it in a hurry.

Pushed,

 -- nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel

Nikodemus Siivola | 5 Dec 2011 10:48

Re: BUG: LVAR-VALUE used on non-constant LVAR

On 1 December 2011 13:46, Nikodemus Siivola <nikodemus <at> random-state.net> wrote:
> On 1 December 2011 00:05, Eric Marsden <eric.marsden <at> free.fr> wrote:
>
>> (lambda (p1 p3 p4)
>>     (declare (type keyword p3))
>>     (tree-equal p1 (cons 1 2) (the (member :test) p3) p4))
>
> Thanks! Fixed in my pending tree.

Pushed,

 -- nikodemus

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel

Group

gmane.lisp.steel-bank.devel.

Search Archive

Page

1 | 2 | 3 | 4 | 5 | 6

Articles in period: 59

December 2011

Language

Change language

Options

Current view: Threads only / Showing only 20 lines / Not hiding cited text.
Change to All messages, whole messages, or hide cited text.

Post a message
NNTP Newsgroup
Classic Gmane web interface
XML

XML

RSS Feed
List Information

About Gmane

Recent entries

freeze for sbcl-1.1.8 (24 May 2013)
[patch] lp#659173 patch and discussion (24 May 2013)
[patch] search_for_executable() fails to process last part of PATH env (23 May 2013)
Non-Unicode build broken since 1.1.7.57-db01104 (22 May 2013)
Patch for Initial Move of GC code into package SB-GC (22 May 2013)
Pessimization of 'ldb-test' despite presence of vm support for fast lo (22 May 2013)
How to know when to stop spelling "banana" (21 May 2013)
[Sbcl-commits] master: Constant-fold backquote of constant expressions (21 May 2013)
SB-GMP (21 May 2013)
[Sbcl-commits] master: Make some instances of IF/IF conversion more di (21 May 2013)
Patch for review: move-to-word/integer and fixnump hack (16 May 2013)
ASDF 3.0.0 (15 May 2013)
SB-GMP status (13 May 2013)
SBCL texinfo documentation and texinfo version5 (12 May 2013)
Struct groveling (12 May 2013)
Bad effect of FOLD-INDEX-ADDRESSING (10 May 2013)
Faster FIND and POSITION in unsafe code (8 May 2013)
Lisp Interface to GC (8 May 2013)
csv output of generation stats in gengcg.c (7 May 2013)
SBCL on WIndows possible problem... (4 May 2013)
[Sbcl-commits] master: Micro-optimize integer-length on fixnums on x86 (30 Apr 2013)

Archives

80	May 2013
142	April 2013
49	March 2013
53	February 2013
36	January 2013
21	December 2012
45	November 2012
48	October 2012
52	September 2012
24	August 2012
14	July 2012
21	June 2012
69	May 2012
87	April 2012
41	March 2012
8	February 2012
20	January 2012
59	December 2011
129	November 2011
56	October 2011
35	September 2011
134	August 2011
33	July 2011
102	June 2011
112	May 2011
38	April 2011
90	March 2011
113	February 2011
71	January 2011
49	December 2010
52	November 2010
122	October 2010
110	September 2010
110	August 2010
38	July 2010
111	June 2010
87	May 2010
133	April 2010
131	March 2010
91	February 2010
91	January 2010
139	December 2009
78	November 2009
179	October 2009
108	September 2009
134	August 2009
106	July 2009
217	June 2009
168	May 2009
185	April 2009
171	March 2009
118	February 2009
155	January 2009
291	December 2008
167	November 2008
270	October 2008
86	September 2008
103	August 2008
127	July 2008
147	June 2008
204	May 2008
132	April 2008
189	March 2008
202	February 2008
190	January 2008
201	December 2007
199	November 2007
99	October 2007
136	September 2007
150	August 2007
191	July 2007
129	June 2007
132	May 2007
244	April 2007
177	March 2007
85	February 2007
151	January 2007
157	December 2006
208	November 2006
116	October 2006
100	September 2006
178	August 2006
73	July 2006
184	June 2006
188	May 2006
174	April 2006
149	March 2006
181	February 2006
214	January 2006
155	December 2005
140	November 2005
124	October 2005
120	September 2005
302	August 2005
185	July 2005
198	June 2005
200	May 2005
178	April 2005
210	March 2005
101	February 2005
148	January 2005
134	December 2004
97	November 2004
111	October 2004
164	September 2004
147	August 2004
94	July 2004
116	June 2004
202	May 2004
243	April 2004
163	March 2004
97	February 2004
89	January 2004
86	December 2003
183	November 2003
118	October 2003
215	September 2003
184	August 2003
68	July 2003
142	June 2003
211	May 2003
146	April 2003
103	March 2003
128	February 2003
100	January 2003
88	December 2002
92	November 2002
89	October 2002
97	September 2002
65	August 2002
41	July 2002
62	June 2002
90	May 2002
116	April 2002
5	March 2002
1	January 2002

Design

Zawodny | Right Menu | Left Menu

Your Own Design

Paste the URL of your CSS below. Download CSS template