| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.56.116> has quit IRC | 00:57 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has joined #libre-soc | 00:58 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has quit IRC | 04:57 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.108> has joined #libre-soc | 04:57 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 07:42 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 07:43 | |
| *** yambo <yambo!~yambo@098-127-130-021.biz.spectrum.com> has quit IRC | 08:21 | |
| *** yambo <yambo!~yambo@098-127-130-021.biz.spectrum.com> has joined #libre-soc | 08:34 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.108> has quit IRC | 08:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has joined #libre-soc | 08:57 | |
| *** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #libre-soc | 09:14 | |
| *** psydroid1 <psydroid1!~psydroid@user/psydroid> has joined #libre-soc | 09:46 | |
| *** Ryuno-KiAndrJaen <Ryuno-KiAndrJaen!~ryuno-kim@2001:470:69fc:105::14ed> has joined #libre-soc | 09:46 | |
| *** sadoon[m] <sadoon[m]!~sadoonalb@2001:470:69fc:105::3:5f7c> has joined #libre-soc | 09:46 | |
| *** nyanbinary[m] <nyanbinary[m]!~nikocondu@2001:470:69fc:105::3:871b> has joined #libre-soc | 09:46 | |
| *** vaino[m] <vaino[m]!~vainomatr@2001:470:69fc:105::3:5474> has joined #libre-soc | 09:46 | |
| *** octavius <octavius!~octavius@92.40.169.33.threembb.co.uk> has joined #libre-soc | 10:52 | |
| octavius | lkcl, red meeting | 10:52 |
|---|---|---|
| lkcl | octavius, thx | 11:01 |
| lkcl | programmerjake, fantastic on the split_insns, will run and check later | 11:01 |
| *** mx08_ <mx08_!~mx08@user/mx08> has quit IRC | 11:09 | |
| *** mx08 <mx08!~mx08@user/mx08> has joined #libre-soc | 11:10 | |
| octavius | lkcl, bug on documenting issues has been raised | 11:54 |
| *** psydroid1 <psydroid1!~psydroid@user/psydroid> has quit IRC | 12:41 | |
| *** psydroid1 <psydroid1!~psydroid@user/psydroid> has joined #libre-soc | 12:43 | |
| octavius | Apologies to all for spamming the chat, and not properly raising a bug report. My work on generating the external core+svp64 is in this bug https://bugs.libre-soc.org/show_bug.cgi?id=1127 | 12:48 |
| octavius | Also, for future reference, a guide to how to raise issues is in this bug: https://bugs.libre-soc.org/show_bug.cgi?id=1126 | 12:48 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has quit IRC | 13:11 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.56.31> has joined #libre-soc | 13:12 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.56.31> has quit IRC | 13:22 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has joined #libre-soc | 13:23 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has quit IRC | 13:57 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has joined #libre-soc | 13:58 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has quit IRC | 14:32 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.252> has joined #libre-soc | 14:32 | |
| lkcl | programmerjake, preliminary unit test runs fine (test_caller_svp64_ldst.py) i'm running the rest (all the test_caller_*) | 14:33 |
| markos_ | programmerjake, there seems to be an extra . in av/minmax: av/minmax..mdwn | 14:48 |
| lkcl | markos_, it's because the instruction *is* named "minmax." | 15:03 |
| lkcl | programmerjake, the *entire* instruction needs to be split not the pseudocode. split-insn.sh can therefore simply output from "#". | 15:03 |
| lkcl | although it is much easier to use the parser.py that already exists which i suggested be used rather than rewrite from scratch an entirely new shell script | 15:04 |
| markos_ | ah, right, I hope this doesn't confused filename parsers | 15:04 |
| programmerjake | that's intentional since the mnemonic contains a . and that's how ikiwiki likes . in the page name | 15:07 |
| markos_ | nm then | 15:09 |
| programmerjake | https://libre-soc.org/openpower/isa/av/minmax./ | 15:09 |
| programmerjake | i explained why i split out the pseudocode -- see the latest bug comment | 15:14 |
| programmerjake | basically, rfcs have a bunch of extra sections in there that the parser doesn't like, and other places we quote just the pseudocode, so just the pseudocode needs to be in a file of its own | 15:16 |
| programmerjake | if you want the rest split out too i can do that today | 15:16 |
| programmerjake | but it'll be to separate files from the pseudocode that still have [[!inline]] in them | 15:17 |
| programmerjake | > although it is much easier to use the parser.py that already exists which i suggested be used rather than rewrite from scratch an entirely new shell script | 15:19 |
| programmerjake | not really since that discards lines as it goes, the shell script keeps them all which makes copying to the output much easier | 15:19 |
| programmerjake | i wasn't expecting the script to be this complex when i started... | 15:19 |
| programmerjake | a large part of the complexity is extracting the insn name so we know where to put the output file | 15:28 |
| programmerjake | so, just looking for # is too simplistic | 15:29 |
| lkcl | hmm it _shouldn't_ have discarded the lines... ahh i know: addw added the "comments" capability. drat | 15:56 |
| lkcl | mmm that's annoying because it's effectively resulted in duplicating the entirety of the parser... in shell-script | 15:57 |
| lkcl | which is unreadable. | 15:57 |
| lkcl | shell-scripts always are | 15:57 |
| lkcl | ah well, if it "does the job" that's fine, it's a one-off | 15:57 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 16:11 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 16:11 | |
| programmerjake | well, it's a one-time use script, so if it works we can delete it afterward | 16:22 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.252> has quit IRC | 16:22 | |
| programmerjake | though imho it's pretty readable | 16:22 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.192> has joined #libre-soc | 16:22 | |
| programmerjake | changing the parser to accommodate rfc insn syntax is a much more complex task | 16:24 |
| programmerjake | plus, isn't the spec in latex? so we need to support that... | 16:25 |
| *** octavius_ <octavius_!~octavius@92.40.204.173.threembb.co.uk> has joined #libre-soc | 17:25 | |
| *** yambo <yambo!~yambo@098-127-130-021.biz.spectrum.com> has quit IRC | 17:25 | |
| *** octavius <octavius!~octavius@92.40.169.33.threembb.co.uk> has quit IRC | 17:28 | |
| *** yambo <yambo!~yambo@098-127-130-021.biz.spectrum.com> has joined #libre-soc | 17:38 | |
| sadoon[m] | <lkcl> "sadoon, you can still log in..." <- Yes but I need to change my email address so that all emails also reach the new one + I'm letting go of the old domain in a few years and don't want it to be maliciously used :) | 17:54 |
| sadoon[m] | Ah, found a bugzilla way to change my email and add my real name, on it | 17:58 |
| sadoon[m] | Ok done | 17:59 |
| sadoon[m] | My email is sadoon (at) albader (dot) co btw | 17:59 |
| *** octavius_ <octavius_!~octavius@92.40.204.173.threembb.co.uk> has quit IRC | 18:01 | |
| *** octavius <octavius!~octavius@92.40.204.173.threembb.co.uk> has joined #libre-soc | 18:01 | |
| programmerjake | nice! just in case you forget: you need to also change it for the mailing lists | 18:18 |
| sadoon[m] | Do I just unsub the old one and sub the new one? | 18:19 |
| programmerjake | that should work | 18:20 |
| sadoon[m] | done :) | 18:22 |
| sadoon[m] | Before attempting gdb I'll try building a kernel for POWER7 (using the menuconfig option) and trying to boot it with both power9 and power7 | 18:22 |
| sadoon[m] | Suspecting something fishy happening when a kernel is built for power7 on little endian | 18:23 |
| sadoon[m] | Also I've been building a 64k pagesize kernel because I did not change the default, afaik POWER7 doesn't use that but supports it | 18:25 |
| sadoon[m] | Because even the PowerMac G5 does afaik | 18:25 |
| sadoon[m] | It emulates iot | 18:25 |
| sadoon[m] | it* | 18:25 |
| sadoon[m] | power7 kernel does not fail under power9 confirmed | 18:52 |
| sadoon[m] | the issue was disabling VSX and Altivec | 18:52 |
| sadoon[m] | still fails on power7 | 18:52 |
| sadoon[m] | in other words the kernel will not boot if I disable VSX and altivec, time to try one at a time | 18:52 |
| sadoon[m] | no vsx, power9 fails | 19:13 |
| sadoon[m] | power7 also fails, back to square one | 19:15 |
| sadoon[m] | I guess I can conclude now with some confidence that what Luke said re: the kernel emulating missing instructions to be not working | 19:16 |
| sadoon[m] | Because booting power7 with a default power9 kernel (4k pages) does not work | 19:16 |
| sadoon[m] | However I'm not 100% sure of that because VSX might not be emulated in that process | 19:17 |
| markos_ | guys, I will be about 30 min late for tonight's meeting, fyi | 19:32 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.192> has quit IRC | 20:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-90-154-80-239.ip.moscow.rt.ru> has joined #libre-soc | 20:03 | |
| *** octavius <octavius!~octavius@92.40.204.173.threembb.co.uk> has quit IRC | 22:33 | |
| lkcl | sadoon[m], ah you managed to change it on bugzilla too, awesome | 23:23 |
| lkcl | sadoon[m], yes, the ppc emulation present in the linux kernel is apparently there for gdb kernel single-stepping (?!?!) not for *actual* emulation sigh | 23:25 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!