00:00:56 -!- kanru [~kanru@kanru.info] has quit [Remote host closed the connection] 00:03:28 kanru [~kanru@189.120.104.191] has joined #sbcl 00:04:38 -!- kanru [~kanru@189.120.104.191] has quit [Read error: Connection reset by peer] 00:15:29 -!- Vivitron` [~Vivitron`@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 260 seconds] 01:40:04 -!- Maroni [~user@046-220-029-174.dyn.orange.at] has quit [Ping timeout: 260 seconds] 02:01:37 edgar-rft [~GOD@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 02:13:59 Vivitron` [~Vivitron`@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 02:34:13 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 02:34:14 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 02:34:14 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 02:34:42 -!- cmm [~cmm@bzq-109-67-190-224.red.bezeqint.net] has quit [*.net *.split] 02:34:42 -!- asedeno_ [asedeno@nat/google/x-snhyihlijvdwxhxm] has quit [*.net *.split] 03:06:28 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 248 seconds] 05:20:14 kanru [~kanru@189.120.164.64] has joined #sbcl 05:59:15 -!- edgar-rft [~GOD@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: mental blackout] 06:08:24 -!- Vivitron` [~Vivitron`@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 260 seconds] 06:44:53 cmm [~cmm@bzq-109-67-190-224.red.bezeqint.net] has joined #sbcl 06:44:53 asedeno_ [asedeno@nat/google/x-snhyihlijvdwxhxm] has joined #sbcl 06:54:34 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 07:10:45 Maroni [~user@046-220-033-216.dyn.orange.at] has joined #sbcl 09:25:34 -!- wbooze [~wbooze@xdsl-78-35-160-39.netcologne.de] has quit [Ping timeout: 260 seconds] 09:38:33 gko [~user@220.228.255.202] has joined #sbcl 10:25:58 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:34:37 -!- gko [~user@220.228.255.202] has quit [Remote host closed the connection] 10:36:49 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 244 seconds] 10:54:17 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:09:53 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 244 seconds] 11:44:27 -!- kanru [~kanru@189.120.164.64] has quit [Ping timeout: 265 seconds] 13:17:39 milanj [~milanj_@79-101-197-111.dynamic.isp.telekom.rs] has joined #sbcl 13:18:14 wbooze [~wbooze@xdsl-78-35-145-115.netcologne.de] has joined #sbcl 13:46:19 -!- Fare [~Fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 246 seconds] 13:51:14 kanru [~kanru@kanru.info] has joined #sbcl 13:53:21 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 13:53:21 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 13:53:22 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:56:47 woudshoo [~user@ipleiden.intellimagic.net] has joined #sbcl 13:57:53 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 14:05:13 -!- kanru [~kanru@kanru.info] has quit [Ping timeout: 246 seconds] 14:05:49 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 14:05:49 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 14:05:49 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:07:09 kanru [~kanru@kanru.info] has joined #sbcl 14:07:54 -!- Maroni [~user@046-220-033-216.dyn.orange.at] has quit [Ping timeout: 260 seconds] 14:08:05 -!- asedeno_ [asedeno@nat/google/x-snhyihlijvdwxhxm] has quit [Remote host closed the connection] 14:09:40 Maroni [~user@046-220-061-016.dyn.orange.at] has joined #sbcl 14:10:57 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 260 seconds] 14:11:04 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 14:12:55 attila_lendvai1 [~attila_le@31.29.3.186] has joined #sbcl 14:13:46 attila_lendvai [~attila_le@212.241.23.105] has joined #sbcl 14:13:46 -!- attila_lendvai [~attila_le@212.241.23.105] has quit [Changing host] 14:13:47 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:13:56 -!- kanru [~kanru@kanru.info] has quit [Remote host closed the connection] 14:17:40 -!- attila_lendvai1 [~attila_le@31.29.3.186] has quit [Ping timeout: 265 seconds] 14:18:03 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 14:19:23 attila_lendvai [~attila_le@212.241.23.105] has joined #sbcl 14:19:23 -!- attila_lendvai [~attila_le@212.241.23.105] has quit [Changing host] 14:19:23 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:20:34 -!- woudshoo [~user@ipleiden.intellimagic.net] has quit [Ping timeout: 244 seconds] 14:21:59 asedeno_work [asedeno@nat/google/x-jqfuoddkcfztamjc] has joined #sbcl 14:24:04 kanru [~kanru@189-69-134-243.dial-up.telesp.net.br] has joined #sbcl 14:30:25 -!- kanru [~kanru@189-69-134-243.dial-up.telesp.net.br] has quit [Ping timeout: 246 seconds] 14:33:05 attila_lendvai1 [~attila_le@31.29.3.186] has joined #sbcl 14:33:05 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 14:33:17 -!- attila_lendvai1 is now known as attila_lendvai 14:33:18 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 14:33:18 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:48:07 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 15:09:05 hm, is leuler ever around? 15:10:08 haven't seen him on irc for a couple weeks 15:10:51 that's unfortunate 15:14:41 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 15:14:41 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 15:14:41 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:14:59 -!- Maroni [~user@046-220-061-016.dyn.orange.at] has quit [Ping timeout: 260 seconds] 15:16:49 Maroni [~user@046-220-094-065.dyn.orange.at] has joined #sbcl 15:18:00 kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has joined #sbcl 15:24:35 stassats [~stassats@wikipedia/stassats] has joined #sbcl 15:27:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 245 seconds] 15:28:22 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 15:28:22 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 15:28:22 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:34:20 -!- kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has quit [Ping timeout: 268 seconds] 15:34:56 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 246 seconds] 15:38:50 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 15:38:50 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 15:38:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:39:58 leuler [~user@p548FD026.dip.t-dialin.net] has joined #sbcl 15:40:37 froydnj: What can I do for you? 15:54:26 leuler: hi! 15:55:51 Hi! 15:58:56 leuler: wanted to pick your brain re: adding insns like the aes instructions to sbcl's {dis,}assembler 16:00:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 16:00:20 froydnj: ok, go on. 16:01:26 attila_lendvai [~attila_le@31.29.3.186] has joined #sbcl 16:01:26 -!- attila_lendvai [~attila_le@31.29.3.186] has quit [Changing host] 16:01:26 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:01:52 leuler: so I'd need an ext-{rex-,}xmm-xmm/mem-3byte format (better names welcome) to define it for the disassembler 16:01:54 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 16:03:07 leuler: and then some byte-by-byte emission goo? 16:03:19 leuler: sorry, these are probably pretty basic questions 16:05:17 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:06:55 froydnj: Just a moment please, I need to look up the instruction formats myself first. 16:08:45 kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has joined #sbcl 16:13:08 -!- kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has quit [Ping timeout: 248 seconds] 16:15:35 froydnj: I have the AMD manuals here as my reference; currently don't have the Intel ones. AMD has two different instruction subsets, one named "AES", that contains the versions of the operations working on xmm registers and using encodings that seem not to differ (in format) from existing SSE instructions, that is, two operands and maybe an immediate byte. 16:17:50 leuler: my intel manuals list e.g. AESENC as #x66 #x0f #x38 #xdc /r and I could keep the instruction formats straight to find the two-byte sse insns, if we already have those 16:18:13 e.g. I can see #x66 #x0f BYTE ... formats, but not #x66 #x0f BYTE1 BYTE2 formats 16:19:04 *froydnj* was also confused about the ssse3 insns, but first things first 16:19:42 I'm considering a switch to LLVM instead of trying to support AVX ;) 16:19:53 The other subset is called "AVX" and contains AES instructions, also working on xmm registers, clearing the upper 128 bits of the corresponding ymm register and using potentially three register operands. Which of these subsets do you want to address? 16:20:44 the non-avx ones; avx is a whole different ball of wax 16:33:03 OK, I read the manuals up so far and looked at what formats are currently in SBCL. I agree: We currently have only SSE instructions using one opcode byte. So you need to define (a) new format(s) with two opcode bytes. 16:38:51 -!- asedeno_work [asedeno@nat/google/x-jqfuoddkcfztamjc] has quit [Remote host closed the connection] 16:39:12 If all the new instructions start with #x66 (or another prefix in front of the #x0f) you need the ext- and ext-rex- formats, if additionally there are some without such a prefix, that is, starting with #x0f, you need the "" format additionally (potential rex taken care of by implicit prefix rules in that case). 16:42:10 As to the assembler, one might extend the sse-instruction emitters to accept alternatively one opcode byte or (a list of?) two, but I think I'd prefer to have completely separate functions for the new formats. 16:47:08 Regarding the names of the instruction formats: I think the names should reflect that there are two opcode bytes. (The #x66 prefix doesn't count, so I don't like your "3byte" too much, sorry). But "op2" or "2op" will be confused with "operand", which is bad. "2-opcode-bytes" in the name is too long. 16:47:34 2-literals? 16:50:33 asedeno_work [asedeno@nat/google/x-llulpojfpojujllu] has joined #sbcl 17:01:23 Sorry, I just see that at least AMD calls the #x0f #xnn formats 2-byte opcodes and refers to #x0f #x38 #xnn and #x0f #x3a #xnn as 3-byte opcodes, so maybe the "3" is not so bad at all. So they always count the #x0f as an opcode and only the (optional) #x66, #xf2 etc. as prefixes. 17:05:23 pkhuong: Thanks for your comments. They are welcome, I just don't know what to reply to them ;-). 17:06:36 -!- Maroni [~user@046-220-094-065.dyn.orange.at] has quit [*.net *.split] 17:07:59 Maroni [~user@046-220-094-065.dyn.orange.at] has joined #sbcl 17:10:49 leuler: eh? I only suggested 2-literal instead of 2-opcode-bytes. 17:15:43 kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has joined #sbcl 17:16:59 -!- slyrus [~chatzilla@adsl-99-190-99-176.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 265 seconds] 17:23:46 pkhuong: I seem to have expressed myself badly. I just wanted to avoid you feeling ignored. No big deal. 17:32:38 Maroni_ [~user@046-220-034-068.dyn.orange.at] has joined #sbcl 17:33:30 leuler: ah ok 17:34:59 -!- Maroni [~user@046-220-094-065.dyn.orange.at] has quit [Ping timeout: 260 seconds] 17:35:22 -!- Maroni_ is now known as Maroni 17:38:16 froydnj: Is that enough to help you proceed? 17:43:40 kanru` [~kanru@189-69-138-10.dial-up.telesp.net.br] has joined #sbcl 17:44:12 -!- kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has quit [Ping timeout: 240 seconds] 17:46:21 leuler: I think so, yes. thanks! 17:48:26 My pleasure. 17:51:08 -!- kanru` [~kanru@189-69-138-10.dial-up.telesp.net.br] has quit [Read error: Connection reset by peer] 18:03:04 kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has joined #sbcl 18:07:10 -!- kanru [~kanru@189-69-138-10.dial-up.telesp.net.br] has quit [Ping timeout: 246 seconds] 18:22:03 -!- mgsk [~Mark@li357-97.members.linode.com] has quit [Quit: WeeChat 0.3.7] 18:39:11 sdemarre [~serge@91.176.63.222] has joined #sbcl 18:42:26 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 19:18:34 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 246 seconds] 20:42:14 -!- sdemarre [~serge@91.176.63.222] has quit [Ping timeout: 260 seconds] 21:05:49 -!- ASau [~user@95-26-226-160.broadband.corbina.ru] has quit [Ping timeout: 260 seconds] 21:08:30 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 21:20:14 -!- milanj [~milanj_@79-101-197-111.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 21:53:33 -!- leuler [~user@p548FD026.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 22:04:59 -!- wbooze [~wbooze@xdsl-78-35-145-115.netcologne.de] has quit [Ping timeout: 272 seconds] 23:52:17 iamtheari [~user@216.71.228.61] has joined #sbcl 23:58:01 Hi all. I've been trying to understand the build process for some time and my head is spinning. Specifically, there are a couple of seemingly magical things that happen. If anyone feels up to explaining or just giving a pointer to the right place in the code to start reading, I would appreciate it. The two most magical things to me after long staring at the code are (1) the creation of the SB!XC/CL package (p-d-l says "handled 23:58:02 elsewhere by other mechanisms" but does not say where) and (2) the compiler apparently being in SB!C both in the host and in the cross-compilation, where that package :uses CL in p-d-l but is clearly supposed to use, e.g., read-preserving-whitespace from SB!XC when the cross-compiler builds it. 23:59:40 iamtheari: do you have Kryztof's paper already?