From 070993b823969e82570fb967500e3d45b868ea38 Mon Sep 17 00:00:00 2001 From: Matt Mascarenhas Date: Thu, 10 May 2018 18:05:28 +0100 Subject: [PATCH] Annotate bitwise022 --- pervognsen/bitwise/bitwise/bitwise022.hmml | 100 ++++++++++++++++++++- 1 file changed, 98 insertions(+), 2 deletions(-) diff --git a/pervognsen/bitwise/bitwise/bitwise022.hmml b/pervognsen/bitwise/bitwise/bitwise022.hmml index e186863..175247c 100644 --- a/pervognsen/bitwise/bitwise/bitwise022.hmml +++ b/pervognsen/bitwise/bitwise/bitwise022.hmml @@ -1,3 +1,99 @@ -[video member=pervognsen stream_platform=twitch project=bitwise title="RISC-V Toolchain" vod_platform=youtube id=g6UJGcrQNY8 annotator=Miblo] -[0:00][\[Annotations to be written…\]] +[video member=pervognsen stream_platform=twitch project=bitwise medium=research title="RISC-V Toolchain" vod_platform=youtube id=g6UJGcrQNY8 annotator=Miblo] +[0:08][Recap and set the stage for the day][:speech] +[1:32][Demo the new command line interface, with and without the -lazy flag][:run :ui] +[3:05][Review the new support for different backend targets] +[6:23][A few words on appropriately deferring work][:speech] +[7:52][Continued review of the multiple backend target support] +[10:06][Review the new support of conditional compilation of source files based on target] +[14:47][Review the libc binding contributions from @twicetimes] +[17:17][Review the new Ion bindings of a subset of SDL, and full port of Noir to Ion][:language :library] +[22:02][Review Ion's destination-oriented varargs[ref + site=cppreference.com + page=va_start + url=http://en.cppreference.com/w/c/variadic/va_start]][:language] +[29:30][Step in to test_va_list() to demo Ion's varargs][:language :run] +[30:44][Explain the implementation of Ion's varargs][:language] +[34:28][Q&A][:speech] +[35:00][@nothings2][If you have "foo.ion" and "foo_linux.ion" does it compile both on linux, or only the most specific?][:"file io"] +[36:46][@nothings2][@pervognsen We found it useful in cdep to have the ability to have a common file (e.g. for all POSIX systems) and then override only for some platforms, but I don't think you have that ability with your exclude system, which will use all files that match so you can't have a fallback?] +[38:48][Demo Ion's ability to temporarily exclude files][:language :run] +[40:47][@cmdrkroz][@pervognsen What about static constant booleans that cause conditional compilation (a la java, which doesn't compile bytecode for conditionals that are always false)][:language] +[43:21][Set up to start work on RISC-V stuff,[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf] adding a "riscv" project to Visual Studio][:admin :isa] +[56:28][2.2 Base Instruction Formats[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf] of RISC-V vs x86][:isa] +[1:07:31][Why are the function bits split across multiple positions?[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]] +[1:08:37][@xanatos387][Seems like its just to keep the rd / rs1 / rs2 always in the same spots?][:isa] +[1:08:48][@nothings2][@pervognsen I have no idea, I can't see any downside to swapping funct3 and rd][:isa] +[1:09:35][Different immediate fields in RISC-V's core instruction formats[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[1:14:22][@rygorous][It's usually "sign extend and then do something else" or "do something else then sign extend", so the sign extend is on the critical path][:isa] +[1:14:30][@nothings2][It probably does get sign extended in 64-bit?][:isa] +[1:15:12][2.3 Immediate Encoding Variants[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[1:18:06][2.4 Integer Computational Instructions[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf] with a look at arithmetic right-shift of negative values in C[ref + author=ANSI + title="ISO/IEC 9899: Information technology – Programming languages – C" + url=http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf]][:isa :language] +[1:24:24][Demo the strange behaviour of arithmetic right-shift of -1][:language :run] +[1:26:21][2.4 Integer Computational Instructions, continued[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[1:28:23][LUI (load upper immediate)[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf], with a specific example of its use in conjunction with an addi][:isa] +[1:34:29][@rygorous][The lo / hi stuff needs to account for the signedness of lo][:isa] +[1:34:46][@rygorous][i.e. if the %lo bits end up with the top bit (sign) set, you need to increment %hi by 1][:isa] +[1:35:00][Continued example of LUI, and AUIPC (add upper immediate to pc)[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[1:38:25][Integer Register-Register Operations, and 2.5 Control Transfer Instructions[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[1:43:53]["jump and link" in RISC-V[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf] vs "call and return" in x86][:isa :optimisation] +[1:47:56][Conditional Branches[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf], with a comparison with cmp then jle in x86][:asm :isa] +[1:53:41][2.6 Load and Store Instructions[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[2:03:18][Load / Store instruction addressing modes in ARM, vs RISC-V's single "mode"[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[2:05:19][FENCE.I with an allusion to the Privileged spec,[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 2: Privileged Architecture" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-privileged-v1.10.pdf] and 2.8 Control and Status Register Instructions[ref + author="Andrew Waterman and Krste Asanović" + title="The RISC-V Instruction Set Manual - Volume 1: User-Level ISA" + url=https://github.com/riscv/riscv-isa-manual/blob/master/release/riscv-spec-v2.2.pdf]][:isa] +[2:10:39][Wind it down with the determination to look further into the LUI and sign-extension stuff][:speech] +[2:11:23][Q&A][:speech] +[2:12:06][@elventhief][What's your coding approach going to start as?] +[2:14:19][@miotatsu][@pervognsen You do just do lui followed by addi. I didn't know about the fix-up stuff [@rygorous Fabien] mentioned but I am looking at binutils source right now and it looks like it %hi is doing the fix-up like what @rygorous suggested earlier] +[2:15:06][That's it][:speech] [/video]