| *** mx08 <mx08!~mx08@user/mx08> has joined #libre-soc | 03:28 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 07:26 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 07:32 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 07:34 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has joined #libre-soc | 07:35 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 07:37 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has quit IRC | 12:04 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has joined #libre-soc | 12:06 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has quit IRC | 12:10 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has joined #libre-soc | 12:10 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has quit IRC | 14:14 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has joined #libre-soc | 14:15 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.61> has quit IRC | 14:35 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 14:35 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 15:13 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 15:13 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 15:18 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.112> has joined #libre-soc | 15:18 | |
| *** tplaten <tplaten!~isengaara@55d41f18.access.ecotel.net> has joined #libre-soc | 15:47 | |
| *** EmanuelLoos[m] <EmanuelLoos[m]!~emanuel-l@2001:470:69fc:105::6260> has quit IRC | 16:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.112> has quit IRC | 16:32 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 16:32 | |
| *** octavius <octavius!~octavius@158.147.93.209.dyn.plus.net> has joined #libre-soc | 16:44 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 17:08 | |
| ghostmansd[m] | Just returned to shadd and shadduw. Do we have some options to debug code in mdwn? | 17:34 |
|---|---|---|
| ghostmansd[m] | Ok, apparently I can edit the generated py files. Good enough for me. | 17:46 |
| *** tplaten <tplaten!~isengaara@55d41f18.access.ecotel.net> has quit IRC | 17:50 | |
| *** tplaten <tplaten!~isengaara@55d41f18.access.ecotel.net> has joined #libre-soc | 17:51 | |
| octavius | I'll make the ls004 draft | 18:08 |
| *** octavius_ <octavius_!~octavius@158.147.93.209.dyn.plus.net> has joined #libre-soc | 18:45 | |
| *** octavius <octavius!~octavius@158.147.93.209.dyn.plus.net> has quit IRC | 18:45 | |
| *** octavius_ <octavius_!~octavius@158.147.93.209.dyn.plus.net> has quit IRC | 18:50 | |
| *** octavius <octavius!~octavius@158.147.93.209.dyn.plus.net> has joined #libre-soc | 18:50 | |
| ghostmansd | lkcl, somehow this code... | 19:18 |
| ghostmansd | RT <- (n[m:XLEN-1] || [0]*m) + (RA) | 19:18 |
| ghostmansd | ...which is converted to this code... | 19:19 |
| ghostmansd | RT = concat(n[m:self.XLEN - 1 + 1], concat(0, repeat=m)) + RA | 19:19 |
| ghostmansd | ... | 19:19 |
| ghostmansd | gets `0` after concat(0, repeat=m). Not SelectableInt(value=0, bits=1). | 19:20 |
| ghostmansd | Ah I see, we fail to meet this: `if repeat != 1 and len(args) == 1 and isinstance(args[0], int):` | 19:22 |
| ghostmansd | ? | 19:23 |
| ghostmansd | let me check | 19:23 |
| programmerjake | imho that pseudocode should be rewritten to not use variable-sized types to implement shifting, but instead use switch or ROTL64/MASK. it will be a major problem if/when we try to compile pseudocode to a statically typed language such as c | 19:24 |
| programmerjake | XLEN stuff can be handled just like templates in c++, so isn't really a problem | 19:25 |
| ghostmansd | Indeed, this condition is not met | 19:27 |
| ghostmansd | XLEN is not the issue | 19:28 |
| ghostmansd | Repeat is 1, since we have ([0] * 1) | 19:28 |
| ghostmansd | After m value is read, it's 1 there | 19:28 |
| ghostmansd | Fuck, I literally spent 3 hours debugging this | 19:32 |
| programmerjake | ^ my experience debugging pseudocode too...hence why i want to rewrite the parser/translator to actually do type-checking/error-checking as part of getting a new c backend to go along with a python backend -- if it produces output at all, the output should not fail with random type errors like this | 19:39 |
| *** jab <jab!~jab@user/jab> has joined #libre-soc | 19:54 | |
| programmerjake | lkcl, i'll respond to https://bugs.libre-soc.org/show_bug.cgi?id=973#c3 later | 19:55 |
| *** tplaten <tplaten!~isengaara@55d41f18.access.ecotel.net> has quit IRC | 20:10 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 21:15 | |
| *** octavius <octavius!~octavius@158.147.93.209.dyn.plus.net> has quit IRC | 21:51 | |
| *** mx08 <mx08!~mx08@user/mx08> has quit IRC | 23:09 | |
| *** mx08 <mx08!~mx08@user/mx08> has joined #libre-soc | 23:10 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!