| *** gnucode2 <gnucode2!~gnucode2@user/jab> has joined #libre-soc | 00:51 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 01:32 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 01:55 | |
| *** gnucode2 <gnucode2!~gnucode2@user/jab> has quit IRC | 02:51 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 03:30 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 03:55 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 04:17 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 04:42 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 06:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 07:29 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 07:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 09:14 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 09:18 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 09:35 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 09:58 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 11:09 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 12:12 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.144> has joined #libre-soc | 12:13 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 14:53 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 14:54 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.144> has quit IRC | 15:10 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 15:10 | |
| *** tplaten <tplaten!~tplaten@62.144.45.55> has joined #libre-soc | 16:32 | |
| *** adi_ <adi_!uid592526@id-592526.ilkley.irccloud.com> has joined #libre-soc | 17:08 | |
| * lkcl filling in https://bugs.libre-soc.org/show_bug.cgi?id=952 | 17:40 | |
| lkcl | i've got most of Schedule A done, but not the leaf-nodes yet because there's going to be too many to do all at once | 17:41 |
|---|---|---|
| markos | lkcl, please remind me, how do I call a single unit test, eg test_0_sv_index? | 18:05 |
| markos | btw, I'm going to start adding some stuff to 953 (svp64 cookbook) in the near future | 18:05 |
| markos | what's the preferred doc format? latex? | 18:06 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 18:11 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.40.76> has joined #libre-soc | 18:15 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.40.76> has quit IRC | 18:19 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 18:20 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 18:26 | |
| lkcl | markos, i typically comment-out all other functions ":%s/def test_/def tst_" then run the file "python3 test_caller_whatever.py" :) | 19:35 |
| lkcl | for the cookbook: markdown, directly in the wiki. i'll create a top-level page for it (based on the rfc template, because you can add sub-pages and they get automatically listed in the root page) | 19:36 |
| lkcl | we already have a couple of Makefiles in the wiki that perform automatic conversion to latex and then latex to pdf. | 19:37 |
| lkcl | programmerjake, i've reverted - removed - the fgrevi instructions because there has been absolutely no discussion whatsoever as to whether they are valuable or whether they could even potentially cause damage to the Power ISA's reputation | 19:39 |
| lkcl | markos, https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/sv/rfc/Makefile;hb=HEAD | 19:40 |
| lkcl | that completely does away with any need to write latex directly, and has the strong advantage that what is in the cookbook is also directly accessible in the wiki | 19:41 |
| lkcl | this voodoo-magic ikiwiki incantation "collates" (lists) every sub-page under the rfc directory: https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/sv/rfc.mdwn;hb=HEAD | 19:41 |
| markos | ok, good point | 19:41 |
| lkcl | anything "tagged" with [[!tag opf_rfc]] | 19:42 |
| lkcl | there is btw a "normal" way of running a single function in a unit test in nosetest3 | 19:42 |
| lkcl | i just can't remember what it is because i find it easier to do the commenting-out trick :) | 19:42 |
| lkcl | but i know it is actually possible | 19:43 |
| lkcl | https://stackoverflow.com/questions/11286688/how-do-i-specify-a-single-test-in-a-file-with-nosetests | 19:43 |
| lkcl | which in my mind looks like a hell of a lot of hassle :) | 19:43 |
| markos | nice | 19:43 |
| markos | hahaha, I guess it's just easier to just comment out stuff | 19:44 |
| lkcl | particularly if you have a deep directory structure - yes i know you can always "cd" to the test_caller directory, sigh | 19:44 |
| lkcl | which is one of the reasons why we *very much* do not use relative imports, because relative imports get royally screwed if you cd into the directories of the repo and start trying to execute things in it | 19:45 |
| lkcl | markos, https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=ad71d796fe9e1f77c366b1941ae7275760ef668f | 19:48 |
| programmerjake | lkcl: i specifically added the fgrev instructions as a separate file so we could review and decide if we wanted them -- imho removing them doesn't help anything, please put them back. if you're worried about people thinking libre-soc is proposing them, add a disclaimer to the top stating they are experimental and not currently endorsed by libre-soc as a whole | 20:12 |
| programmerjake | also, you can specify the single unittest to run like so: python3 test_file.py -k test_function_name | 20:15 |
| programmerjake | no need to comment everything | 20:16 |
| programmerjake | see python3 -m unittest --help | 20:17 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:34 | |
| markos | programmerjake, thanks | 20:52 |
| markos | also, had very little time for reviewing this morning, will do so tomorrow morning, sorry about that | 20:52 |
| programmerjake | no problem | 20:53 |
| programmerjake | lkcl: i'm guessing you missed that fgrev stuff is in a new totally separate file, int_fp_mv.mdwn is not modified | 22:00 |
| markos | programmerjake, thanks, I will read it in detail tomorrow, for now just a question, which conversion mode is used by Power for fp -> int? For reference, Arm provides 5 modes (round to nearest with ties to even, round to nearest with ties to away, towards minus inf, towards plus inf, towards zero), I think x86 has some of those -I know one is definitely missing, iirc x86 does not have the Round to Nearest with Ties to Away | 22:09 |
| markos | yes, that's correct | 22:09 |
| markos | I understand Power uses the FPCR register | 22:10 |
| markos | to select the rounding mode that is | 22:10 |
| markos | but I'm not sure which modes it supports | 22:10 |
| markos | FPSCR sorry | 22:11 |
| markos | ETOOMANYROUNDINGMODES :) | 22:12 |
| programmerjake | power has both dynamic rounding mode and always-truncate modes, you can also combine them with explicitly selected round to integral instructions (implements floor, ceil, trunc, etc) that return fp results then use an insn to convert to integet | 22:13 |
| programmerjake | the int/fp mv proposal is mostly adding new insns that change how power handles out-of-range integer results rather than rounding differently | 22:15 |
| programmerjake | e.g. javascript has a particularly annoying scheme where it returns the remainder rather than saturating | 22:15 |
| programmerjake | as well as actually being able to use gprs as src/dest rather than having to use fp store and int load or vsx insns | 22:16 |
| markos | I didn't realize js has its own rounding scheme | 22:17 |
| markos | ok, thanks for the clarification, I'll read it tomorrow | 22:18 |
| programmerjake | the main part i wanted you to review is the naming scheme -- the other parts luke and i agree on, though feel free to review it anyway if you like | 22:19 |
| markos | I don't have any strong opinions about the naming, but I *loved* the FPR <-> GPR instructions, finally! | 22:20 |
| programmerjake | i prefer the "old" naming scheme, luke thinks it's too many insns and requested me to make the "new" naming scheme | 22:20 |
| markos | I'm all for consistency but if we can make the naming more predictable I'm all for it | 22:20 |
| markos | +as well | 22:21 |
| markos | anyway | 22:21 |
| programmerjake | i think the old naming scheme matches the rest of powerisa much better since it uses s, ., uw, w, d, ud suffixes rather than an immediate | 22:21 |
| programmerjake | naming comparison table: https://libre-soc.org/openpower/sv/int_fp_mv_reduced_insn_count/#reduced-instruction-list | 22:22 |
| markos | yeah, I'm looking at it as well, tbh, I find the old scheme easier too, took me a while to learn those suffixes, it's nice to see I don't have to learn yet another scheme :) | 22:23 |
| markos | but I'll have a clearer head tomorrow morning | 22:23 |
| markos | too tired atm | 22:23 |
| programmerjake | k, sleep well! | 22:23 |
| markos | thanks, ttyt! | 22:24 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!