From: Jacob Lifshay Date: Thu, 23 Mar 2023 01:38:02 +0000 (-0700) Subject: move form tables to between mnemonic list and pseudo-code, like the spec does X-Git-Tag: opf_rfc_ls001_v3~82 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=928a7c90f0c8a6ac938dad6477b9df6b3978c874;p=libreriscv.git move form tables to between mnemonic list and pseudo-code, like the spec does --- diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn index 6f7472a4e..f0e7b52ed 100644 --- a/openpower/sv/int_fp_mv.mdwn +++ b/openpower/sv/int_fp_mv.mdwn @@ -403,15 +403,15 @@ as exceptions. ## Floating Convert From Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|--------| -| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | - ``` fcvtfg FRT, RB, IT fcvtfg. FRT, RB, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|--------| +| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | + ``` if IT[0] = 0 then # 32-bit int -> 64-bit float # rounding never necessary, so don't touch FPSCR @@ -474,15 +474,15 @@ Special Registers altered: ## Floating Convert From Integer In GPR Single -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|--------| -| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | - ``` fcvtfgs FRT, RB, IT fcvtfgs. FRT, RB, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|--------| +| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | + ``` # rounding may be necessary. based off xscvuxdsp reset_xflags() @@ -667,10 +667,6 @@ Section 7.1 of the ECMAScript / JavaScript ## Floating Convert To Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|----|---------| -| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | - ``` fcvttg RT, FRB, CVM, IT fcvttg. RT, FRB, CVM, IT @@ -678,6 +674,10 @@ Section 7.1 of the ECMAScript / JavaScript fcvttgo. RT, FRB, CVM, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|----|---------| +| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | + ``` # based on xscvdpuxws reset_xflags() @@ -812,10 +812,6 @@ Special Registers altered: ## Floating Convert Single To Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|----|---------| -| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | - ``` fcvtstg RT, FRB, CVM, IT fcvtstg. RT, FRB, CVM, IT @@ -823,6 +819,10 @@ Special Registers altered: fcvtstgo. RT, FRB, CVM, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|----|---------| +| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | + ``` # based on xscvdpuxws reset_xflags() diff --git a/openpower/sv/rfc/ls006.mdwn b/openpower/sv/rfc/ls006.mdwn index a9cfa7679..748159182 100644 --- a/openpower/sv/rfc/ls006.mdwn +++ b/openpower/sv/rfc/ls006.mdwn @@ -251,15 +251,15 @@ Special Registers altered: ## Floating Convert From Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|--------| -| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | - ``` fcvtfg FRT, RB, IT fcvtfg. FRT, RB, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|--------| +| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | + ``` if IT[0] = 0 then # 32-bit int -> 64-bit float # rounding never necessary, so don't touch FPSCR @@ -326,15 +326,15 @@ Special Registers altered: ## Floating Convert From Integer In GPR Single -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|--------| -| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | - ``` fcvtfgs FRT, RB, IT fcvtfgs. FRT, RB, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|--------| +| PO | FRT | IT | 0 | RB | XO | Rc | X-Form | + ``` # rounding may be necessary. based off xscvuxdsp reset_xflags() @@ -531,10 +531,6 @@ Section 7.1 of the ECMAScript / JavaScript ## Floating Convert To Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|----|---------| -| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | - ``` fcvttg RT, FRB, CVM, IT fcvttg. RT, FRB, CVM, IT @@ -542,6 +538,10 @@ Section 7.1 of the ECMAScript / JavaScript fcvttgo. RT, FRB, CVM, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|----|---------| +| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | + ``` # based on xscvdpuxws reset_xflags() @@ -680,10 +680,6 @@ Special Registers altered: ## Floating Convert Single To Integer In GPR -| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | -|-----|------|-------|-------|-------|-------|----|----|---------| -| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | - ``` fcvtstg RT, FRB, CVM, IT fcvtstg. RT, FRB, CVM, IT @@ -691,6 +687,10 @@ Special Registers altered: fcvtstgo. RT, FRB, CVM, IT ``` +| 0-5 | 6-10 | 11-12 | 13-15 | 16-20 | 21-29 | 30 | 31 | Form | +|-----|------|-------|-------|-------|-------|----|----|---------| +| PO | RT | IT | CVM | FRB | XO | OE | Rc | XO-Form | + ``` # based on xscvdpuxws reset_xflags()