libreriscv.git
20 months agoduplicate fcvt[f/t]g[o] sections in preperation for splitting out Single versions
Jacob Lifshay [Thu, 23 Mar 2023 00:36:34 +0000 (17:36 -0700)]
duplicate fcvt[f/t]g[o] sections in preperation for splitting out Single versions

20 months agoconvert fmv[f/t]g to fmv[f/t]g[s][.]
Jacob Lifshay [Thu, 23 Mar 2023 00:31:27 +0000 (17:31 -0700)]
convert fmv[f/t]g to fmv[f/t]g[s][.]

20 months agoduplicate fmv[f/t]g sections in preperation for splitting out Single versions
Jacob Lifshay [Thu, 23 Mar 2023 00:19:12 +0000 (17:19 -0700)]
duplicate fmv[f/t]g sections in preperation for splitting out Single versions

20 months ago(no commit message)
lkcl [Thu, 23 Mar 2023 00:50:15 +0000 (00:50 +0000)]

20 months ago(no commit message)
lkcl [Thu, 23 Mar 2023 00:49:26 +0000 (00:49 +0000)]

20 months ago(no commit message)
lkcl [Thu, 23 Mar 2023 00:35:53 +0000 (00:35 +0000)]

20 months agofix: fmvtg. changes CR0, not CR1
Jacob Lifshay [Thu, 23 Mar 2023 00:15:50 +0000 (17:15 -0700)]
fix: fmvtg. changes CR0, not CR1

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 23:25:52 +0000 (23:25 +0000)]

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 23:22:14 +0000 (23:22 +0000)]

20 months agoadd fixmes for disagreement in the cost of JavaScript ToInt32 without fcvttgw
Jacob Lifshay [Wed, 22 Mar 2023 22:13:24 +0000 (15:13 -0700)]
add fixmes for disagreement in the cost of JavaScript ToInt32 without fcvttgw

20 months agospell JavaScript correctly
Jacob Lifshay [Wed, 22 Mar 2023 22:06:56 +0000 (15:06 -0700)]
spell JavaScript correctly

20 months agocopy table changes from ls006 to int_fp_mv
Jacob Lifshay [Wed, 22 Mar 2023 21:56:51 +0000 (14:56 -0700)]
copy table changes from ls006 to int_fp_mv

20 months agocopy changes from ls006 -> int_fp_mv -- table changes are a separate commit
Jacob Lifshay [Wed, 22 Mar 2023 21:55:18 +0000 (14:55 -0700)]
copy changes from ls006 -> int_fp_mv -- table changes are a separate commit

20 months agofix spacing
Jacob Lifshay [Wed, 22 Mar 2023 21:54:35 +0000 (14:54 -0700)]
fix spacing

20 months agochange formatting to line up with pages better
Jacob Lifshay [Wed, 22 Mar 2023 21:46:21 +0000 (14:46 -0700)]
change formatting to line up with pages better

20 months agorewrap text to save lines
Jacob Lifshay [Wed, 22 Mar 2023 21:45:41 +0000 (14:45 -0700)]
rewrap text to save lines

20 months agoconvert tables to be wider rather than taller
Jacob Lifshay [Wed, 22 Mar 2023 21:44:28 +0000 (14:44 -0700)]
convert tables to be wider rather than taller

20 months agopartially fix FPCSR in "Special Registers altered" sections
Jacob Lifshay [Wed, 22 Mar 2023 21:42:27 +0000 (14:42 -0700)]
partially fix FPCSR in "Special Registers altered" sections

didn't yet fill in "TODO: which bits?"

20 months agore-add empty lines before/after SetFX -- the spec has them, we should too
Jacob Lifshay [Wed, 22 Mar 2023 21:38:55 +0000 (14:38 -0700)]
re-add empty lines before/after SetFX -- the spec has them, we should too

20 months agospelling fixes
Jacob Lifshay [Wed, 22 Mar 2023 21:37:57 +0000 (14:37 -0700)]
spelling fixes

20 months agocopying changes from ls006 to int_fp_mv -- indent code blocks -- nothing else
Jacob Lifshay [Wed, 22 Mar 2023 21:33:39 +0000 (14:33 -0700)]
copying changes from ls006 to int_fp_mv -- indent code blocks -- nothing else

20 months agofill out notes and observations
Jacob Lifshay [Wed, 22 Mar 2023 20:50:17 +0000 (13:50 -0700)]
fill out notes and observations

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agoadd "Special Registers altered" sections
Jacob Lifshay [Wed, 22 Mar 2023 20:49:30 +0000 (13:49 -0700)]
add "Special Registers altered" sections

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agomisc grammar adjustments
Jacob Lifshay [Wed, 22 Mar 2023 20:45:31 +0000 (13:45 -0700)]
misc grammar adjustments

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agowhitespace adjustments
Jacob Lifshay [Wed, 22 Mar 2023 20:44:22 +0000 (13:44 -0700)]
whitespace adjustments

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agore-word-wrap text
Jacob Lifshay [Wed, 22 Mar 2023 20:42:14 +0000 (13:42 -0700)]
re-word-wrap text

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agoremove redundant text
Jacob Lifshay [Wed, 22 Mar 2023 20:29:15 +0000 (13:29 -0700)]
remove redundant text

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agoonly indent code -- nothing else
Jacob Lifshay [Wed, 22 Mar 2023 20:26:05 +0000 (13:26 -0700)]
only indent code -- nothing else

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.

20 months agoRevert "whitespace cleanup on ls006, remove duplication,"
Jacob Lifshay [Wed, 22 Mar 2023 20:10:08 +0000 (13:10 -0700)]
Revert "whitespace cleanup on ls006, remove duplication,"

I can't read the commitdiff, so I'm reverting and reapplying it as a set of split-up commits.

This reverts commit d827d9e11ce635d52652f8936a454319fa2ebea9.

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 17:08:05 +0000 (17:08 +0000)]

20 months agowhitespace cleanup on ls006, remove duplication,
Luke Kenneth Casson Leighton [Wed, 22 Mar 2023 16:06:18 +0000 (16:06 +0000)]
whitespace cleanup on ls006, remove duplication,
add "special registers altered" section

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 12:13:21 +0000 (12:13 +0000)]

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 11:10:48 +0000 (11:10 +0000)]

20 months agoremove fields that were not new, remove pagebreak in ls007
Luke Kenneth Casson Leighton [Wed, 22 Mar 2023 02:58:01 +0000 (02:58 +0000)]
remove fields that were not new, remove pagebreak in ls007

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 00:33:44 +0000 (00:33 +0000)]

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 00:30:54 +0000 (00:30 +0000)]

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 00:30:06 +0000 (00:30 +0000)]

20 months ago(no commit message)
lkcl [Wed, 22 Mar 2023 00:29:47 +0000 (00:29 +0000)]

20 months agoadd opf isa wg tracker issue to ls007 rfc
Luke Kenneth Casson Leighton [Tue, 21 Mar 2023 22:17:30 +0000 (22:17 +0000)]
add opf isa wg tracker issue to ls007 rfc

20 months agowhitespace in ls007
Luke Kenneth Casson Leighton [Tue, 21 Mar 2023 22:16:19 +0000 (22:16 +0000)]
whitespace in ls007

20 months agoremove section of pseudocode that does nothing
Jacob Lifshay [Tue, 21 Mar 2023 03:32:14 +0000 (20:32 -0700)]
remove section of pseudocode that does nothing

si64_CONVERT_FROM_BFP and friends don't actually set any flags

20 months ago(no commit message)
lkcl [Mon, 20 Mar 2023 17:46:16 +0000 (17:46 +0000)]

20 months agoclarify
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:57:12 +0000 (13:57 +0000)]
clarify

20 months agoadd keyword JIT to ls007
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:56:23 +0000 (13:56 +0000)]
add keyword JIT to ls007

20 months agoclarify fields nh and msk
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:55:10 +0000 (13:55 +0000)]
clarify fields nh and msk

20 months agomove sections around (to correct location) in ls007
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:53:44 +0000 (13:53 +0000)]
move sections around (to correct location) in ls007
update wording on crbinlut

20 months agoadd wording for binlut crbinlut to ls007
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:43:30 +0000 (13:43 +0000)]
add wording for binlut crbinlut to ls007
https://bugs.libre-soc.org/show_bug.cgi?id=1017

20 months agoadd wording section to crternlogi ls007
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 13:19:14 +0000 (13:19 +0000)]
add wording section to crternlogi ls007
https://bugs.libre-soc.org/show_bug.cgi?id=1017

20 months agowhoops remove VSR
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 12:46:11 +0000 (12:46 +0000)]
whoops remove VSR

20 months agoupdate ternlogi to be identical to xxeval (ls007), to make it clear
Luke Kenneth Casson Leighton [Mon, 20 Mar 2023 12:45:48 +0000 (12:45 +0000)]
update ternlogi to be identical to xxeval (ls007), to make it clear
that this is supposed to be exactly like xxeval.
even refer to the same table

20 months ago(no commit message)
lkcl [Mon, 20 Mar 2023 12:40:53 +0000 (12:40 +0000)]

20 months ago(no commit message)
lkcl [Mon, 20 Mar 2023 12:31:44 +0000 (12:31 +0000)]

20 months agoadd Forms to ls007, missing 1.6.2 fields
lkcl [Mon, 20 Mar 2023 12:31:10 +0000 (12:31 +0000)]
add Forms to ls007, missing 1.6.2 fields

20 months ago(no commit message)
lkcl [Mon, 20 Mar 2023 12:22:40 +0000 (12:22 +0000)]

20 months ago(no commit message)
lkcl [Sun, 19 Mar 2023 11:16:51 +0000 (11:16 +0000)]

20 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

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

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

20 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

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

20 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

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

20 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

20 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

20 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

20 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.

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

20 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

20 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

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

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

20 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

20 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)]