00:00:46 -!- cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has quit [Ping timeout: 276 seconds] 02:27:05 -!- mega1 [~user@fw1.franz.com] has quit [Ping timeout: 240 seconds] 02:43:57 tank_ [~spmcnamar@75.21.87.212] has joined #sbcl 02:44:43 homie` [~levgue@xdsl-78-35-183-141.netcologne.de] has joined #sbcl 02:45:23 -!- tank_ [~spmcnamar@75.21.87.212] has quit [Client Quit] 02:47:10 -!- homie [~levgue@xdsl-78-35-146-183.netcologne.de] has quit [Ping timeout: 250 seconds] 02:49:26 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 03:02:22 tank_ [~spmcnamar@adsl-75-21-87-212.dsl.chcgil.sbcglobal.net] has joined #sbcl 03:02:50 -!- tank_ is now known as tank_9 03:35:54 Fare [~Fare@206.83.64.178.ptr.us.xo.net] has joined #sbcl 04:04:10 -!- Fare [~Fare@206.83.64.178.ptr.us.xo.net] has quit [Ping timeout: 246 seconds] 04:19:24 Fare [~Fare@206.83.64.178.ptr.us.xo.net] has joined #sbcl 04:42:57 -!- Fare [~Fare@206.83.64.178.ptr.us.xo.net] has quit [Quit: Leaving] 05:17:37 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 05:50:34 cmm [~cmm@109.65.203.181] has joined #sbcl 05:52:21 snafuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has joined #sbcl 05:52:56 -!- antifuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has quit [Quit: ZNC - http://znc.sourceforge.net] 05:52:57 -!- clop [~jared@moat3.centtech.com] has quit [Ping timeout: 246 seconds] 05:53:02 -!- snafuchs is now known as antifuchs 06:05:09 clop [~jared@moat3.centtech.com] has joined #sbcl 06:07:16 Krystof [~csr21@217-162-131-235.dynamic.hispeed.ch] has joined #sbcl 06:07:16 -!- ChanServ has set mode +o Krystof 06:19:35 flip214 [~marek@86.59.100.100] has joined #sbcl 06:19:35 -!- flip214 [~marek@86.59.100.100] has quit [Changing host] 06:19:35 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 06:36:38 tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has joined #sbcl 06:39:56 -!- Krystof [~csr21@217-162-131-235.dynamic.hispeed.ch] has quit [Ping timeout: 246 seconds] 07:40:54 gor[e] [~svr@gw1.masterhost.ru] has joined #sbcl 08:11:31 -!- tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has quit [Quit: Leaving.] 08:18:26 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 08:37:53 -!- mtd [~martin@chop.xades.com] has quit [*.net *.split] 08:37:54 -!- lnostdal [~Lars@213.80-202-59.nextgentel.com] has quit [*.net *.split] 08:37:56 -!- loke [~elias@bb119-74-213-61.singnet.com.sg] has quit [*.net *.split] 08:37:57 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 08:37:57 -!- kaek [~b@c-c3cae253.97-16-64736c12.cust.bredbandsbolaget.se] has quit [*.net *.split] 08:37:57 -!- jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has quit [*.net *.split] 08:37:58 -!- slyrus [~slyrus@adsl-76-254-45-145.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 08:38:00 -!- minion [~minion@common-lisp.net] has quit [*.net *.split] 08:38:01 -!- fe[nl]ix [~lacedaemo@pdpc/supporter/professional/fenlix] has quit [*.net *.split] 08:38:01 -!- ASau [~user@95-24-140-205.broadband.corbina.ru] has quit [*.net *.split] 08:38:03 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 08:38:03 -!- foom [~jknight@ita4fw1.itasoftware.com] has quit [*.net *.split] 08:38:04 -!- gor[e] [~svr@gw1.masterhost.ru] has quit [*.net *.split] 08:38:06 -!- Neronus [christian@heraklit.ayous.org] has quit [*.net *.split] 08:38:06 -!- flip214 [~marek@unaffiliated/flip214] has quit [*.net *.split] 08:38:06 -!- clop [~jared@moat3.centtech.com] has quit [*.net *.split] 08:38:06 -!- antifuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has quit [*.net *.split] 08:38:06 -!- cmm [~cmm@109.65.203.181] has quit [*.net *.split] 08:38:08 -!- jsnell_ [~jsnell@ash.snellman.net] has quit [*.net *.split] 08:38:09 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [*.net *.split] 08:38:11 -!- homie` [~levgue@xdsl-78-35-183-141.netcologne.de] has quit [*.net *.split] 08:38:11 -!- slyrus_ [~chatzilla@adsl-76-254-45-145.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 08:38:11 -!- danlentz [~danlentz@c-68-46-98-23.hsd1.nj.comcast.net] has quit [*.net *.split] 08:38:12 -!- deepfire__ [~deepfire@80.92.100.69] has quit [*.net *.split] 08:38:15 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 08:38:16 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [*.net *.split] 08:38:17 -!- stassats` [~stassats@wikipedia/stassats] has quit [*.net *.split] 08:38:17 -!- tank_9 [~spmcnamar@adsl-75-21-87-212.dsl.chcgil.sbcglobal.net] has quit [*.net *.split] 08:38:19 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 08:38:20 -!- mon_key [~user@unaffiliated/monkey/x-267253] has quit [*.net *.split] 08:38:23 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 08:38:24 -!- derrotebaron [johannes@static.7.69.47.78.clients.your-server.de] has quit [*.net *.split] 08:45:16 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 08:45:17 gor[e] [~svr@gw1.masterhost.ru] has joined #sbcl 08:45:17 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 08:45:17 clop [~jared@moat3.centtech.com] has joined #sbcl 08:45:17 antifuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has joined #sbcl 08:45:17 cmm [~cmm@109.65.203.181] has joined #sbcl 08:45:17 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 08:45:17 tank_9 [~spmcnamar@adsl-75-21-87-212.dsl.chcgil.sbcglobal.net] has joined #sbcl 08:45:17 homie` [~levgue@xdsl-78-35-183-141.netcologne.de] has joined #sbcl 08:45:17 derrotebaron [johannes@static.7.69.47.78.clients.your-server.de] has joined #sbcl 08:45:17 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 08:45:17 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 08:45:17 mon_key [~user@unaffiliated/monkey/x-267253] has joined #sbcl 08:45:17 slyrus_ [~chatzilla@adsl-76-254-45-145.dsl.pltn13.sbcglobal.net] has joined #sbcl 08:45:17 kaek [~b@c-c3cae253.97-16-64736c12.cust.bredbandsbolaget.se] has joined #sbcl 08:45:17 jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has joined #sbcl 08:45:17 fe[nl]ix [~lacedaemo@pdpc/supporter/professional/fenlix] has joined #sbcl 08:45:17 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #sbcl 08:45:17 danlentz [~danlentz@c-68-46-98-23.hsd1.nj.comcast.net] has joined #sbcl 08:45:17 lnostdal [~Lars@213.80-202-59.nextgentel.com] has joined #sbcl 08:45:17 mtd [~martin@chop.xades.com] has joined #sbcl 08:45:17 deepfire__ [~deepfire@80.92.100.69] has joined #sbcl 08:45:17 ASau [~user@95-24-140-205.broadband.corbina.ru] has joined #sbcl 08:45:17 loke [~elias@bb119-74-213-61.singnet.com.sg] has joined #sbcl 08:45:17 slyrus [~slyrus@adsl-76-254-45-145.dsl.pltn13.sbcglobal.net] has joined #sbcl 08:45:17 joshe [~joshe@opal.elsasser.org] has joined #sbcl 08:45:17 jsnell_ [~jsnell@ash.snellman.net] has joined #sbcl 08:45:17 peddie [~peddie@XVM-107.MIT.EDU] has joined #sbcl 08:45:17 luis [~luis@nhop.r42.eu] has joined #sbcl 08:45:17 minion [~minion@common-lisp.net] has joined #sbcl 08:45:17 Neronus [christian@heraklit.ayous.org] has joined #sbcl 08:45:17 foom [~jknight@ita4fw1.itasoftware.com] has joined #sbcl 08:52:56 Krystof [~csr21@217-162-207-164.dynamic.hispeed.ch] has joined #sbcl 08:52:57 -!- ChanServ has set mode +o Krystof 08:57:21 -!- mon_key [~user@unaffiliated/monkey/x-267253] has quit [*.net *.split] 09:00:21 mon_key [~user@unaffiliated/monkey/x-267253] has joined #sbcl 09:03:12 tcr1 [~tcr@217-162-207-164.dynamic.hispeed.ch] has joined #sbcl 09:10:23 echo-area [~user@123.120.236.1] has joined #sbcl 09:53:23 tank_ [~spmcnamar@75.21.87.212] has joined #sbcl 09:53:24 -!- tank_9 [~spmcnamar@adsl-75-21-87-212.dsl.chcgil.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:15:07 hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has joined #sbcl 10:19:33 -!- cmm [~cmm@109.65.203.181] has quit [Ping timeout: 250 seconds] 10:20:28 cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has joined #sbcl 10:43:22 -!- homie` [~levgue@xdsl-78-35-183-141.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 10:52:21 homie [~levgue@xdsl-78-35-183-141.netcologne.de] has joined #sbcl 11:08:33 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 11:08:33 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Changing host] 11:08:33 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:20:40 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [Ping timeout: 250 seconds] 11:21:15 -!- christop` [~user@oteiza.siccegge.de] has quit [Read error: Operation timed out] 11:21:16 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Read error: Operation timed out] 11:21:35 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 11:23:06 peddie [~peddie@XVM-107.MIT.EDU] has joined #sbcl 11:24:36 christoph_debia` [~user@oteiza.siccegge.de] has joined #sbcl 11:29:21 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 11:59:29 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 12:01:41 -!- homie [~levgue@xdsl-78-35-183-141.netcologne.de] has quit [Read error: Connection reset by peer] 12:11:22 -!- hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has quit [Quit: Leaving...] 12:32:31 homie [~levgue@xdsl-78-35-183-141.netcologne.de] has joined #sbcl 12:36:44 superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has joined #sbcl 12:37:58 -!- echo-area [~user@123.120.236.1] has quit [Remote host closed the connection] 12:39:51 -!- Krystof [~csr21@217-162-207-164.dynamic.hispeed.ch] has quit [Remote host closed the connection] 12:42:59 sellout [~Adium@64.134.103.216] has joined #sbcl 12:51:37 -!- superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has quit [Ping timeout: 252 seconds] 13:30:50 tsuru [~charlie@adsl-87-46-56.bna.bellsouth.net] has joined #sbcl 13:44:17 -!- flip214 [~marek@unaffiliated/flip214] has quit [Remote host closed the connection] 13:54:49 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:11:29 -!- deepfire__ [~deepfire@80.92.100.69] has quit [Ping timeout: 240 seconds] 14:16:54 -!- cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has quit [Quit: leaving] 14:17:33 cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has joined #sbcl 14:18:53 -!- sellout [~Adium@64.134.103.216] has quit [Quit: Leaving.] 14:22:11 -!- cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has quit [Ping timeout: 252 seconds] 14:22:57 cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has joined #sbcl 14:30:04 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 14:32:58 sellout [~Adium@c-24-61-13-161.hsd1.ma.comcast.net] has joined #sbcl 15:05:05 -!- cmm [~cmm@bzq-109-65-203-181.red.bezeqint.net] has quit [Ping timeout: 252 seconds] 15:05:26 cmm [~cmm@109.65.203.181] has joined #sbcl 15:17:13 -!- homie [~levgue@xdsl-78-35-183-141.netcologne.de] has quit [Read error: Connection reset by peer] 15:18:14 homie [~levgue@xdsl-78-35-186-224.netcologne.de] has joined #sbcl 15:22:00 -!- homie [~levgue@xdsl-78-35-186-224.netcologne.de] has quit [Client Quit] 15:24:29 homie [~levgue@xdsl-78-35-186-224.netcologne.de] has joined #sbcl 15:58:50 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #sbcl 16:09:28 deepfire__ [~deepfire@80.92.100.69] has joined #sbcl 16:14:27 -!- antifuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has quit [Ping timeout: 250 seconds] 16:14:33 antifuchs [~foobar@ec2-184-73-244-158.compute-1.amazonaws.com] has joined #sbcl 16:15:22 -!- clop [~jared@moat3.centtech.com] has quit [Ping timeout: 250 seconds] 16:16:52 clop [~jared@moat3.centtech.com] has joined #sbcl 16:25:42 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 16:33:11 -!- udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has quit [Ping timeout: 250 seconds] 16:38:18 -!- jsnell_ [~jsnell@ash.snellman.net] has quit [Ping timeout: 250 seconds] 16:38:26 tcr2 [~tcr@217-162-207-164.dynamic.hispeed.ch] has joined #sbcl 16:39:09 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 16:40:28 -!- tcr1 [~tcr@217-162-207-164.dynamic.hispeed.ch] has quit [Ping timeout: 276 seconds] 16:40:45 -!- tcr2 [~tcr@217-162-207-164.dynamic.hispeed.ch] has quit [Client Quit] 16:41:02 nyef [~nyef@pool-64-222-180-202.man.east.myfairpoint.net] has joined #sbcl 16:51:59 -!- gor[e] [~svr@gw1.masterhost.ru] has quit [Ping timeout: 246 seconds] 16:58:17 -!- slyrus_ [~chatzilla@adsl-76-254-45-145.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 240 seconds] 17:26:01 -!- sellout [~Adium@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Ping timeout: 246 seconds] 17:31:14 sellout [~Adium@gw3.tacwap.org] has joined #sbcl 17:36:26 superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has joined #sbcl 18:21:47 So, let's say I wanted to hack SBCL to inhibit it from ever storing an integer on the stack with fixnum representation. That is: always choose 64bit raw rather than 61bit tagged fixnum, even if the size is known to be < 61 bits. What's the easiest way to do that? (and is there a reason that wouldn't work?) 18:26:26 slyrus_ [~chatzilla@173-228-44-88.dsl.static.sonic.net] has joined #sbcl 18:27:02 -!- sellout [~Adium@gw3.tacwap.org] has quit [Remote host closed the connection] 18:34:05 gor[e] [~svr@79.165.187.105] has joined #sbcl 18:43:32 stassats [~stassats@wikipedia/stassats] has joined #sbcl 19:01:40 foom: (let ((x (sb64-identity 0))) (declare (type ub64 x)) ...) 19:01:47 *sb even 19:03:38 sellout [~Adium@gw3.tacwap.org] has joined #sbcl 19:07:24 pkhuong: sb64-identity being what? 19:08:39 -!- gor[e] [~svr@79.165.187.105] has quit [Read error: Operation timed out] 19:09:45 foom: (deflaim (ftype (function ((signed-byte 64)) (values (signed-byte 64) &optional))) sb64-identity) 19:09:53 (defun sb64-identify (x) x) 19:10:08 or, I have some IR1 code to do the same without a function call 19:13:08 no, only ir2, actually. 19:13:30 defknown/a single-instruction move VOP 19:14:20 the trick works because python makes representation selection decisions on a per-variable basis 19:15:24 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #sbcl 19:23:23 -!- superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has quit [Read error: Operation timed out] 19:54:34 (deflaim 19:54:46 this sounds like it has potential... 20:12:51 hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has joined #sbcl 20:15:32 -!- cmm [~cmm@109.65.203.181] has quit [Ping timeout: 264 seconds] 20:16:12 cmm [~cmm@109.65.203.181] has joined #sbcl 20:35:35 -!- hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has quit [Quit: Leaving...] 21:02:38 redline6` [~user@c-66-56-55-169.hsd1.ga.comcast.net] has joined #sbcl 21:06:05 -!- Neronus [christian@heraklit.ayous.org] has quit [Ping timeout: 246 seconds] 21:08:00 Neronus [christian@heraklit.ayous.org] has joined #sbcl 21:56:27 tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has joined #sbcl 22:25:42 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 22:37:31 -!- slyrus_ [~chatzilla@173-228-44-88.dsl.static.sonic.net] has quit [Ping timeout: 246 seconds] 22:46:11 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 248 seconds] 22:49:23 -!- tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has quit [Quit: Leaving.]