2015-05-14T00:19:18Z oleo_ joined #sbcl 2015-05-14T00:22:37Z oleo quit (Ping timeout: 264 seconds) 2015-05-14T00:24:35Z psy_ quit (Ping timeout: 265 seconds) 2015-05-14T00:42:20Z cosmicexplorer quit (Ping timeout: 264 seconds) 2015-05-14T00:49:12Z stassats quit (Ping timeout: 252 seconds) 2015-05-14T00:49:16Z karswell quit (Read error: Connection reset by peer) 2015-05-14T00:50:53Z karswell joined #sbcl 2015-05-14T01:00:20Z eschatologist joined #sbcl 2015-05-14T02:11:51Z echo-area quit (Remote host closed the connection) 2015-05-14T02:15:49Z echo-area joined #sbcl 2015-05-14T02:43:48Z psy_ joined #sbcl 2015-05-14T03:21:13Z White_Flame quit (Read error: Connection reset by peer) 2015-05-14T03:26:20Z White_Flame joined #sbcl 2015-05-14T03:40:11Z eschatologist quit (Quit: Textual IRC Client: www.textualapp.com) 2015-05-14T03:46:44Z nikki93_ joined #sbcl 2015-05-14T03:51:25Z nikki93_ quit (Ping timeout: 255 seconds) 2015-05-14T04:07:00Z gingerale joined #sbcl 2015-05-14T04:10:41Z cosmicexplorer joined #sbcl 2015-05-14T04:47:38Z nikki93_ joined #sbcl 2015-05-14T04:52:10Z nikki93_ quit (Ping timeout: 258 seconds) 2015-05-14T05:26:40Z ASau quit (Ping timeout: 265 seconds) 2015-05-14T05:48:31Z nikki93_ joined #sbcl 2015-05-14T05:53:20Z nikki93_ quit (Ping timeout: 256 seconds) 2015-05-14T06:16:09Z psy_ quit (Ping timeout: 256 seconds) 2015-05-14T06:21:54Z psy_ joined #sbcl 2015-05-14T06:26:23Z pranavrc joined #sbcl 2015-05-14T06:39:25Z Adlai quit (Ping timeout: 264 seconds) 2015-05-14T06:45:13Z selat joined #sbcl 2015-05-14T06:49:06Z nikki93_ joined #sbcl 2015-05-14T06:52:32Z nikki93_ quit (Remote host closed the connection) 2015-05-14T06:52:47Z nikki93_ joined #sbcl 2015-05-14T06:55:27Z nikki93_ quit (Remote host closed the connection) 2015-05-14T07:13:38Z psy_ quit (Ping timeout: 272 seconds) 2015-05-14T07:23:09Z cosmicexplorer quit (Read error: Connection reset by peer) 2015-05-14T07:23:19Z cosmicex` joined #sbcl 2015-05-14T07:28:38Z edgar-rft quit (Remote host closed the connection) 2015-05-14T07:47:23Z Shinmera joined #sbcl 2015-05-14T07:55:58Z nikki93_ joined #sbcl 2015-05-14T08:00:33Z nikki93_ quit (Ping timeout: 240 seconds) 2015-05-14T08:12:09Z selat quit (Quit: Lost terminal) 2015-05-14T08:43:16Z cosmicex` quit (Quit: ERC (IRC client for Emacs 25.0.50.1)) 2015-05-14T08:43:27Z cosmicexplorer joined #sbcl 2015-05-14T08:57:21Z pranavrc quit (Ping timeout: 264 seconds) 2015-05-14T09:06:53Z Adlai joined #sbcl 2015-05-14T09:17:13Z attila_lendvai joined #sbcl 2015-05-14T09:51:16Z ASau joined #sbcl 2015-05-14T10:04:27Z oleo_ quit (Quit: Leaving) 2015-05-14T10:05:39Z oleo joined #sbcl 2015-05-14T10:09:53Z wbooze joined #sbcl 2015-05-14T10:11:22Z pacon joined #sbcl 2015-05-14T10:16:17Z angavrilov joined #sbcl 2015-05-14T10:36:18Z pranavrc joined #sbcl 2015-05-14T10:46:06Z echo-area quit (Remote host closed the connection) 2015-05-14T10:48:17Z wbooze quit (Quit: none) 2015-05-14T10:52:26Z wbooze joined #sbcl 2015-05-14T11:01:23Z attila_lendvai quit (Ping timeout: 246 seconds) 2015-05-14T11:01:51Z karswell quit (Read error: Connection reset by peer) 2015-05-14T11:02:30Z karswell joined #sbcl 2015-05-14T11:03:27Z cosmicex` joined #sbcl 2015-05-14T11:03:45Z cosmicexplorer quit (Ping timeout: 244 seconds) 2015-05-14T11:35:26Z stassats joined #sbcl 2015-05-14T11:48:08Z pacon quit (Read error: Connection reset by peer) 2015-05-14T11:49:12Z pacon joined #sbcl 2015-05-14T11:52:33Z cosmicex` quit (Quit: ERC (IRC client for Emacs 25.0.50.1)) 2015-05-14T11:53:39Z cosmicexplorer joined #sbcl 2015-05-14T12:23:46Z oleo_ joined #sbcl 2015-05-14T12:25:55Z DeadTrickster quit (Read error: No route to host) 2015-05-14T12:26:36Z wbooze quit (Ping timeout: 256 seconds) 2015-05-14T12:26:57Z oleo_ quit (Read error: Connection reset by peer) 2015-05-14T12:27:32Z wbooze joined #sbcl 2015-05-14T12:27:38Z oleo quit (Ping timeout: 272 seconds) 2015-05-14T12:28:44Z oleo joined #sbcl 2015-05-14T12:45:38Z attila_lendvai joined #sbcl 2015-05-14T12:55:54Z pacon quit (Quit: Leaving) 2015-05-14T12:59:35Z pranavrc quit 2015-05-14T13:04:34Z wbooze quit (Quit: none) 2015-05-14T13:06:20Z psilord quit (Quit: Leaving.) 2015-05-14T13:11:11Z wbooze joined #sbcl 2015-05-14T13:35:23Z wbooze quit (Quit: none) 2015-05-14T13:37:22Z wbooze joined #sbcl 2015-05-14T13:38:19Z wbooze quit (Client Quit) 2015-05-14T13:40:17Z wbooze joined #sbcl 2015-05-14T13:43:52Z wbooze is now known as Guest40921 2015-05-14T13:45:04Z Guest40921 quit (Remote host closed the connection) 2015-05-14T13:59:25Z attila_lendvai quit (Ping timeout: 244 seconds) 2015-05-14T14:05:04Z dougk_: Hey, could someone take a look at https://bugs.launchpad.net/sbcl/+bug/1446891 ? 2015-05-14T14:06:06Z attila_lendvai joined #sbcl 2015-05-14T14:13:38Z psy_ joined #sbcl 2015-05-14T14:17:58Z stassats: let me reduce it some more 2015-05-14T14:22:21Z White_Flame quit (Ping timeout: 256 seconds) 2015-05-14T14:32:28Z wbooze joined #sbcl 2015-05-14T14:42:10Z gingerale quit (Read error: Connection reset by peer) 2015-05-14T14:43:24Z gingerale joined #sbcl 2015-05-14T14:47:48Z psilord joined #sbcl 2015-05-14T14:48:41Z scymtym joined #sbcl 2015-05-14T14:49:43Z wbooze quit (Quit: none) 2015-05-14T14:53:43Z wbooze joined #sbcl 2015-05-14T15:03:30Z selat joined #sbcl 2015-05-14T15:08:33Z stassats: dougk_: http://paste.lisp.org/display/148253 2015-05-14T15:12:47Z kjeldahl quit (Ping timeout: 256 seconds) 2015-05-14T15:15:19Z stassats: dougk_: and http://paste.lisp.org/display/148253#1 2015-05-14T15:26:23Z stassats: so, looking at the code, it seems to reuses the stack location 2015-05-14T15:30:14Z wbooze quit (Quit: none) 2015-05-14T15:30:46Z wbooze joined #sbcl 2015-05-14T15:39:16Z cosmicexplorer quit (Quit: ERC (IRC client for Emacs 25.0.50.1)) 2015-05-14T15:39:28Z stassats: and it doesn't happen on x86, wrong lifetimes? 2015-05-14T15:47:57Z wbooze quit (Disconnected by services) 2015-05-14T15:47:59Z stassats: dougk_: simplest yet: http://paste.lisp.org/display/148253#2 2015-05-14T15:48:50Z wbooze joined #sbcl 2015-05-14T15:49:34Z dougk_: stassats: nice. Not sure about "it doesn't happen on x86". My original example on a (rather old) 32-bit build fails 2015-05-14T15:49:50Z stassats: (and call it with 2) 2015-05-14T15:50:24Z stassats: it does happen on x86 now 2015-05-14T15:52:18Z stassats: it also doesn't use cmov for some reason 2015-05-14T15:57:30Z stassats: without print for less code: http://paste.lisp.org/display/148253#3 2015-05-14T15:58:19Z stassats: so it thinks A is not used or something? 2015-05-14T15:59:28Z wbooze quit (Disconnected by services) 2015-05-14T15:59:53Z wbooze joined #sbcl 2015-05-14T16:04:16Z flavioc joined #sbcl 2015-05-14T16:04:50Z attila_lendvai quit (Quit: Leaving.) 2015-05-14T16:10:19Z wbooze quit (Quit: none) 2015-05-14T16:11:36Z wbooze joined #sbcl 2015-05-14T16:12:51Z wbooze quit (Client Quit) 2015-05-14T16:17:08Z wbooze joined #sbcl 2015-05-14T16:18:50Z edgar-rft joined #sbcl 2015-05-14T16:23:37Z wbooze is now known as Guest64493 2015-05-14T16:24:21Z wbooze joined #sbcl 2015-05-14T16:25:38Z Guest64493 quit (Ping timeout: 244 seconds) 2015-05-14T16:43:33Z stassats: smallest resulting code http://paste.lisp.org/display/148253#5 2015-05-14T16:43:38Z stassats: but still no idea what's going on 2015-05-14T16:44:12Z cosmicexplorer joined #sbcl 2015-05-14T17:12:13Z gingerale quit (Remote host closed the connection) 2015-05-14T17:19:35Z stassats: casts are somehow involved too 2015-05-14T17:33:05Z stassats: damn, this is just at the edge of my understanding 2015-05-14T17:33:09Z ktt9 joined #sbcl 2015-05-14T17:46:10Z joshe quit (Ping timeout: 265 seconds) 2015-05-14T17:58:58Z cosmicexplorer quit (Remote host closed the connection) 2015-05-14T17:59:29Z cosmicexplorer joined #sbcl 2015-05-14T18:11:01Z stassats: looks like the interaction of IFs with casts goes bad 2015-05-14T18:11:11Z stassats: not sure how (return) is involved 2015-05-14T18:31:44Z kjeldahl joined #sbcl 2015-05-14T18:36:39Z akkad: didn't someone here have sbcl running on a cuppieboard4? 2015-05-14T18:43:15Z attila_lendvai joined #sbcl 2015-05-14T18:52:01Z cosmicexplorer quit (Ping timeout: 264 seconds) 2015-05-14T19:10:03Z stassats: what is that? 2015-05-14T19:10:18Z akkad: aarch64 board 2015-05-14T19:11:20Z stassats: well, there's nothing special about sbcl running there 2015-05-14T19:14:14Z akkad: well, was verifying that was the board someone had recommended. before purchasing it. for use in sbcl 2015-05-14T19:40:50Z cosmicexplorer joined #sbcl 2015-05-14T21:00:43Z cosmicexplorer quit (Ping timeout: 256 seconds) 2015-05-14T21:08:46Z Intensity quit (Ping timeout: 244 seconds) 2015-05-14T21:11:34Z psilord quit (Quit: Leaving.) 2015-05-14T21:11:49Z White_Flame joined #sbcl 2015-05-14T21:13:27Z stassats: maybe the loop confuses it into thinking that it's only used once 2015-05-14T21:26:36Z selat quit (Quit: Lost terminal) 2015-05-14T21:41:02Z stassats: the no-op return changes the flow 2015-05-14T21:43:01Z Shinmera quit (Quit: しつれいしなければならないんです。) 2015-05-14T21:45:51Z angavrilov quit (Remote host closed the connection) 2015-05-14T21:53:38Z stassats: inserting this sequences changes lvar-uses during substitute-single-use-lvar 2015-05-14T21:53:53Z stassats: from (# {1010CA5C23}> # {1010CA5B63}>) 2015-05-14T21:54:02Z stassats: to # {1010CFEBF3}> 2015-05-14T21:54:33Z wbooze quit (Ping timeout: 256 seconds) 2015-05-14T22:00:04Z stassats: i still don't get uses and refs 2015-05-14T22:03:57Z stassats: what is so linear about lvars? 2015-05-14T22:04:05Z ASau quit (Remote host closed the connection) 2015-05-14T22:04:29Z ASau joined #sbcl 2015-05-14T22:04:49Z rpg joined #sbcl 2015-05-14T22:07:22Z stassats: looks like just another math term devoid of any actual meaning 2015-05-14T22:25:33Z dougk_: stassats: I believe it is related to "linear logic" which according to wikipedia "emphasizes the role of formulas as resources" 2015-05-14T22:27:00Z dougk_: oh, sorry, according to the Stanford Encyclopedia of Philosophy, not Wikipedia 2015-05-14T22:27:03Z stassats: i gathered as much, which means i still don't get the name 2015-05-14T22:27:52Z stassats: why is it linear and not curved, etc. 2015-05-14T22:29:18Z stassats: i guess logicians and mathematicians are just bad at naming things 2015-05-14T22:31:31Z stassats: this is close to my other bug, where not enough substitutions is going on 2015-05-14T22:31:39Z stassats: here it's too much substitutions 2015-05-14T22:36:12Z rpg quit (Quit: rpg) 2015-05-14T22:47:24Z rpg joined #sbcl 2015-05-14T23:06:16Z rpg quit (Quit: rpg) 2015-05-14T23:09:19Z rpg joined #sbcl 2015-05-14T23:09:27Z rpg quit (Remote host closed the connection) 2015-05-14T23:31:23Z Intensity joined #sbcl