00:36:37 -!- attila_lendvai1 [~attila_le@188-143-58-245.pool.digikabel.hu] has quit [Read error: Connection reset by peer] 00:37:50 attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has joined #sbcl 00:37:51 -!- attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has quit [Changing host] 00:37:51 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 00:38:56 kanru` [~user@199.195.142.182] has joined #sbcl 00:40:43 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Operation timed out] 01:10:48 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 01:17:15 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 251 seconds] 01:22:59 attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has joined #sbcl 01:23:00 -!- attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has quit [Changing host] 01:23:00 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 01:47:49 -!- kanru` [~user@199.195.142.182] has quit [Remote host closed the connection] 01:58:52 -!- TimKack [~user@c-2ec20125-74736162.cust.telenor.se] has quit [Remote host closed the connection] 02:00:10 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 02:58:44 gko [~gko@220.228.255.204] has joined #sbcl 04:51:40 kanru` [~user@199.195.142.182] has joined #sbcl 05:06:35 borkman` [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 05:07:19 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Read error: Connection reset by peer] 05:12:39 kwmiebach_ [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has joined #sbcl 05:16:37 -!- kwmiebach__ [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has quit [Ping timeout: 276 seconds] 05:30:33 tsuru``` [~charlie@adsl-98-87-48-222.bna.bellsouth.net] has joined #sbcl 05:32:09 -!- tsuru`` [~charlie@adsl-98-87-48-222.bna.bellsouth.net] has quit [Remote host closed the connection] 05:34:54 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 05:47:09 -!- christop` [~user@oteiza.siccegge.de] has quit [Remote host closed the connection] 06:17:44 sdemarre [~serge@91.176.167.230] has joined #sbcl 06:42:30 -!- sdemarre [~serge@91.176.167.230] has quit [Ping timeout: 260 seconds] 06:47:57 -!- Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has quit [Ping timeout: 265 seconds] 07:31:50 huangjs [~huangjs@190.8.100.83] has joined #sbcl 07:32:52 jdz [~jdz@193.206.22.97] has joined #sbcl 07:44:25 TimKack [~user@c-2ec214db-74736162.cust.telenor.se] has joined #sbcl 08:48:27 christoph_debian [~user@oteiza.siccegge.de] has joined #sbcl 08:48:59 siccegge [~user@davinci.siccegge.de] has joined #sbcl 08:57:58 kwmiebach [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has joined #sbcl 08:59:13 -!- kwmiebach_ [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has quit [Ping timeout: 245 seconds] 09:25:50 -!- kanru` [~user@199.195.142.182] has quit [Remote host closed the connection] 09:43:01 -!- homie [~levgue@xdsl-78-35-146-156.netcologne.de] has quit [Read error: Connection reset by peer] 09:43:39 homie [~levgue@xdsl-78-35-146-156.netcologne.de] has joined #sbcl 09:58:11 -!- homie [~levgue@xdsl-78-35-146-156.netcologne.de] has quit [Read error: Connection reset by peer] 10:01:10 homie [~levgue@xdsl-78-35-146-156.netcologne.de] has joined #sbcl 10:07:40 attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has joined #sbcl 10:07:40 -!- attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has quit [Changing host] 10:07:40 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:25:24 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: No route to host] 10:25:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:30:16 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 244 seconds] 10:41:22 attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has joined #sbcl 10:41:22 -!- attila_lendvai [~attila_le@188-143-58-245.pool.digikabel.hu] has quit [Changing host] 10:41:22 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:42:29 -!- gko [~gko@220.228.255.204] has quit [Ping timeout: 248 seconds] 11:21:06 homie` [~levgue@xdsl-78-35-178-143.netcologne.de] has joined #sbcl 11:22:47 -!- homie` [~levgue@xdsl-78-35-178-143.netcologne.de] has quit [Read error: Connection reset by peer] 11:23:54 -!- homie [~levgue@xdsl-78-35-146-156.netcologne.de] has quit [Ping timeout: 245 seconds] 11:27:04 homie [~levgue@xdsl-78-35-178-143.netcologne.de] has joined #sbcl 12:11:42 -!- Posterdati [~tapioca@host223-230-dynamic.16-87-r.retail.telecomitalia.it] has quit [Remote host closed the connection] 12:14:33 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 12:32:34 so, about #xFFFFFF80FFFFFF80 and logand, i see that strings are put before the code, why is #xFFFFFF80FFFFFF80 after the code? 12:33:01 stassats`: it's an inline constant. 12:33:17 the regular constant header can only contain boxed values 12:33:35 the trailing inline constant segment is arbitrary bits 12:34:14 can #xFFFFFF80FFFFFF80 be boxed? 12:34:39 stassats`: sure, as a bignum. 12:35:58 will it be boxed as #xFFFFFF80FFFFFF80, so that it won't need unboxing in the code? 12:37:15 stassats`: it's still an additional indirection. 12:37:52 boxed values: tagged pointers or pointer-sized immediates. 12:38:54 but can't it just know that the value will be after the tagged pointer and load it? 12:40:46 er, it won't be after the tagged pointer in general 12:40:49 why does the constant header need to be boxed? 12:40:54 because the GC scavenges it 12:41:28 can there be added a constant header which gc doesn't scavenge? 12:41:38 stassats`: yes, that's the inline constant segment. 12:42:07 pkhuong: which comes after the code behind NOPs? 12:42:11 stqright. 12:42:15 stassats`: even 12:42:23 (and right) 12:43:26 but couldn't it be moved before, that it won't need as much nops? or they are still present but just not shown in dissassembly when there's nothing in it? 12:44:14 gko [~gko@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 12:44:54 stassats`: *maybe*, but it'd be a pain in the assembler. 12:45:32 The constant vector is filled before VOP emissions; inline constants during. 12:45:41 -!- huangjs [~huangjs@190.8.100.83] has quit [Ping timeout: 248 seconds] 12:45:47 I don't really care about an extra 16 bytes, though. 12:47:20 it's 64 bytes 12:48:45 only becase speed = 3 12:48:57 (and space 1, iirc) 12:49:37 same thing with speed 1 12:50:15 stassats`: nope. 12:51:08 ah, I predicated the 64 bytes on speed > space. 12:52:45 -!- tsuru``` [~charlie@adsl-98-87-48-222.bna.bellsouth.net] has quit [Remote host closed the connection] 12:57:13 right 12:57:45 hm 12:57:47 strange 12:59:35 it still takes 64 bytes in my real code, but not in artificial code 13:00:49 stassats`: it doesn't make sense to ask for "the" policy for a code component. 13:01:10 If any node in the component has a high enough speed setting you'll get 64 bytes of padding. 13:01:49 right, my mem-ref-word wrapper has optimize speed 13:01:52 i should remove it 13:02:15 not that i really care about those 64 bytes either, but i was just curious 13:19:04 it would be good to teach the disassembler about piles of nops followed by binary gunk 13:20:15 plutoid [~pluto@58.39.164.31] has joined #sbcl 13:22:03 yeah 13:22:49 I think we can't do better than presenting them as raw bytes because I have some compression logic to detect redundant constants 13:23:34 well, to start with, teaching the disassembler how to annotate [RIP+xxx] with a comment saying what the real value is would be helpful 13:29:31 TimKack` [~user@c-2ec2290a-74736162.cust.telenor.se] has joined #sbcl 13:29:39 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:31:49 -!- TimKack [~user@c-2ec214db-74736162.cust.telenor.se] has quit [Read error: Operation timed out] 13:44:05 More disassembler fun-and-games? 13:44:33 Could you re-use the trace-table noise to hide the inline constants from the disassembler? 13:44:59 nyef: yes, I think we could. 13:45:11 someone would have to re-enable it. 13:45:25 On the other hand, I have a possible use for the trace-table noise myself, if I can scare up the time to work on it. 13:45:44 nyef: precise GC? (: 13:46:16 -!- borkman` is now known as borkman 13:47:00 table-based unwind. 13:47:04 -!- TimKack` [~user@c-2ec2290a-74736162.cust.telenor.se] has quit [Ping timeout: 252 seconds] 13:47:10 For precise GC, I'd rather split the register set. 13:59:30 -!- echo-area [~user@182.92.247.2] has quit [Read error: Connection reset by peer] 14:24:18 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 14:25:36 edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 14:36:05 nikodemus [~nikodemus@cs27123025.pp.htv.fi] has joined #sbcl 14:36:05 -!- ChanServ has set mode +o nikodemus 14:38:54 Posterdati [~tapioca@host223-230-dynamic.16-87-r.retail.telecomitalia.it] has joined #sbcl 14:52:44 TimKack`` [~user@c-2ec2bbfa-74736162.cust.telenor.se] has joined #sbcl 14:55:15 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Byebye.] 15:02:15 -!- TimKack`` [~user@c-2ec2bbfa-74736162.cust.telenor.se] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 15:03:42 TimKack [~user@c-2ec2bbfa-74736162.cust.telenor.se] has joined #sbcl 15:25:22 jdz [~jdz@host167-111-dynamic.9-87-r.retail.telecomitalia.it] has joined #sbcl 15:26:18 -!- slyrus__ [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 245 seconds] 15:40:31 slyrus_ [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has joined #sbcl 16:06:06 -!- nikodemus [~nikodemus@cs27123025.pp.htv.fi] has quit [Ping timeout: 244 seconds] 16:13:35 -!- gko [~gko@114-34-168-13.HINET-IP.hinet.net] has quit [] 16:15:20 nikodemus [~nikodemus@178-55-57-180.bb.dnainternet.fi] has joined #sbcl 16:15:20 -!- ChanServ has set mode +o nikodemus 16:16:47 TimKack` [~user@c-2ec2972d-74736162.cust.telenor.se] has joined #sbcl 16:18:19 -!- TimKack [~user@c-2ec2bbfa-74736162.cust.telenor.se] has quit [Read error: Operation timed out] 16:21:41 -!- plutoid [~pluto@58.39.164.31] has quit [Quit: Leaving] 16:38:21 yay. more SLIME fun with bogus locking behavior. 16:43:39 yeah 16:43:58 i just sputtedred at helmut's change 16:44:01 AARGHS 16:46:15 I wish the correctness:pedanticness:pedantry ratio were higher 16:46:27 umm... correctness:pedantry 16:46:39 forgot to delete a word there. some correct pedant I am. 16:48:38 loke [~elias@bb115-66-85-121.singnet.com.sg] has joined #sbcl 16:50:25 i have no idea why he figured that was a good idea 16:51:04 i even explicitly said in a comment that that won't work except sometimes, by accident -- and that comment is right above the site he changed 16:51:47 *nikodemus* is tired 16:52:53 and brew opencv can't find png.h. nothing works today, it seems 16:53:16 nikodemus: do you have a comment on this https://bugs.launchpad.net/sbcl/+bug/997729 ? 16:55:53 stassats`: aside from the comment in the commit message, no -- quite possibly i goofed up somehow 16:56:27 it rings a bell, and i remember struggling to get the phasing of the transforms right, but i can't remember any of the details 16:56:35 Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has joined #sbcl 16:59:54 stassats`: iirc one of the issues is that an inline expansion trumps deftransforms 17:00:00 kwmiebach_ [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has joined #sbcl 17:00:30 -!- nikodemus [~nikodemus@178-55-57-180.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 17:02:33 -!- kwmiebach [~kwmiebach@164-177-155-66.static.cloud-ips.co.uk] has quit [Ping timeout: 245 seconds] 17:02:50 either of the two options: revert it back, then remove inline expansion and make the final deftransform not restrict its types. another option is just to remove the final deftransforms 17:03:25 final deftransforms, as in the ones in float-tran, the most generic ones 17:04:21 and maybe add policy speed > space or something for them 17:07:01 -!- slyrus_ [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 260 seconds] 17:07:22 i should try it and see how it plays out 17:08:15 and i hope Xach doesn't include this slime or the bug is fixed before that 17:13:00 sdemarre [~serge@91.176.167.230] has joined #sbcl 17:34:58 huangjs [~huangjs@190.8.100.83] has joined #sbcl 18:07:33 antgreen [~user@70.50.67.25] has joined #sbcl 18:28:02 -!- homie [~levgue@xdsl-78-35-178-143.netcologne.de] has quit [Read error: Connection reset by peer] 18:28:41 homie [~levgue@xdsl-78-35-178-143.netcologne.de] has joined #sbcl 18:41:38 -!- antgreen [~user@70.50.67.25] has quit [Read error: Connection reset by peer] 19:17:34 slyrus_ [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 19:54:23 -!- jdz [~jdz@host167-111-dynamic.9-87-r.retail.telecomitalia.it] has quit [Quit: Byebye.] 20:10:35 -!- minion [~minion@pppoe.178-66-71-10.dynamic.avangarddsl.ru] has quit [Disconnected by services] 20:10:37 minion [~minion@pppoe.178-66-22-152.dynamic.avangarddsl.ru] has joined #sbcl 20:10:38 -!- specbot [~specbot@pppoe.178-66-71-10.dynamic.avangarddsl.ru] has quit [Disconnected by services] 20:10:41 specbot [~specbot@pppoe.178-66-22-152.dynamic.avangarddsl.ru] has joined #sbcl 20:13:41 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 248 seconds] 20:13:46 stassats [~stassats@wikipedia/stassats] has joined #sbcl 20:21:12 -!- homie [~levgue@xdsl-78-35-178-143.netcologne.de] has quit [Read error: Connection reset by peer] 20:21:50 homie [~levgue@xdsl-78-35-178-143.netcologne.de] has joined #sbcl 20:37:32 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 272 seconds] 21:47:02 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:00:44 -!- edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:43:48 -!- |42|`` is now known as |42| 22:46:49 -!- slyrus_ [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 245 seconds] 23:30:53 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 23:36:36 homie` [~levgue@xdsl-78-35-161-187.netcologne.de] has joined #sbcl 23:39:56 -!- homie [~levgue@xdsl-78-35-178-143.netcologne.de] has quit [Ping timeout: 272 seconds] 23:59:05 -!- sdemarre [~serge@91.176.167.230] has quit [Ping timeout: 260 seconds]