00:00:46 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [Ping timeout: 244 seconds] 00:14:31 -!- Fare [fare@nat/google/x-dvlxsywaiaelbagd] has quit [Read error: Operation timed out] 00:16:46 -!- kanru` [~user@61-228-152-219.dynamic.hinet.net] has quit [Ping timeout: 265 seconds] 00:26:19 -!- tsuru` [~charlie@adsl-74-179-31-173.bna.bellsouth.net] has quit [Remote host closed the connection] 00:53:47 mrpat [~mrpat@c-71-60-133-203.hsd1.pa.comcast.net] has joined #sbcl 01:02:05 prxq_ [~mommer@mnhm-5f75dde8.pool.mediaWays.net] has joined #sbcl 01:04:00 -!- prxq [~mommer@mnhm-590c01ad.pool.mediaWays.net] has quit [Read error: Operation timed out] 03:48:24 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 04:21:00 -!- homie [~levgue@xdsl-78-35-146-201.netcologne.de] has quit [Read error: Operation timed out] 04:24:13 -!- wbooze [~wbooze@xdsl-78-35-146-201.netcologne.de] has quit [Ping timeout: 265 seconds] 04:31:43 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 04:35:34 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 245 seconds] 04:59:21 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Quit: Leaving] 06:57:13 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 06:59:31 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 07:38:58 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 07:44:11 huangjs [~huangjs@190.8.100.83] has joined #sbcl 07:50:38 homie [~levgue@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 07:52:24 wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 08:02:23 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 08:26:59 -!- whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has quit [Ping timeout: 272 seconds] 08:27:38 whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has joined #sbcl 08:31:21 -!- homie [~levgue@xdsl-78-35-133-203.netcologne.de] has quit [Ping timeout: 252 seconds] 08:33:51 -!- wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has quit [Quit: Bye] 08:33:54 homie [~levgue@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 08:35:19 -!- homie [~levgue@xdsl-78-35-133-203.netcologne.de] has quit [Read error: Connection reset by peer] 08:39:15 homie [~levgue@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 08:42:08 wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 09:25:44 -!- Phooodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has quit [Ping timeout: 256 seconds] 10:12:11 -!- Neronus_ [christian@heraklit.ayous.org] has quit [Ping timeout: 252 seconds] 10:12:18 Neronus [christian@heraklit.ayous.org] has joined #sbcl 10:17:14 -!- homie [~levgue@xdsl-78-35-133-203.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 10:17:27 -!- wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has quit [Quit: Bye] 10:19:22 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 10:27:40 stassats [~stassats@wikipedia/stassats] has joined #sbcl 10:29:51 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 10:40:55 wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 11:02:40 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Read error: Connection reset by peer] 11:19:37 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 11:20:23 -!- wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has quit [Quit: Bye] 11:21:17 wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 11:21:32 Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has joined #sbcl 11:26:29 -!- stassats [~stassats@wikipedia/stassats] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 11:41:09 homie [~levgue@xdsl-78-35-133-203.netcologne.de] has joined #sbcl 12:06:42 -!- DGASAU [~user@91.218.144.129] has quit [Remote host closed the connection] 12:31:03 minion: memo for leuler: +1 12:31:03 Remembered. I'll tell leuler when he/she/it next speaks. 12:40:30 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 12:59:09 -!- prxq_ is now known as prxq 12:59:40 leuler [~user@p54903AE3.dip.t-dialin.net] has joined #sbcl 13:01:59 minion: You have a memo for me? 13:01:59 leuler: what's up? 13:01:59 leuler, memo from pkhuong: +1 13:02:29 pkhuong: "+1" to what? 13:02:51 leuler: the last patches (: 13:03:59 Thank you! 13:11:47 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 13:22:29 -!- profmakx [~profmakx@unaffiliated/profmakx] has left #sbcl 14:00:38 DGASAU [~user@91.218.144.129] has joined #sbcl 14:11:30 pkhuong: I have another micro-optimization for x86-64: To avoid partial register writes modify LOAD-TYPE to use movzx instead of a byte move. This affects the VOPs FUN-SUBTYPE, SET-FDEFN-FUN and WIDETAG-OF. 14:11:34 There were so many discussions recently about possible changes to widetag usage that I lost track. Am I safe to commit this or is it obsolete or would it hurt other plans? 14:12:32 I can't think of changes to the widetag scheme on x64. 14:12:54 do we actually read from the full register after byte loads? 14:13:12 IIRC, working with rXb is fine. 14:32:14 Re: Reading from the full register after byte loads: No, we don't, at least in these VOPs. So the desire for this change arises only on AMD, where writing a byte register has a dependency on the most recent write to any part or all of the register. This is what I intend to break. 14:36:47 -!- asedeno_work [~asedeno@74.125.59.113] has quit [Remote host closed the connection] 14:36:49 k. 14:39:41 The change should at least not hurt on Intel. Besides, this spares a temporary register in FUN-SUBTYPE and makes all paths through WIDETAG-OF shorter by one instruction. 14:42:00 good stuff then. 14:42:53 asedeno_work [~asedeno@74.125.59.113] has joined #sbcl 14:43:16 OK. 14:43:37 froydnj [~nfroyd@people1.scl3.mozilla.com] has joined #sbcl 14:45:18 -!- loke [~elias@bb115-66-85-121.singnet.com.sg] has quit [Ping timeout: 244 seconds] 14:49:25 milanj [~milanj_@93-86-23-225.dynamic.isp.telekom.rs] has joined #sbcl 14:57:20 fvides [~quassel@56.165.216.87.static.jazztel.es] has joined #sbcl 14:59:38 Next question: x86-64 still uses, inherited from x86, twice the register number as its tn-offset (which is needed on x86 to have ax overlap al and ah). This can be changed on x86-64 (to use the register number as is) which simplifies reg-tn-encoding and some other places. 14:59:59 Shall I do that? The only disadvantage I see is that the differences to x86 become larger - which I personally think is unimportant. 15:09:52 It'll be consistent within x86-64 and x32 at least. :) 15:11:41 foom: You are writing an x32 backend? 15:13:41 leuler: nope. it'd be pretty useless to me, since my project uses > 4GB of memory. 15:14:47 But other people might find it a nice thing to have at some point. 15:15:12 kanru` [~user@61-228-152-219.dynamic.hinet.net] has joined #sbcl 15:23:47 ISTR that sbcl's x86-64 code can't deal with {a,b,c,d}h atm; don't know whether it's worth fixing that or renumbering the registers 15:28:52 froydnj: I believe nobody wants to use ah etc. on x86-64 as that would make code generation much more difficult: ah etc. are accessible only if no rex prefix is there, otherwise the encoding means spl etc. 15:30:29 I've used ah for crypto assembly work, but I agree that those registers are not generally useful 15:52:53 edgar-rft [~me@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 15:54:17 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 16:28:41 -!- leuler [~user@p54903AE3.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 16:30:06 stassats [~stassats@wikipedia/stassats] has joined #sbcl 16:36:42 -!- kanru` [~user@61-228-152-219.dynamic.hinet.net] has quit [Ping timeout: 252 seconds] 16:41:37 yeah, lots of pain with trying to use high halves 17:15:08 -!- wbooze [~wbooze@xdsl-78-35-133-203.netcologne.de] has quit [Ping timeout: 240 seconds] 17:17:31 -!- homie [~levgue@xdsl-78-35-133-203.netcologne.de] has quit [Ping timeout: 252 seconds] 17:33:59 wbooze [~wbooze@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 17:37:38 homie [~levgue@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 17:44:36 antgreen [user@nat/redhat/x-wodoylhpienzltfo] has joined #sbcl 17:50:26 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 265 seconds] 18:29:04 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 18:33:28 -!- homie [~levgue@xdsl-78-35-186-31.netcologne.de] has quit [Read error: Connection reset by peer] 18:34:07 homie [~levgue@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 18:34:45 -!- homie [~levgue@xdsl-78-35-186-31.netcologne.de] has quit [Read error: Connection reset by peer] 18:37:18 homie [~levgue@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 18:47:26 slyrus_ [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 18:51:43 -!- whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has quit [Ping timeout: 264 seconds] 18:52:04 -!- homie [~levgue@xdsl-78-35-186-31.netcologne.de] has quit [Read error: Connection reset by peer] 18:52:43 homie [~levgue@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 18:53:49 whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has joined #sbcl 18:55:10 -!- homie [~levgue@xdsl-78-35-186-31.netcologne.de] has quit [Write error: Connection reset by peer] 18:55:37 -!- wbooze [~wbooze@xdsl-78-35-186-31.netcologne.de] has quit [Quit: Bye] 18:57:24 homie [~levgue@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 18:58:28 wbooze [~wbooze@xdsl-78-35-186-31.netcologne.de] has joined #sbcl 19:09:38 -!- whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has quit [Ping timeout: 245 seconds] 19:10:47 whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has joined #sbcl 20:39:40 -!- edgar-rft [~me@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: Supernova explosion] 20:49:54 -!- fvides [~quassel@56.165.216.87.static.jazztel.es] has quit [Ping timeout: 246 seconds] 21:06:02 -!- milanj [~milanj_@93-86-23-225.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 21:13:38 -!- antgreen [user@nat/redhat/x-wodoylhpienzltfo] has quit [Remote host closed the connection] 21:21:26 kwmiebach [~kwmiebach@xdsl-87-78-54-165.netcologne.de] has joined #sbcl 21:35:33 it seems that when a function is "varargs", then its source-location is difficult to find. 21:35:53 unless it has been compiled with high debug settings 21:36:51 prxq: those get compiled differently, with a wrapper that does argument parsing and then jumps in the actual function. 21:37:20 fair enough 21:37:40 it's slightly uncomfortable, though 21:37:58 just always compile with debug 2 21:38:06 that sucks 21:38:15 how so? 21:38:37 well, it makes debugging a lot less pleasant 21:38:56 making everything (debug 2) also seems excessive 21:39:24 i don't get it, you either want debugging or not 21:40:56 prxq: debug 2 really isn't that bad. You get source locations and argument/local variables values. 21:40:58 frankly, finding the function should not require any debugging level. If it is in the backtrace, the function should be findable. That holds for all functions that do not have &key or something 21:41:39 i understand your complaints, is it that hard to restrict debug to 2? 21:41:44 pkhuong: no performance penalty? 21:42:15 just put (sb-ext:restrict-compiler-policy 'debug 2) into your .sbclrc and be done with it 21:44:17 prxq: just space. see http://www.sbcl.org/manual/Debugger-Policy-Control.html#Debugger-Policy-Control 21:44:36 stassats: well, i am trying to convince people to use this stuff, and out of the box it gives people an impression of brokenness that i think is unnecessary. You have to add obscure options to files just so that it doesn't give random errors. 21:44:50 find less vain people? 21:45:13 stassats: well, so you don't care. Fair enough then. 21:45:23 prxq: they must find gcc mads broken as well ;) 21:45:43 prxq: i don't see a problem to care about 21:46:04 stassats: then feel free to tune out 21:46:21 well, whatever. 21:47:07 well, that's a nice suggestion, "hey, sbcl devs, feel free to tune out if you don't like my complaints" 21:47:17 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 246 seconds] 21:47:28 well, then feel free to insult me if it makes you feel better. 21:47:50 "find less vain people" is really assholdom 21:53:04 -!- prxq [~mommer@mnhm-5f75dde8.pool.mediaWays.net] has quit [Quit: Leaving] 21:54:39 -!- ivan`` [~ivan@unaffiliated/ivan/x-000001] has quit [Ping timeout: 244 seconds] 21:57:22 ivan`` [~ivan@unaffiliated/ivan/x-000001] has joined #sbcl 22:06:09 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:57:38 kwmiebach_ [~kwmiebach@xdsl-87-79-44-189.netcologne.de] has joined #sbcl 23:01:05 -!- kwmiebach [~kwmiebach@xdsl-87-78-54-165.netcologne.de] has quit [Ping timeout: 260 seconds] 23:13:35 -!- slyrus_ [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 244 seconds] 23:19:49 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 23:54:31 kanru` [~user@61-228-152-219.dynamic.hinet.net] has joined #sbcl