| *** Veera__ <Veera__!~net-lr@117.246.167.85> has quit IRC | 00:25 | |
| *** Veera_ <Veera_!~net-lr@117.246.28.182> has joined #libre-soc | 00:25 | |
| *** theruran <theruran!uid11305@id-11305.hampstead.irccloud.com> has quit IRC | 01:38 | |
| *** Veera_ <Veera_!~net-lr@117.246.28.182> has quit IRC | 01:43 | |
| *** Veera_ <Veera_!~net-lr@117.246.28.182> has joined #libre-soc | 01:43 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 01:57 | |
| *** Veera_ <Veera_!~net-lr@117.246.28.182> has quit IRC | 02:34 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 03:58 | |
| *** mx08 <mx08!~mx08@user/mx08> has quit IRC | 10:54 | |
| *** mx08 <mx08!~mx08@user/mx08> has joined #libre-soc | 10:54 | |
| *** sadoonalt <sadoonalt!~sadoonalt@188.70.15.202> has joined #libre-soc | 11:47 | |
| *** sadoonalt <sadoonalt!~sadoonalt@188.70.15.202> has quit IRC | 12:28 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 12:58 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.54.199> has joined #libre-soc | 12:59 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.54.199> has quit IRC | 13:03 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 13:05 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 14:30 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 14:30 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 15:16 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 15:17 | |
| *** sadoonalt <sadoonalt!~sadoonalt@188.70.15.202> has joined #libre-soc | 15:43 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 15:51 | |
| ghostmansd[m] | programmerjake, there'll be a lot of diffs, mostly caused by the fact that we add parentheses for binary operands when we visit the tree... This mostly needs a manual inspection. | 15:52 |
|---|---|---|
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 15:54 | |
| ghostmansd | That said, I _expect_ the generated Python code to be identical. Both parsers would drop the redundant parentheses whenever needed. | 15:54 |
| ghostmansd | There are also other minor discrepancies, e.g. `else if` would be yet another scope, literally two branches, else + a new if. | 15:55 |
| ghostmansd | Or, for example, I drop the "fallthrough" crap, and also split multi-label cases (though these can be modified). | 15:56 |
| ghostmansd | So, given the number of discrepancies, I think, one has to _read_ and _manually_ compare the pseudocode... | 15:57 |
| ghostmansd | ...that's why I decided not to bother and compare the generated Python code instead. :-) | 15:57 |
| ghostmansd | On a bright side, we should _always_ have strongly-typed nodes. No more complex Python AST expressions (like "hey, we converted it into a ast.Call instead, and also called getattr, and heck why not"). | 15:59 |
| ghostmansd | 1 action == 1 native pseudocode node | 15:59 |
| ghostmansd | If some weirdo (me?) wants to convert that to Python, that'd be much simpler. | 16:00 |
| ghostmansd | I also dropped all the stateful crap out of parser. It's just not the place to hold it. It's up to those who traverse the tree what to collect and how. | 16:00 |
| ghostmansd | By the way, I had no need to do it when I converted the AST back into Python. The only thing which needed special measures was `Z <- C ? A : B`, which is a special case of pc_ast.IfExpr. | 16:02 |
| ghostmansd | And that got converted to `if C then Z <- A else Z <- B`. | 16:02 |
| *** ghostmansd[pc] <ghostmansd[pc]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 17:53 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 17:57 | |
| *** ghostmansd[pc] <ghostmansd[pc]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 18:08 | |
| *** ghostmansd[pc] <ghostmansd[pc]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 18:43 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 19:05 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 19:06 | |
| *** ghostmansd[hex] <ghostmansd[hex]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 19:21 | |
| *** ghostmansd[pc] <ghostmansd[pc]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 19:25 | |
| sadoonalt | Ok trying again with dsrd | 19:45 |
| sadoonalt | programmerjake you'll find this funny, I chose my 0123456... FEDCBA.. values from a few days ago randomly, had no idea they were in bigint_cases.py | 19:57 |
| *** ghane <ghane!~ghane@ghane.net> has quit IRC | 20:00 | |
| *** theruran <theruran!uid11305@id-11305.hampstead.irccloud.com> has joined #libre-soc | 20:08 | |
| *** sadoonalt <sadoonalt!~sadoonalt@188.70.15.202> has quit IRC | 20:45 | |
| *** sadoonalt <sadoonalt!~sadoonalt@188.70.15.202> has joined #libre-soc | 20:57 | |
| sadoonalt | Ok I am confused now | 21:11 |
| sadoonalt | x = 0xb44f650000000000 y = 0x000000000000e289 | 21:12 |
| sadoonalt | DSRD (x, y, 20) should tack on y at the end right?? :( | 21:12 |
| sadoonalt | It's giving me 0x0000.. and 0x00000b44f6500000 | 21:12 |
| sadoonalt | > basically dsrd returns a 128-bit value with the high half in RT and the low half in RS | 21:13 |
| sadoonalt | > actually, it shifts RA by RB and ors in RC | 21:13 |
| *** ghane <ghane!~ghane@ghane.net> has joined #libre-soc | 21:36 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC | 22:22 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 23:01 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 23:16 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 23:58 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!