| *** josuah <josuah!~irc@46.23.94.12> has quit IRC | 05:12 | |
| *** josuah <josuah!~irc@46.23.94.12> has joined #libre-soc | 05:18 | |
| *** josuah <josuah!~irc@46.23.94.12> has quit IRC | 05:20 | |
| *** josuah <josuah!~irc@46.23.94.12> has joined #libre-soc | 05:20 | |
| *** josuah <josuah!~irc@46.23.94.12> has quit IRC | 05:24 | |
| *** josuah <josuah!~irc@46.23.94.12> has joined #libre-soc | 05:29 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has quit IRC | 06:16 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has joined #libre-soc | 06:28 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has quit IRC | 07:22 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has joined #libre-soc | 07:23 | |
| lkcl | octavius: strictly true, but does it really matter? | 08:34 |
|---|---|---|
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 09:17 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 09:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.42.35> has joined #libre-soc | 09:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.42.35> has quit IRC | 10:08 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 10:09 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 10:41 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.42.234> has joined #libre-soc | 10:42 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 12:38 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.42.234> has quit IRC | 12:46 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.79> has joined #libre-soc | 12:47 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.79> has quit IRC | 13:29 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 13:32 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 14:01 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 14:04 | |
| *** octavius <octavius!~octavius@92.40.169.88.threembb.co.uk> has joined #libre-soc | 15:45 | |
| ghostmansd | lkcl, could you remind me, please, why we have two of these? | 15:46 |
| ghostmansd | 52,SHIFT_ROT,OP_DSHL,RA,RB,RC,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,dsld,VA2,,1 | 15:46 |
| ghostmansd | 53,SHIFT_ROT,OP_DSHL,RA,RB,RC,RT,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,0,0,RC,0,0,dsld,VA2,,1 | 15:46 |
| ghostmansd | minor_4.csv | 15:46 |
| ghostmansd | They differ only with XO | 15:46 |
| ghostmansd | I think it's Rc-related, is it correct? | 15:50 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 16:25 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.53.108> has joined #libre-soc | 16:26 | |
| programmerjake | yes | 16:29 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.53.108> has quit IRC | 16:37 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 16:39 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has quit IRC | 17:46 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has joined #libre-soc | 17:48 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has quit IRC | 17:54 | |
| *** lxo <lxo!~lxo@linux-libre.fsfla.org> has joined #libre-soc | 17:54 | |
| *** octavius <octavius!~octavius@92.40.169.88.threembb.co.uk> has quit IRC | 18:27 | |
| lkcl | ghostmansd, the binary representation covers bit 31 as either 0 or 1. | 19:33 |
| ghostmansd | If the bit 31 covers Rc, then it seems this should be converted into this: https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=2f9a49abcc31d2830c7bf64e1d6322925e47750b | 19:34 |
| ghostmansd | I'm not sure about NONE part for Rc, but these should be distinct. | 19:35 |
| ghostmansd | I'm not sure how this was handled before, likely via separate explicit conversion (all these custom_insn handlers). | 19:37 |
| lkcl | > ghostmansd> If the bit 31 covers Rc, then it seems this should be converted into this: | 21:54 |
| lkcl | NO. | 21:54 |
| lkcl | you've just destroyed the Rc=1 capability of dsld and dsrd by removing the RC_ONLY flag. | 21:54 |
| lkcl | and destroyed the instructions even further by forcing an "Rc=1 mode" onto dsld and dsrd by removing the dsld and dsrd instructions and replacing them with "forced-Rc=1" variants, "dsld." and "dsrd." | 21:56 |
| lkcl | this is NOT what is required or specified. | 21:56 |
| lkcl | the instruct | 21:57 |
| lkcl | ions are correctly specified | 21:58 |
| lkcl | the instructions are correctly specified in minor_4.csv | 21:58 |
| lkcl | please do not alter minor_4.csv | 21:58 |
| lkcl | please do not change the SVP64 csv files | 21:58 |
| lkcl | the way the code works is that "RC" and "RC_ONLY" are spotted and *automatically provide" the Rc=1 variant. | 22:10 |
| lkcl | you *must* not interfere with the CSV files, alter the CSV files, or in any way change anything to do with the CSV files without consulting me | 22:10 |
| lkcl | they are the "actual definition" of the specification | 22:11 |
| lkcl | it is like changing the meaning of the letter "A" to be "B" | 22:11 |
| lkcl | it's absolutely fundamental and critical | 22:11 |
| lkcl | please don't do it. | 22:12 |
| *** lkcl <lkcl!lkcl@freebnc.bnc4you.xyz> has quit IRC | 22:42 | |
| *** lkcl <lkcl!lkcl@freebnc.bnc4you.xyz> has joined #libre-soc | 22:46 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has quit IRC | 23:43 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 23:56 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!