Libre RISC-V Mailing list Archives (accessible via public-inbox)
 help / color / Atom feed
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: [libre-riscv-dev] daily kan-ban update 11jul2020
Date: Sat, 11 Jul 2020 14:28:00 +0100
Message-ID: <CAPweEDzThqgf0oXaNJCVT8o1sXWha7YSnUaXN5uwvZuV5giOmQ@mail.gmail.com> (raw)

task list:

https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1

yesterday:

* sorting out div, particularly overflow.
* helping samuel get up and running

today:

* tracked down issue with whitequark that jacob highlighted, on vcd files
* added "overflow calculation" to MUL pseudocode
* added more MUL unit tests


i'm starting to become reasonably confident that MUL and DIV are
functionally correct.  checking against first qemu then actual POWER9 would
help with that.

the only downside being that the blocks are so massive that we can't
realistically use them as-is.  however the unit tests give us a baseline to
"codemorph" against.

still the biggest next milestone is being able to select littlend/bigend
code in order to run microwatt unit tests.  still thinking that through.

l.



-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

             reply index

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-11 13:28 Luke Kenneth Casson Leighton [this message]
2020-07-12  1:56 ` Luke Kenneth Casson Leighton

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAPweEDzThqgf0oXaNJCVT8o1sXWha7YSnUaXN5uwvZuV5giOmQ@mail.gmail.com \
    --to=lkcl@lkcl.net \
    --cc=libre-riscv-dev@lists.libre-riscv.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Libre RISC-V Mailing list Archives (accessible via public-inbox)

Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev

Example config snippet for mirrors


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git