00:32:08 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 00:54:57 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 01:47:54 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 02:10:48 edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 02:14:38 -!- danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has quit [Quit: danlentz] 02:21:18 danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has joined #sbcl 02:25:12 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 02:38:06 -!- christoph_debian [~christoph@ppp-88-217-66-110.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 02:52:17 christoph_debian [~christoph@ppp-188-174-20-178.dynamic.mnet-online.de] has joined #sbcl 04:15:21 stassats [~stassats@wikipedia/stassats] has joined #sbcl 04:31:06 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Ping timeout: 276 seconds] 04:42:30 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Ping timeout: 245 seconds] 04:47:13 -!- Fare [fare@nat/google/x-dyukohwhaaeklyga] has quit [Quit: Leaving] 04:56:18 nicdev` [user@2600:3c03::f03c:91ff:fedf:4986] has joined #sbcl 04:59:51 -!- nicdev [user@2600:3c03::f03c:91ff:fedf:4986] has quit [Remote host closed the connection] 05:00:36 -!- |3b| [bbb@2600:3c00::f03c:91ff:fedf:5b65] has quit [Remote host closed the connection] 05:01:05 |3b| [bbb@2600:3c00::f03c:91ff:fedf:5b65] has joined #sbcl 05:34:24 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 268 seconds] 06:41:28 -!- milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has quit [Read error: Connection reset by peer] 06:42:43 milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has joined #sbcl 06:44:00 prxq [~mommer@mnhm-5f75db95.pool.mediaWays.net] has joined #sbcl 06:59:09 -!- milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has quit [Read error: Connection reset by peer] 06:59:41 milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has joined #sbcl 07:04:23 -!- milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has quit [Read error: Connection reset by peer] 07:10:07 sdemarre [~serge@109.134.148.88] has joined #sbcl 07:12:37 milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has joined #sbcl 07:21:13 -!- sdemarre [~serge@109.134.148.88] has quit [Ping timeout: 256 seconds] 07:31:51 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 08:26:21 *stassats* manages to encode the new fancy VEX instructions 08:26:43 none appear to be immediately useful, though 08:34:46 ANDN is for (logand (lognot x) y), and not for (lognand x y), for example 08:39:37 benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has joined #sbcl 08:46:32 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 08:56:57 but that's logandc1 09:03:13 it's slightly faster and is 2 bytes less than the current implementation 09:20:54 -!- benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has quit [Ping timeout: 264 seconds] 09:21:21 -!- milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has quit [Read error: Connection reset by peer] 09:21:53 milosn [~milosn@cable-178-149-0-183.dynamic.sbb.rs] has joined #sbcl 09:22:08 benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has joined #sbcl 09:31:37 stassats: new Haswell instructions ? 09:33:57 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 248 seconds] 09:35:26 andreh_ [~andreh@186.213.248.20] has joined #sbcl 09:39:39 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 10:57:19 -!- benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 10:57:32 benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has joined #sbcl 11:05:30 -!- andreh_ [~andreh@186.213.248.20] has quit [Ping timeout: 245 seconds] 11:28:33 -!- benkard [~benkard@2a01:198:6d5:0:a5d3:b84b:64c2:861] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 11:43:05 loke_erc [~user@2001:470:36:b4a:d168:e884:295e:37ec] has joined #sbcl 11:44:43 ASau` [~user@p5797EA3E.dip0.t-ipconnect.de] has joined #sbcl 11:48:42 -!- ASau [~user@p4FF96BB5.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 11:53:57 benkard [~benkard@2a01:198:6d5:0:c015:c65b:2821:95e0] has joined #sbcl 12:07:35 fe[nl]ix: yep 12:15:27 -!- benkard [~benkard@2a01:198:6d5:0:c015:c65b:2821:95e0] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 12:34:43 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 12:35:08 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:35:44 benkard [~benkard@2a01:198:6d5:0:ac10:cabe:809c:d813] has joined #sbcl 12:55:34 -!- benkard [~benkard@2a01:198:6d5:0:ac10:cabe:809c:d813] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 13:09:24 benkard [~benkard@2a01:198:6d5:0:e46b:96cb:8851:950a] has joined #sbcl 13:14:30 and the current logandc1 implementation is not actually optimal, at least size wise 13:45:56 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 13:57:27 but the difference is really marginal 1 byte saved, ~4% faster, has the benefit of easier register usage 14:13:09 andreh_ [~andreh@186.213.248.20] has joined #sbcl 14:28:56 sdemarre [~serge@7.124-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 14:34:03 -!- andreh_ [~andreh@186.213.248.20] has quit [Quit: Quitte] 14:43:43 stassats: 3-operand mode or wider instructions? 14:44:05 3-operand, I assume. 14:46:56 -!- sdemarre [~serge@7.124-64-87.adsl-dyn.isp.belgacom.be] has quit [Read error: Operation timed out] 14:54:10 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 14:56:24 post-coffee. ah, scalar instructions (: 15:01:05 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 15:09:52 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 15:33:11 -!- ASau` is now known as ASau 15:35:01 maybe on some tighter code it's more faster 15:35:28 Has there been any discussion of implementing IPv6 support in SB-BSD-SOCKETS? 15:55:11 Hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has joined #sbcl 15:58:26 stassats: logandc{1,2} sees some use 15:59:59 logandc1 is done as XOR REG1, -2 AND REG1, REG2 (through `(logand (lognot ,x) ,y)) but it can be done as NOT REG1 AND REG1, REG2 16:00:35 the difference between the two is non-existent, but it saves 1 byte 16:01:14 the difference between the latter and ANDN is on 1000000000 iterations: 2.107 vs 2.070 16:01:30 i.e., not much 16:02:53 i test just by calling a function which calls (logandc1 x y), so a more complex function using those can show more speed up 16:04:36 not sure what to do with MULX, it's supposed to be good for bignums 16:10:12 our bignums mostly save the carry into a register and then load it, that could be improved upon 16:10:27 (not necessarily with mulx) 16:11:11 stassats: using carry flags directly will take quite the redesign (or larger VOPs). just using gmp seems like a better choice. 16:11:17 if it's only for bignums, anyway. 16:13:51 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 16:31:46 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 268 seconds] 16:41:04 gmp doesn't make much sense for small bignums, overhead will like be too much 16:41:19 and i care more about small bignums, i.e. 1-2 digits 16:43:17 for such small operations, just consing probably dominates the codegen gains offered by mulx and addcx/addox. 16:43:46 right 16:50:01 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Read error: Operation timed out] 16:54:11 sdemarre [~serge@7.124-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 16:57:37 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 246 seconds] 18:49:27 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 18:50:57 -!- edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: memory access finished by eternal darkness] 18:58:47 yacks [~py@103.6.159.103] has joined #sbcl 19:01:11 -!- yacks [~py@103.6.159.103] has quit [Read error: Connection reset by peer] 19:01:37 yacks [~py@103.6.159.103] has joined #sbcl 19:11:21 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Remote host closed the connection] 19:14:46 -!- Bike [~Glossina@69.166.47.103] has quit [Read error: Connection reset by peer] 19:14:51 Bike_ [~Glossina@69.166.47.103] has joined #sbcl 19:15:38 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 19:18:11 -!- Bike_ is now known as Bike 19:21:12 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 19:21:43 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Ping timeout: 260 seconds] 19:48:12 -!- benkard [~benkard@2a01:198:6d5:0:e46b:96cb:8851:950a] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 19:48:51 benkard [~benkard@2a01:198:6d5:0:e46b:96cb:8851:950a] has joined #sbcl 19:52:49 l_ [~n@84.233.246.170] has joined #sbcl 19:54:31 -!- l_ [~n@84.233.246.170] has left #sbcl 20:06:06 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 20:08:54 -!- sdemarre [~serge@7.124-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 264 seconds] 20:11:15 -!- bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has quit [Quit: leaving] 20:32:39 -!- yacks [~py@103.6.159.103] has quit [Read error: Operation timed out] 21:00:01 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 268 seconds] 21:02:30 -!- benkard [~benkard@2a01:198:6d5:0:e46b:96cb:8851:950a] has quit [Ping timeout: 245 seconds] 21:06:07 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 21:08:18 -!- Hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has quit [Ping timeout: 264 seconds] 21:13:26 benkard [~benkard@2a01:198:6d5:0:7c86:5148:268e:b26d] has joined #sbcl 21:27:27 -!- stassats [~stassats@wikipedia/stassats] has quit [Read error: Operation timed out] 21:37:42 -!- benkard [~benkard@2a01:198:6d5:0:7c86:5148:268e:b26d] has quit [Ping timeout: 264 seconds] 21:41:09 benkard [~benkard@2a01:198:6d5:0:5196:604:299d:db31] has joined #sbcl 21:50:54 -!- benkard [~benkard@2a01:198:6d5:0:5196:604:299d:db31] has quit [Ping timeout: 264 seconds] 22:03:48 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 22:12:52 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 22:13:24 -!- Bike [~Glossina@69.166.47.103] has quit [Ping timeout: 268 seconds] 22:24:17 Bike [~Glossina@69.166.47.103] has joined #sbcl 22:37:48 -!- prxq [~mommer@mnhm-5f75db95.pool.mediaWays.net] has quit [Remote host closed the connection] 22:50:23 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 264 seconds] 23:18:03 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 23:18:38 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 23:20:45 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Read error: Connection reset by peer] 23:20:57 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 23:24:41 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Read error: Operation timed out]