libreriscv.git
19 months agominor update to spur rebuild
Luke Kenneth Casson Leighton [Fri, 17 Mar 2023 15:05:04 +0000 (15:05 +0000)]
minor update to spur rebuild

19 months ago(no commit message)
lkcl [Fri, 17 Mar 2023 12:16:18 +0000 (12:16 +0000)]

19 months ago(no commit message)
lkcl [Fri, 17 Mar 2023 11:59:14 +0000 (11:59 +0000)]

19 months agoclarify java/saturating only refers to java's fp->int for long/int
Jacob Lifshay [Thu, 16 Mar 2023 19:08:24 +0000 (12:08 -0700)]
clarify java/saturating only refers to java's fp->int for long/int

we specifically don't mean java's float -> byte/short/etc. that saturates to int then truncates

19 months ago(no commit message)
lkcl [Thu, 16 Mar 2023 09:09:38 +0000 (09:09 +0000)]

19 months agomove assembly aliases to new page
Jacob Lifshay [Thu, 16 Mar 2023 03:31:30 +0000 (20:31 -0700)]
move assembly aliases to new page

19 months agoadd content to ls006
Jacob Lifshay [Thu, 16 Mar 2023 03:28:40 +0000 (20:28 -0700)]
add content to ls006

19 months agoadd ls006/ls007 pdfs to makefile
Jacob Lifshay [Thu, 16 Mar 2023 03:18:08 +0000 (20:18 -0700)]
add ls006/ls007 pdfs to makefile

19 months agoadd .gitignore to ignore generated RFC PDFs
Jacob Lifshay [Thu, 16 Mar 2023 03:17:36 +0000 (20:17 -0700)]
add .gitignore to ignore generated RFC PDFs

19 months agofix inaccuracies in int_fp_mv.mdwn
Jacob Lifshay [Thu, 16 Mar 2023 03:15:25 +0000 (20:15 -0700)]
fix inaccuracies in int_fp_mv.mdwn

19 months agoremove removed options from pandoc
Jacob Lifshay [Thu, 16 Mar 2023 03:00:28 +0000 (20:00 -0700)]
remove removed options from pandoc

they were removed before the version in debian buster, later versions changed them to error exit.

19 months agoreformat rfc makefile
Jacob Lifshay [Thu, 16 Mar 2023 02:58:57 +0000 (19:58 -0700)]
reformat rfc makefile

19 months agorename Java conversion semantics to Java/Saturating conversion semantics
Jacob Lifshay [Thu, 16 Mar 2023 02:25:45 +0000 (19:25 -0700)]
rename Java conversion semantics to Java/Saturating conversion semantics

since nearly everywhere else refers to it as saturating conversion

19 months agoupdate ls006, filling in section numbers
Jacob Lifshay [Thu, 16 Mar 2023 01:52:18 +0000 (18:52 -0700)]
update ls006, filling in section numbers

19 months ago(no commit message)
lkcl [Wed, 15 Mar 2023 16:54:09 +0000 (16:54 +0000)]

19 months ago(no commit message)
lkcl [Wed, 15 Mar 2023 16:53:20 +0000 (16:53 +0000)]

19 months agorewrite crternlogi and crbinlog to match new format, required to
Luke Kenneth Casson Leighton [Wed, 15 Mar 2023 15:00:29 +0000 (15:00 +0000)]
rewrite crternlogi and crbinlog to match new format, required to
reduce both instructions to 3-read 1-write.
https://bugs.libre-soc.org/show_bug.cgi?id=1023#c2

19 months agofix limit and move comment
Jacob Lifshay [Wed, 15 Mar 2023 10:59:23 +0000 (03:59 -0700)]
fix limit and move comment

20 months agofix javascript conversion of huge values
Jacob Lifshay [Wed, 15 Mar 2023 08:46:44 +0000 (01:46 -0700)]
fix javascript conversion of huge values

the old code would convert 1e100 to -1 when it should have been 0.

20 months agomove int_fp_mv_reduced_insn_count.mdwn over int_fp_mv.mdwn
Jacob Lifshay [Wed, 15 Mar 2023 08:16:57 +0000 (01:16 -0700)]
move int_fp_mv_reduced_insn_count.mdwn over int_fp_mv.mdwn

20 months agocopy changes over from int_fp_mv.mdwn
Jacob Lifshay [Wed, 15 Mar 2023 08:16:15 +0000 (01:16 -0700)]
copy changes over from int_fp_mv.mdwn

20 months agodelete now-unnecessary section on experimental naming schemes
Jacob Lifshay [Wed, 15 Mar 2023 08:12:22 +0000 (01:12 -0700)]
delete now-unnecessary section on experimental naming schemes

20 months agoadd note on considered alternative naming schemes
Jacob Lifshay [Wed, 15 Mar 2023 08:11:51 +0000 (01:11 -0700)]
add note on considered alternative naming schemes

20 months agorewrite int_fp_mv_reduced_insn_count to account for reduced instructions changes
Jacob Lifshay [Wed, 15 Mar 2023 08:01:12 +0000 (01:01 -0700)]
rewrite int_fp_mv_reduced_insn_count to account for reduced instructions changes

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 16:41:57 +0000 (16:41 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 15:24:47 +0000 (15:24 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 14:20:38 +0000 (14:20 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 14:16:59 +0000 (14:16 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 14:13:47 +0000 (14:13 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Mar 2023 14:05:35 +0000 (14:05 +0000)]

20 months agoremoving this page as is should never have had time wasted on it without first
Luke Kenneth Casson Leighton [Tue, 14 Mar 2023 10:25:22 +0000 (10:25 +0000)]
removing this page as is should never have had time wasted on it without first
discussing if the concept has alternatives or could cause harm to the Power ISA

20 months agoadd crternlogi to ls007
Jacob Lifshay [Tue, 14 Mar 2023 00:01:28 +0000 (17:01 -0700)]
add crternlogi to ls007

20 months agoadd instruction section locations
Jacob Lifshay [Tue, 14 Mar 2023 00:01:10 +0000 (17:01 -0700)]
add instruction section locations

20 months agoadd binlog to ls007
Jacob Lifshay [Mon, 13 Mar 2023 23:40:35 +0000 (16:40 -0700)]
add binlog to ls007

20 months agoRevert "add todo about changing crbinlog lut argument to a gpr"
Luke Kenneth Casson Leighton [Sat, 11 Mar 2023 03:50:20 +0000 (03:50 +0000)]
Revert "add todo about changing crbinlog lut argument to a gpr"

This reverts commit a987b9ff6f1e9a151d8af257ffdf71a11bbaa219.

20 months agoadd todo about changing crbinlog lut argument to a gpr
Jacob Lifshay [Fri, 10 Mar 2023 22:14:45 +0000 (14:14 -0800)]
add todo about changing crbinlog lut argument to a gpr

20 months agols007: complexifying the decoder has already been explained.
Luke Kenneth Casson Leighton [Fri, 10 Mar 2023 05:41:06 +0000 (05:41 +0000)]
ls007: complexifying the decoder has already been explained.
please do not waste time writing code for which the answer has already
been a very clear NO

20 months agoWIP adding ternlogi to ls007
Jacob Lifshay [Fri, 10 Mar 2023 01:29:13 +0000 (17:29 -0800)]
WIP adding ternlogi to ls007

20 months agoadd experiment for seeing if changing ternlogi to have 7-bit immediate could even...
Jacob Lifshay [Thu, 9 Mar 2023 08:10:47 +0000 (00:10 -0800)]
add experiment for seeing if changing ternlogi to have 7-bit immediate could even work

turns out, it probably can. I wrote a script that looks for possible expand_encoded_imm()
functions and filled in one I found.

20 months agoadd svp64 cookbook recipe root
Luke Kenneth Casson Leighton [Wed, 8 Mar 2023 19:47:33 +0000 (19:47 +0000)]
add svp64 cookbook recipe root

20 months agoremoving fgrevi as no discussion has been entered into as to whether
Luke Kenneth Casson Leighton [Wed, 8 Mar 2023 19:37:48 +0000 (19:37 +0000)]
removing fgrevi as no discussion has been entered into as to whether
these are valuable, desirable, or could even cause damage to the Power ISA.

Revert "add fgrevi and friends"

This reverts commit 53f89737fbbc00ede56f2638db43090818a16e0b.

20 months agoadd fgrevi and friends
Jacob Lifshay [Wed, 8 Mar 2023 03:56:56 +0000 (19:56 -0800)]
add fgrevi and friends

20 months agocopy int_fp_mv to int_fp_mv_replace_fmv_with_fgrev
Jacob Lifshay [Wed, 8 Mar 2023 02:58:36 +0000 (18:58 -0800)]
copy int_fp_mv to int_fp_mv_replace_fmv_with_fgrev

20 months agoadd ls007 stub RFC
Luke Kenneth Casson Leighton [Tue, 7 Mar 2023 14:15:35 +0000 (14:15 +0000)]
add ls007 stub RFC
bug https://bugs.libre-soc.org/show_bug.cgi?id=1017

20 months ago(no commit message)
lkcl [Tue, 7 Mar 2023 13:58:18 +0000 (13:58 +0000)]

20 months agoadd int fp move ls006 stub rfc
Luke Kenneth Casson Leighton [Tue, 7 Mar 2023 13:39:23 +0000 (13:39 +0000)]
add int fp move ls006 stub rfc

20 months agoedit notes
Jacob Lifshay [Tue, 7 Mar 2023 05:14:16 +0000 (21:14 -0800)]
edit notes

20 months agoconvert notes column to bullet list entry instead
Jacob Lifshay [Tue, 7 Mar 2023 04:43:24 +0000 (20:43 -0800)]
convert notes column to bullet list entry instead

20 months agofix formatting
Jacob Lifshay [Tue, 7 Mar 2023 04:41:08 +0000 (20:41 -0800)]
fix formatting

20 months agofix formatting
Jacob Lifshay [Tue, 7 Mar 2023 04:40:00 +0000 (20:40 -0800)]
fix formatting

20 months agoadd reduced instruction list
Jacob Lifshay [Tue, 7 Mar 2023 04:27:32 +0000 (20:27 -0800)]
add reduced instruction list

20 months agoadd header
Jacob Lifshay [Tue, 7 Mar 2023 04:10:10 +0000 (20:10 -0800)]
add header

20 months agocopy int_fp_mv.mdwn -> int_fp_mv_reduced_insn_count.mdwn
Jacob Lifshay [Tue, 7 Mar 2023 04:02:02 +0000 (20:02 -0800)]
copy int_fp_mv.mdwn -> int_fp_mv_reduced_insn_count.mdwn

20 months ago(no commit message)
lkcl [Fri, 3 Mar 2023 16:16:36 +0000 (16:16 +0000)]

20 months ago(no commit message)
lkcl [Fri, 3 Mar 2023 10:50:59 +0000 (10:50 +0000)]

20 months agoadd comment needing resolution in ls003 about 3-in 3-out
Luke Kenneth Casson Leighton [Fri, 3 Mar 2023 10:47:06 +0000 (10:47 +0000)]
add comment needing resolution in ls003 about 3-in 3-out

20 months agols003: now 5 instructions being proposed.
Luke Kenneth Casson Leighton [Fri, 3 Mar 2023 10:32:45 +0000 (10:32 +0000)]
ls003: now 5 instructions being proposed.
shorten the words in the observations section to fit onto 1st page

20 months agocleanup ls003 - clarify Rc=1 setting overflow,
Luke Kenneth Casson Leighton [Fri, 3 Mar 2023 10:16:57 +0000 (10:16 +0000)]
cleanup ls003 - clarify Rc=1 setting overflow,
remove comment on divmod2du, add pagebreaks

20 months agoadd justification for maddedus
Jacob Lifshay [Fri, 3 Mar 2023 05:41:01 +0000 (21:41 -0800)]
add justification for maddedus

20 months agoremove trailing spaces
Jacob Lifshay [Fri, 3 Mar 2023 05:33:56 +0000 (21:33 -0800)]
remove trailing spaces

20 months agoadd maddedus to ls003
Jacob Lifshay [Fri, 3 Mar 2023 05:24:22 +0000 (21:24 -0800)]
add maddedus to ls003

20 months agofix version numbers in table
Jacob Lifshay [Fri, 3 Mar 2023 05:23:41 +0000 (21:23 -0800)]
fix version numbers in table

20 months agofix typos
Jacob Lifshay [Fri, 3 Mar 2023 05:10:06 +0000 (21:10 -0800)]
fix typos

20 months agols003: add to motivation (about dsld and dsrd),
Luke Kenneth Casson Leighton [Thu, 2 Mar 2023 13:06:29 +0000 (13:06 +0000)]
ls003: add to motivation (about dsld and dsrd),
correction of "warm words" for dsld and dsrd,
proposing four instructions not two

20 months agoadd section VA2-Form regs needed
Luke Kenneth Casson Leighton [Thu, 2 Mar 2023 12:03:01 +0000 (12:03 +0000)]
add section VA2-Form regs needed
update descriptions of dsld and dsrd in ls003

20 months agoadd comments and column for MyISA 66000 transcendentals,
Luke Kenneth Casson Leighton [Fri, 24 Feb 2023 21:21:19 +0000 (21:21 +0000)]
add comments and column for MyISA 66000 transcendentals,
with thanks to Mitch Alsup

20 months agoupdate URL for ls005
Luke Kenneth Casson Leighton [Tue, 21 Feb 2023 12:28:13 +0000 (12:28 +0000)]
update URL for ls005

20 months ago(no commit message)
lkcl [Fri, 24 Feb 2023 16:06:41 +0000 (16:06 +0000)]

20 months agoremoved old nmigen website reference
sadoon [Tue, 21 Feb 2023 13:52:42 +0000 (13:52 +0000)]
removed old nmigen website reference

20 months ago(no commit message)
sadoon [Tue, 21 Feb 2023 13:50:19 +0000 (13:50 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:44:45 +0000 (12:44 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:39:37 +0000 (12:39 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:38:35 +0000 (12:38 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:30:20 +0000 (12:30 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:29:12 +0000 (12:29 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:25:30 +0000 (12:25 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:10:34 +0000 (12:10 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:09:39 +0000 (12:09 +0000)]

20 months ago(no commit message)
lkcl [Tue, 21 Feb 2023 12:09:19 +0000 (12:09 +0000)]

20 months ago(no commit message)
lkcl [Fri, 17 Feb 2023 21:15:00 +0000 (21:15 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Feb 2023 20:02:15 +0000 (20:02 +0000)]

20 months ago(no commit message)
lkcl [Tue, 14 Feb 2023 20:01:22 +0000 (20:01 +0000)]

21 months agomeeting suggested adding shaddw while keeping shadduw
Jacob Lifshay [Thu, 9 Feb 2023 01:35:00 +0000 (17:35 -0800)]
meeting suggested adding shaddw while keeping shadduw

21 months agomark bigint link to prevent confusion
Jacob Lifshay [Thu, 9 Feb 2023 01:34:19 +0000 (17:34 -0800)]
mark bigint link to prevent confusion

21 months agoadd link to https://bugs.libre-soc.org/show_bug.cgi?id=996
programmerjake [Wed, 8 Feb 2023 19:59:07 +0000 (19:59 +0000)]
add link to https://bugs.libre-soc.org/show_bug.cgi?id=996

21 months ago(no commit message)
lkcl [Wed, 8 Feb 2023 19:34:46 +0000 (19:34 +0000)]

21 months ago(no commit message)
lkcl [Mon, 6 Feb 2023 20:02:46 +0000 (20:02 +0000)]

21 months agoswap date to more normal order
Jacob Lifshay [Tue, 31 Jan 2023 09:59:39 +0000 (01:59 -0800)]
swap date to more normal order

21 months agoreplace decred address
Jacob Lifshay [Tue, 31 Jan 2023 05:36:02 +0000 (21:36 -0800)]
replace decred address

21 months ago(no commit message)
lkcl [Fri, 27 Jan 2023 15:48:54 +0000 (15:48 +0000)]

21 months ago(no commit message)
lkcl [Tue, 24 Jan 2023 05:12:51 +0000 (05:12 +0000)]

22 months ago(no commit message) opf_rfc_ls005_v1
lkcl [Fri, 23 Dec 2022 16:51:33 +0000 (16:51 +0000)]

22 months agoswitch link to archived version to prevent link rot
programmerjake [Fri, 23 Dec 2022 09:03:51 +0000 (09:03 +0000)]
switch link to archived version to prevent link rot

22 months agouse OpenPower naming where appropriate and add fp8 link
programmerjake [Thu, 22 Dec 2022 22:48:21 +0000 (22:48 +0000)]
use OpenPower naming where appropriate and add fp8 link

22 months agoremove source as strictly speaking there is none applicable
Luke Kenneth Casson Leighton [Thu, 22 Dec 2022 22:36:38 +0000 (22:36 +0000)]
remove source as strictly speaking there is none applicable

22 months agoFP32 is called BFP32 by IBM (ls005), see ls002
Luke Kenneth Casson Leighton [Thu, 22 Dec 2022 22:31:49 +0000 (22:31 +0000)]
FP32 is called BFP32 by IBM (ls005), see ls002

22 months agoremove reference
Luke Kenneth Casson Leighton [Thu, 22 Dec 2022 22:23:55 +0000 (22:23 +0000)]
remove reference

22 months ago(no commit message)
lkcl [Thu, 22 Dec 2022 22:26:02 +0000 (22:26 +0000)]

22 months agoadd blank discussion page
Luke Kenneth Casson Leighton [Thu, 22 Dec 2022 22:23:31 +0000 (22:23 +0000)]
add blank discussion page

22 months agoremove reference to keep RFC to 1 page
Luke Kenneth Casson Leighton [Thu, 22 Dec 2022 22:22:49 +0000 (22:22 +0000)]
remove reference to keep RFC to 1 page