Skip to content

Commit

Permalink
Merge pull request #34 from majin2020/fmv
Browse files Browse the repository at this point in the history
Fmv: fix incorrect operands and encoding for th.fmv.hw.x and th.fmv.x.hw
  • Loading branch information
Cooper-Qu authored Nov 14, 2023
2 parents 6532ec8 + 622c415 commit 24349e6
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 8 deletions.
2 changes: 1 addition & 1 deletion xtheadfmv.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ The table below gives an overview of the instructions:
[cols="^3,^3,12,18",stripes=even,options="header"]
|===
| RV32 | RV64 | Mnemonic | Instruction
| Y | N | th.fmv.hw.x _rd_, _fs1_ | <<#xtheadfmv-insns-fmv_hw_x>>
| Y | N | th.fmv.hw.x _fd_, _rs1_ | <<#xtheadfmv-insns-fmv_hw_x>>
| Y | N | th.fmv.x.hw _rd_, _fs1_ | <<#xtheadfmv-insns-fmv_x_hw>>
|===

Expand Down
12 changes: 6 additions & 6 deletions xtheadfmv/fmv_hw_x.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -5,28 +5,28 @@ Synopsis::
Write double-precision floating-point high-bit data

Mnemonic::
th.fmv.hw.x _rd_, _fs1_
th.fmv.hw.x _fd_, _rs1_

Encoding::
[wavedrom, , svg]
....
{reg:[
{ bits: 7, name: 0xb, attr: ['custom-0, 32 bit'] },
{ bits: 5, name: 'rd' },
{ bits: 5, name: 'fd' },
{ bits: 3, name: 0x1 },
{ bits: 5, name: 'fs1' },
{ bits: 5, name: 'rs1' },
{ bits: 5, name: 0x0 },
{ bits: 7, name: 0x50 },
{ bits: 7, name: 0x60 },
]}
....

Description::
This instruction stores the contents of the specified 32-bit GP register _rd_ in the upper 32-bit of the specified double-precision FP register _fs1_.
This instruction stores the contents of the specified 32-bit GP register _fd_ in the upper 32-bit of the specified double-precision FP register _rs1_.

Operation::
[source,sail]
--
fs1[63:32] := rd
fd[63:32] := rs1
--

Permission::
Expand Down
2 changes: 1 addition & 1 deletion xtheadfmv/fmv_x_hw.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ Encoding::
{ bits: 3, name: 0x1 },
{ bits: 5, name: 'fs1' },
{ bits: 5, name: 0x0 },
{ bits: 7, name: 0x60 },
{ bits: 7, name: 0x50 },
]}
....

Expand Down

0 comments on commit 24349e6

Please sign in to comment.