X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=rv_major_opcode_1010011.mdwn;h=6383cf0c48f21b9b91aecbffef51b4da553e6847;hb=d35f12fcbced4cd46fce3f0d496a873c2c7cc144;hp=5a5cb4fcbf3d5e399d6dca23c132b0f5ba5cbfaf;hpb=ab955d3d3b5739fe137c56acb1f1e9fac8bad65a;p=libreriscv.git diff --git a/rv_major_opcode_1010011.mdwn b/rv_major_opcode_1010011.mdwn index 5a5cb4fcb..6383cf0c4 100644 --- a/rv_major_opcode_1010011.mdwn +++ b/rv_major_opcode_1010011.mdwn @@ -1,3 +1,5 @@ +**OBSOLETE**, superceded by [[openpower/transcendentals]] + # Summary FP Opcodes This page aids and assists in the development of FP proposals, @@ -16,6 +18,7 @@ Publicly-known FP proposals: * Ztrig\* - see [[ztrans_proposal]]: Trigonometriics (FSIN, FCOS, FTAN, arc-variants, hypotenuse-variants) * Extension of formats to cover FP16 (RISC-V ISA Manual Table 11.3 "fmt field") + * HI-half FP MV - * (Add new entries here: Zextname - Description and URL) @@ -63,8 +66,8 @@ funct5 | SDHQ | rs2 | rs1 | funct3 | rd | opcode | name | 01110 | xx | rs2 | rs1 | rm | rd | 1010011 | **FATAN2PI.xx**| 01111 | xx | rs2 | rs1 | rm | rd | 1010011 | **FPOW.xx** | 10000 | xx | rs2 | rs1 | yyy | rd | 1010011 | **FROOTN.xx** | -10001 | xx | rs2 | rs1 | yyy | rd | 1010011 | ? | -10010 | xx | rs2 | rs1 | yyy | rd | 1010011 | ? | +10001 | xx | rs2 | rs1 | yyy | rd | 1010011 | **FPOWN.xx** | +10010 | xx | rs2 | rs1 | yyy | rd | 1010011 | **FPOWR.xx** | 10011 | xx | rs2 | rs1 | yyy | rd | 1010011 | ? | 10100 | xx | rs2 | rs1 | yyy | rd | 1010011 | tb=10100 | 10101 | xx | rs2 | rs1 | yyy | rd | 1010011 | ? | @@ -262,13 +265,15 @@ Proposed for ZftransAdv - FPOW: "FP rs1 to the power of rs2" Proposed for ZftransAdv - FPROOTN: "FP rs1 to the power of (1/rs2)". rs1 is FP, rs2 is **integer**. -## funct5 = 10000 - unused +## funct5 = 10000 - **FPOWN** -Brownfield encodings available. +Proposed for ZftransAdv - FPOW: "FP rs1 to the power of rs2" +rs1 is FP, rs2 is **integer**. -## funct5 = 10001 - unused +## funct5 = 10001 - **FPOW** -Brownfield encodings available. +Proposed for ZftransAdv - FPOWN: "FP rs1 to the power of rs2, rs1 +ve" +rs1 and rs2 are FP, rs1 must be +ve. Equivalent to "exp(rs2 * log(rs1))" ## funct5 = 10010 - unused