00:04:16 gz_ [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 00:49:33 billstclair [~billstcla@unaffiliated/billstclair] has joined #ccl 01:32:26 -!- gz_ [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: gz_] 01:52:36 -!- rme [~rme@pool-68-238-8-157.chi.dsl-w.verizon.net] has quit [Quit: rme] 03:02:27 bfulgham_ [~brent@adsl-69-234-103-230.dsl.irvnca.pacbell.net] has joined #ccl 03:03:26 bfulgham__ [~brent@adsl-69-234-103-230.dsl.irvnca.pacbell.net] has joined #ccl 03:03:26 -!- bfulgham_ [~brent@adsl-69-234-103-230.dsl.irvnca.pacbell.net] has quit [Read error: Connection reset by peer] 04:48:48 -!- bfulgham__ [~brent@adsl-69-234-103-230.dsl.irvnca.pacbell.net] has quit [Quit: bfulgham__] 04:54:38 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 05:35:20 -!- milanj [~milanj_@212-200-217-108.dynamic.isp.telekom.rs] has quit [Ping timeout: 255 seconds] 05:39:41 -!- roffe [~roffe@adsl-149-197.romerikebb.no] has quit [Quit: roffe] 05:40:08 milanj [~milanj_@79-101-76-117.dynamic.isp.telekom.rs] has joined #ccl 05:49:32 roffe [~roffe@adsl-149-197.romerikebb.no] has joined #ccl 06:00:47 -!- roffe [~roffe@adsl-149-197.romerikebb.no] has quit [Quit: roffe] 06:11:55 -!- milanj [~milanj_@79-101-76-117.dynamic.isp.telekom.rs] has quit [Ping timeout: 240 seconds] 06:14:41 roffe [~roffe@adsl-149-197.romerikebb.no] has joined #ccl 06:48:34 -!- Intensity [afhZicixf8@unaffiliated/intensity] has quit [Quit: Intensity] 06:50:05 -!- sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Ping timeout: 276 seconds] 06:51:46 Intensity [ygCW7iB8QD@unaffiliated/intensity] has joined #ccl 06:55:09 sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has joined #ccl 07:02:31 jdz [~jdz@193.206.22.97] has joined #ccl 07:41:52 Adlai [~Adlai@unaffiliated/adlai] has joined #ccl 08:09:41 does ASDF work for you in current revision (14300)? 08:10:13 for me, just after requiring asdf, ASDF:FIND-SYSTEM is not fbound 08:11:37 i don't quite see how it is even possible 09:46:54 leo2007 [~leo@cpc1-cmbg13-0-0-cust596.5-4.cable.virginmedia.com] has joined #ccl 12:00:22 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #ccl 12:28:22 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 13:21:04 jajcloz [~jaj@pool-108-7-68-199.bstnma.fios.verizon.net] has joined #ccl 13:40:55 cvandusen [~user@68-90-30-246.ded.swbell.net] has joined #ccl 14:26:16 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #ccl 14:33:59 rme [~rme@pool-68-238-8-157.chi.dsl-w.verizon.net] has joined #ccl 14:34:01 milanj [~milanj_@79-101-76-117.dynamic.isp.telekom.rs] has joined #ccl 15:11:37 tfb [~tfb@92.40.47.126.sub.mbb.three.co.uk] has joined #ccl 15:16:36 gz_ [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 15:16:55 -!- gz_ [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Client Quit] 15:20:10 gz_ [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 16:02:35 -!- deepfire [~deepfire@80.92.100.69] has quit [Ping timeout: 276 seconds] 16:04:14 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Leaving] 17:32:37 -!- gz [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [] 17:32:38 -!- gz_ is now known as gz 17:32:38 -!- gz [gz@clozure-93943513.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: ] 17:52:19 -!- tfb [~tfb@92.40.47.126.sub.mbb.three.co.uk] has quit [Ping timeout: 240 seconds] 17:52:35 gz` [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 17:53:04 -!- gz` [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Client Quit] 18:04:22 gz` [~gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 18:31:24 ivan4th [~ivan4th@smtp.igrade.ru] has joined #ccl 18:36:36 hi. trying to debug ARM LOGXOR/LOGIOR/LOGAND compilation problem... Am I right that arm2-two-untargeted-reg-forms and its buddies for other CPUs assume that if the second form doesn't set the first var than it cannot change the target register of the first form? 18:37:31 seems like if the second form gives unbox-u32 vinsn it may corrupt the register targeted by the first form by allocating it as a temp 18:37:58 non-ARM platforms don't seem to use temp registers for such unboxing 18:45:33 -!- leo2007 [~leo@cpc1-cmbg13-0-0-cust596.5-4.cable.virginmedia.com] has quit [Ping timeout: 245 seconds] 18:49:19 err, ppc (at least 32-bit) seems to use temps too... still, one of the targeted registers may be reused as temp on ARM an thus corrupted 18:50:36 I've screwed up logand/logior in the recent past. Are your sources at r14235 or newer? 18:55:17 14293 18:55:59 the test case is (defun abra2 (x y) (declare (type (unsigned-byte 32) x)) (declare (type (unsigned-byte 32) y)) (logand x y)) 18:57:28 if you fix (defarm2 arm2-%natural-logand ...) in arm2.lisp so that it doesn't break due to arm::encode-arm-immediate returning nil, the function is still miscompiled 18:57:56 e.g. (abra2 #xffffffff #xaa) may return zero 18:58:24 if you disassemble it it's because second unbox-u32 destroys the result of the first one 18:58:56 if you make aconst always nil in arm2-two-targeted-reg-forms, this fixes the issue 18:59:25 but perhaps marking the areg as allocated after processing the first form is better 18:59:57 perhaps this issue is also with other arm2*-reg-forms stuff 19:00:24 natural logxor/logior is broken in similar way plus it tries to pass extra hi/lo args to vinsns 19:07:11 also, the logxor breaker: (defstruct crc32 (crc #xffffffff :type (unsigned-byte 32))) (defun produce-crc32 (state) (logxor #xffffffff (crc32-crc state))) 19:08:49 produce-crc32 fails to compile. sorry for not filing the ticket in trac yet & not using lisppaste, I to go home now 19:09:09 s/I to go/I need to go/ 19:09:15 Thanks. Good catch on these; I will look later, or gbyers will. 19:32:25 -!- cvandusen [~user@68-90-30-246.ded.swbell.net] has quit [Quit: quit] 19:32:50 ivan4th: I suspect that that's a bug on PPC as well, but it's probably easier to provoke on ARM because there are fewer temps and they're allocated in a different order. 20:04:12 -!- bfulgham is now known as bfulgham|lunch 20:17:15 leo2007 [~leo@cpc1-cmbg13-0-0-cust596.5-4.cable.virginmedia.com] has joined #ccl 20:38:22 -!- bfulgham|lunch is now known as bfulgham 20:41:23 -!- leo2007 [~leo@cpc1-cmbg13-0-0-cust596.5-4.cable.virginmedia.com] has quit [Ping timeout: 245 seconds] 20:54:44 -!- rme [rme@clozure-8CF49F87.chi.dsl-w.verizon.net] has quit [Ping timeout] 20:55:58 -!- rme [~rme@pool-68-238-8-157.chi.dsl-w.verizon.net] has quit [Ping timeout: 245 seconds] 21:02:35 rme [~rme@pool-70-106-142-111.chi01.dsl-w.verizon.net] has joined #ccl 22:18:22 -!- derrida [~derrida@unaffiliated/deleuze] has quit [Read error: Connection reset by peer] 23:02:51 -!- milanj [~milanj_@79-101-76-117.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 23:48:15 -!- jajcloz [~jaj@pool-108-7-68-199.bstnma.fios.verizon.net] has quit [Quit: jajcloz]