2014-12-03T00:42:02Z edgar-rft joined #sbcl 2014-12-03T00:51:32Z stassats quit (Ping timeout: 256 seconds) 2014-12-03T01:12:35Z psy_ quit (Ping timeout: 272 seconds) 2014-12-03T01:48:10Z kanru joined #sbcl 2014-12-03T02:02:27Z kanru quit (Ping timeout: 252 seconds) 2014-12-03T02:59:49Z echo-area joined #sbcl 2014-12-03T03:03:00Z scymtym quit (Ping timeout: 256 seconds) 2014-12-03T03:32:55Z psilord quit (Quit: Leaving.) 2014-12-03T03:38:42Z christoph_debian quit (Ping timeout: 256 seconds) 2014-12-03T03:51:55Z christoph_debian joined #sbcl 2014-12-03T04:19:03Z gingerale joined #sbcl 2014-12-03T04:26:35Z krzysz00 joined #sbcl 2014-12-03T04:34:36Z echo-area quit (Remote host closed the connection) 2014-12-03T04:35:28Z echo-area joined #sbcl 2014-12-03T04:40:20Z psilord joined #sbcl 2014-12-03T04:42:14Z loke quit (Read error: Connection reset by peer) 2014-12-03T05:09:44Z psy_ joined #sbcl 2014-12-03T05:21:07Z loke joined #sbcl 2014-12-03T05:35:14Z gingerale quit (Ping timeout: 250 seconds) 2014-12-03T05:38:47Z pranavrc joined #sbcl 2014-12-03T05:44:52Z scymtym joined #sbcl 2014-12-03T06:15:43Z pillton: I am having a weird issue where consing occurs depending on the COND form. 2014-12-03T06:15:47Z pillton: http://hastebin.com/acexiyiyih 2014-12-03T06:17:57Z pillton: In both cases only the first condition is executed, yet for some reason, the longer COND form conses and the shorter one doesn't. 2014-12-03T06:45:18Z karswell` joined #sbcl 2014-12-03T06:46:57Z oleo quit (Ping timeout: 240 seconds) 2014-12-03T06:47:30Z karswell quit (Read error: Connection reset by peer) 2014-12-03T06:47:30Z oleo__ joined #sbcl 2014-12-03T06:51:28Z oleo__ quit (Quit: Verlassend) 2014-12-03T07:15:11Z stassats joined #sbcl 2014-12-03T07:16:20Z stassats: pillton: of course it does 2014-12-03T07:19:20Z stassats: i naturally misread things 2014-12-03T07:25:02Z stassats: weird 2014-12-03T07:26:27Z stassats: really really weird 2014-12-03T07:30:01Z stassats: ok, i think i see 2014-12-03T07:30:25Z stassats: of course no idea how to fix that 2014-12-03T07:37:15Z stassats: basically the return type of the COND is double-float, all is well until it wants to return it, welcome to boxing 2014-12-03T07:37:40Z stassats: which is a really cool optimization until you have an existing double float 2014-12-03T07:39:53Z pillton: stassats: Ok. Glad I didn't make a mistake. 2014-12-03T07:40:28Z pillton: I came across it trying to figure out why (coerce x 'double-float) conses when x is a double-float. 2014-12-03T07:40:40Z pillton: The solution to that problem will help with SB-KERNEL:%DOUBLE-FLOAT. 2014-12-03T07:40:53Z pillton: Sorry, the above problem, not "that" problem. 2014-12-03T07:42:16Z stassats: i can just fix SB-KERNEL:%DOUBLE-FLOAT 2014-12-03T07:42:54Z pillton: How, it is the COND form that causes the consing? 2014-12-03T07:43:24Z pillton: Or whatever it is that causes it. I can't get my head around it. 2014-12-03T07:44:31Z stassats: it basically does "oh yeah, all the legs return a double float, let's put it into a register" 2014-12-03T07:44:50Z stassats: "mmkay, let's return it, but we need to box the double float from the register to the heap" 2014-12-03T07:45:37Z pillton: So why does the "shorter" function not do it? 2014-12-03T07:46:56Z stassats: it's more simple, a type check and a move 2014-12-03T07:47:21Z pillton: Ah ok. Thanks for the explanation. 2014-12-03T07:47:27Z pillton: Should I file a bug? 2014-12-03T07:48:39Z stassats: yes please 2014-12-03T07:51:07Z stassats: that seems to me like a really hard problem 2014-12-03T07:52:52Z stassats: just make the test case (defun test (number) (declare (type (or double-float single-float fixnum) number)) (cond ((typep number 'double-float) number) ((typep number 'single-float) (coerce number 'double-float)) ((typep number 'fixnum) (coerce number 'double-float)))) 2014-12-03T07:55:52Z psy_ quit (Remote host closed the connection) 2014-12-03T07:56:34Z psy_ joined #sbcl 2014-12-03T07:59:51Z pillton: Will do. I will submit it later tonight. 2014-12-03T08:00:30Z stassats: or simpler: (defun test (number) (cond ((typep number 'double-float) number) ((typep number 'single-float) (coerce number 'double-float)) (t 1d0))) 2014-12-03T08:03:29Z pillton: The last one is the best one. I'll say if you change 1d0 to 32 it no longer conses. 2014-12-03T08:03:46Z pillton: Thanks again. I have to go now. 2014-12-03T08:09:44Z stassats: so, the last basic block should be broken up 2014-12-03T08:10:11Z stassats: and i don't think basic block are primitive enough to know about different move vops 2014-12-03T08:27:16Z psy_ quit (Ping timeout: 255 seconds) 2014-12-03T08:38:27Z ASau` joined #sbcl 2014-12-03T08:39:32Z fridim_ joined #sbcl 2014-12-03T08:41:52Z ASau quit (Ping timeout: 256 seconds) 2014-12-03T09:38:47Z stassats quit (Remote host closed the connection) 2014-12-03T09:39:05Z stassats joined #sbcl 2014-12-03T09:46:28Z stassats quit (Ping timeout: 256 seconds) 2014-12-03T09:56:39Z psy_ joined #sbcl 2014-12-03T10:20:31Z scymtym quit (Ping timeout: 244 seconds) 2014-12-03T10:30:30Z attila_lendvai joined #sbcl 2014-12-03T10:30:30Z attila_lendvai quit (Changing host) 2014-12-03T10:30:30Z attila_lendvai joined #sbcl 2014-12-03T10:31:02Z ASau` is now known as ASau 2014-12-03T11:04:30Z echo-area quit (Remote host closed the connection) 2014-12-03T11:18:28Z angavrilov joined #sbcl 2014-12-03T11:24:13Z scymtym joined #sbcl 2014-12-03T11:53:35Z eudoxia joined #sbcl 2014-12-03T12:02:50Z pranavrc quit 2014-12-03T12:06:59Z pranavrc joined #sbcl 2014-12-03T12:21:43Z PuercoPop quit (Ping timeout: 258 seconds) 2014-12-03T12:23:12Z PuercoPop joined #sbcl 2014-12-03T12:53:03Z DeadTrickster quit (Ping timeout: 272 seconds) 2014-12-03T12:54:47Z pranavrc quit (Remote host closed the connection) 2014-12-03T12:58:31Z pranavrc joined #sbcl 2014-12-03T12:58:31Z pranavrc quit (Changing host) 2014-12-03T12:58:31Z pranavrc joined #sbcl 2014-12-03T12:58:33Z pranavrc quit (Remote host closed the connection) 2014-12-03T13:00:09Z pranavrc joined #sbcl 2014-12-03T13:05:12Z DeadTrickster joined #sbcl 2014-12-03T13:24:15Z rtj joined #sbcl 2014-12-03T13:25:39Z pranavrc quit 2014-12-03T13:40:39Z loke_ joined #sbcl 2014-12-03T14:07:08Z PuercoPop quit (Ping timeout: 258 seconds) 2014-12-03T14:07:21Z PuercoPop joined #sbcl 2014-12-03T14:11:44Z jdz quit (Ping timeout: 258 seconds) 2014-12-03T14:17:52Z joshe quit (Ping timeout: 258 seconds) 2014-12-03T14:19:42Z joshe joined #sbcl 2014-12-03T14:23:41Z jdz joined #sbcl 2014-12-03T14:49:36Z oleo joined #sbcl 2014-12-03T15:07:35Z psy_ quit (Read error: Connection reset by peer) 2014-12-03T15:25:51Z edgar-rft quit (Quit: mental process stopped by supernova burnout) 2014-12-03T15:27:32Z pkhuong: representation selection issue. 2014-12-03T15:30:38Z pkhuong: could probably fix that by noticing that the dest is a return node 2014-12-03T15:33:27Z rtj quit (Remote host closed the connection) 2014-12-03T15:33:56Z rtj joined #sbcl 2014-12-03T15:37:29Z rtj quit (Remote host closed the connection) 2014-12-03T15:45:23Z pillton quit (Ping timeout: 272 seconds) 2014-12-03T16:24:35Z eudoxia quit (Quit: Lost terminal) 2014-12-03T16:29:24Z rtj joined #sbcl 2014-12-03T16:45:59Z torono joined #sbcl 2014-12-03T17:00:29Z krzysz00 quit (Ping timeout: 264 seconds) 2014-12-03T17:11:11Z krzysz00 joined #sbcl 2014-12-03T17:26:19Z eudoxia joined #sbcl 2014-12-03T17:57:25Z krzysz00 quit (Ping timeout: 255 seconds) 2014-12-03T18:02:45Z milosn quit (Ping timeout: 272 seconds) 2014-12-03T18:09:26Z torono left #sbcl 2014-12-03T18:17:50Z joshe quit (Ping timeout: 258 seconds) 2014-12-03T18:20:04Z gingerale joined #sbcl 2014-12-03T18:20:37Z milosn joined #sbcl 2014-12-03T18:27:47Z psy_ joined #sbcl 2014-12-03T18:59:33Z krzysz00 joined #sbcl 2014-12-03T19:06:55Z oleo quit (Ping timeout: 252 seconds) 2014-12-03T19:07:40Z oleo joined #sbcl 2014-12-03T19:53:40Z krzysz00 quit (Ping timeout: 250 seconds) 2014-12-03T20:02:55Z krzysz00 joined #sbcl 2014-12-03T20:25:06Z ams quit (Ping timeout: 258 seconds) 2014-12-03T20:29:58Z fridim_ quit (Ping timeout: 255 seconds) 2014-12-03T20:45:37Z krzysz00 quit (Ping timeout: 240 seconds) 2014-12-03T20:47:02Z kanru joined #sbcl 2014-12-03T20:56:04Z kanru quit (Ping timeout: 255 seconds) 2014-12-03T21:02:51Z snuglas joined #sbcl 2014-12-03T21:16:45Z ams joined #sbcl 2014-12-03T21:21:52Z snuglas quit (Ping timeout: 246 seconds) 2014-12-03T21:22:12Z Bicyclidine joined #sbcl 2014-12-03T21:25:53Z milosn quit (Ping timeout: 252 seconds) 2014-12-03T21:47:51Z angavrilov quit (Remote host closed the connection) 2014-12-03T21:50:06Z milosn joined #sbcl 2014-12-03T21:58:53Z karswell` is now known as karswell 2014-12-03T22:06:17Z eudoxia quit (Quit: leaving) 2014-12-03T22:07:27Z Bicyclidine quit (Ping timeout: 258 seconds) 2014-12-03T22:13:58Z Bicyclidine joined #sbcl 2014-12-03T22:17:04Z kanru joined #sbcl 2014-12-03T22:33:17Z kanru quit (Ping timeout: 240 seconds) 2014-12-03T22:52:03Z kanru joined #sbcl 2014-12-03T23:07:30Z Bicyclid1ne joined #sbcl 2014-12-03T23:08:14Z Bicyclidine quit (Ping timeout: 250 seconds) 2014-12-03T23:09:51Z pillton joined #sbcl 2014-12-03T23:21:20Z kanru quit (Ping timeout: 256 seconds) 2014-12-03T23:49:02Z krzysz00 joined #sbcl