From 64ee3d30c49918b97fa3c04bcd6231bfa5ee4307 Mon Sep 17 00:00:00 2001 From: Bill Schmidt Date: Thu, 9 Sep 2021 12:23:53 -0500 Subject: [PATCH] More updates, and prepare for external draft submission. --- Intrinsics_Reference/bk_main.xml | 6 +- Intrinsics_Reference/ch_mma_reference.xml | 13 +- Intrinsics_Reference/ch_vec_reference.xml | 290 +--------------------- 3 files changed, 18 insertions(+), 291 deletions(-) diff --git a/Intrinsics_Reference/bk_main.xml b/Intrinsics_Reference/bk_main.xml index c183b01..fe5bba5 100644 --- a/Intrinsics_Reference/bk_main.xml +++ b/Intrinsics_Reference/bk_main.xml @@ -54,7 +54,7 @@ OpenPOWER Foundation - Revision 2.0.0 + Revision 2.0.0_prd OpenPOWER @@ -88,11 +88,11 @@ - 2020-10-05 + 2021-09-08 - Version 2.0_pre pre-review draft + Version 2.0.0_prd public review draft diff --git a/Intrinsics_Reference/ch_mma_reference.xml b/Intrinsics_Reference/ch_mma_reference.xml index d8e8b50..d920326 100644 --- a/Intrinsics_Reference/ch_mma_reference.xml +++ b/Intrinsics_Reference/ch_mma_reference.xml @@ -49,11 +49,6 @@ Assist Best Practices Guide (see ) and to the POWER ISA. - - Review status: Chapter reviewed - by Paul Clarke; changes made. Chapter reviewed by Peter - Bergner; changes made. -
@@ -439,19 +434,19 @@ pmxvi16ger2 - __builtin_mma_pmxvi64ger2 + __builtin_mma_pmxvi16ger2 pmxvi16ger2pp - __builtin_mma_pmxvi64ger2pp + __builtin_mma_pmxvi16ger2pp pmxvi16ger2s - __builtin_mma_pmxvi64ger2s + __builtin_mma_pmxvi16ger2s pmxvi16ger2spp - __builtin_mma_pmxvi64ger2spp + __builtin_mma_pmxvi16ger2spp pmxvi4ger8 diff --git a/Intrinsics_Reference/ch_vec_reference.xml b/Intrinsics_Reference/ch_vec_reference.xml index 8b941c3..8d4cb2f 100644 --- a/Intrinsics_Reference/ch_vec_reference.xml +++ b/Intrinsics_Reference/ch_vec_reference.xml @@ -1604,10 +1604,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpequb. @@ -2107,10 +2103,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -2500,10 +2492,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -2979,10 +2967,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -3369,10 +3353,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -3856,10 +3836,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpneb. @@ -5570,10 +5546,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpneb. @@ -6112,10 +6084,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -6626,10 +6594,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -7044,10 +7008,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -7509,10 +7469,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb. @@ -8036,10 +7992,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpequb. @@ -10254,9 +10206,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Will Schmidt. - xxblendvb @@ -10720,9 +10669,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke; changes made. - vcfuged @@ -10990,9 +10936,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review status: - Reviewed by Paul Clarke. - vclrlb @@ -11129,9 +11072,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review status: - Reviewed by Paul Clarke. - vclrlb @@ -11370,10 +11310,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpequb @@ -11814,10 +11750,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb @@ -12191,10 +12123,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb @@ -12554,10 +12482,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb @@ -12931,10 +12855,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpgtsb @@ -13292,10 +13212,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vcmpneb @@ -14718,9 +14634,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke; changes made. - vclzdm @@ -14823,9 +14736,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> efficiently by the VSX Load Vector with Length (lxvl) instruction. - Review status: - Reviewed by Paul Clarke. - vcntmbb @@ -15761,9 +15671,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke; changes made. - vctzdm @@ -16108,10 +16015,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - Notes: The example implementation when Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - Notes: The example implementation when role="bold">b is negative one, the corresponding element of r is undefined. - - Review status: - Changes other than __int128 reviewed by Paul Clarke and - Jinsong Ji. Added 0x8000_0000 example per Jinsong's comment. - Changes for __int128 have been reviewed by Paul Clarke. - xxspltd @@ -16706,13 +16599,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> role="bold">r, the corresponding element of r is undefined. - - Review status: - Changes other than __int128 were reviewed by Paul Clarke and - Jinsong Ji. Updated language about the shift amount per - Jinsong's comment. Changes for __int128 were reviewed by Paul - Clarke. - vdivesw @@ -18219,9 +18105,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - vexpandbm @@ -19617,9 +19500,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> range 0 to 31. The results are undefined if the byte index does not address an element boundary. - Review status: - Reviewed by Will Schmidt. - vextubvlx @@ -19863,9 +19743,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> range 0 to 31. The results are undefined if the byte index does not address an element boundary. - Review status: - Not yet reviewed. - vextubvlx @@ -20097,9 +19974,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - vextractbm @@ -23108,9 +22982,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> vector regardless of endianness, the semantics of this built-in function differ on big-endian and little-endian targets. - Review status: - Reviewed by Paul Clarke; example added. - mtvsrbm @@ -23244,9 +23115,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> vector regardless of endianness, the semantics of this built-in function differ on big-endian and little-endian targets. - Review status: - Reviewed by Paul Clarke; example added. - mtvsrdm @@ -23375,9 +23243,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> vector regardless of endianness, the semantics of this built-in function differ on big-endian and little-endian targets. - Review status: - Reviewed by Paul Clarke; example added. - mtvsrhm @@ -23503,9 +23368,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> linkend="VIPR.intro.links" />) for examples of how to use this function in practice. - Review status: - Reviewed by Paul Clarke; minor changes made. - xxgenpcvbm @@ -23702,9 +23564,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - mtvsrqm @@ -23833,9 +23692,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> vector regardless of endianness, the semantics of this built-in function differ on big-endian and little-endian targets. - Review status: - Reviewed by Paul Clarke; example added. - mtvsrwm @@ -23930,9 +23786,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - vgnb @@ -24574,9 +24427,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> range 0 to 15. The results are undefined if the byte index does not address an element boundary. - Review status: - Not yet reviewed. - vinsblx @@ -24934,9 +24784,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> range 0 to 15. The results are undefined if the byte index does not address an element boundary. - Review status: - Not yet reviewed. - vinsblx @@ -28876,12 +28723,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> negative one, the corresponding element of r is undefined. - - Review status: - Changes other than __int128 were reviewed by Paul Clarke and - Jinsong Ji. Changes for __int128 have been reviewed by Paul - Clarke. - vmodsw @@ -29392,10 +29233,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke; changes made. - vmsummbm @@ -29603,9 +29440,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - vmsumcud @@ -29983,10 +29817,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> - - Review status: - Changes reviewed by Paul Clarke and Jinsong Ji. - vmulesb @@ -30288,10 +30118,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review - status: - Reviewed by Paul Clarke. - vmulosh @@ -30616,9 +30442,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke and Jinsong Ji. - vmulhsw @@ -30774,10 +30597,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review - status: - Reviewed by Paul Clarke. - vmulesh @@ -34487,9 +34306,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke; changes made. - vpdepd @@ -35067,9 +34883,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Instruction Set Architecture () for examples. - Review status: - Not yet reviewed. - xxpermx @@ -36177,9 +35990,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke; changes made. - vpextd @@ -37022,9 +36832,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> 0 and 3 for word-length elements, and between 0 and 1 for doubleword-length elements. - Review status: - Not yet reviewed. - vinsw @@ -37280,15 +37087,14 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: The semantics of this built-in function differ for big-endian - and little-endian targets. + and little-endian targets, since the byte position indicated by + c is in left-to-right order + regardless of target endianness. Notes: The value of c must be between 0 and 15. - Review status: - Not yet reviewed. - vinsw @@ -38248,10 +38054,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vrlb @@ -38593,10 +38395,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The referenced bit numbers within the elements of c are in left-to-right order. - - Review status: - Reviewed by Paul Clarke. - vrlwmi @@ -38769,10 +38567,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vspltisw @@ -40576,9 +40370,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> is used with the appropriate permute control vector (pcv) to achieve this. - Review status: - Reviewed by Paul Clarke. - vextsb2w @@ -40714,9 +40505,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> is used with the appropriate permute control vector (pcv) to achieve this. - Review status: - Reviewed by Paul Clarke. - vextsb2d @@ -40864,9 +40652,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Element 0 is the rightmost element for little endian, and the leftmost element for big endian. - Review status: - Reviewed by Paul Clarke. - vextsd2q @@ -40960,10 +40745,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vslb @@ -41625,15 +41406,14 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: The semantics of this built-in function differ for big-endian - and little-endian targets. + and little-endian targets, since the concatenation of a and b + is done in big-endian fashion (left to right). Notes: The value of c must be between 0 and 7, inclusive. - Review status: - Reviewed by Will Schmidt. - vsldbi @@ -43842,9 +43622,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Will Schmidt. - xxspltiw @@ -43951,9 +43728,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Element numbering is left-to-right in a register for big-endian targets, and right-to-left for little-endian targets. - Review status: - Reviewed by Will Schmidt. - xxsplti32dx @@ -44122,9 +43896,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> denormal value, the value of r is undefined. - Review status: - Not yet reviewed. - xxspltidp @@ -44543,10 +44314,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vsrb @@ -44838,10 +44605,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - - Review status: - Reviewed by Paul Clarke. - vsrab @@ -45137,15 +44900,14 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: The semantics of this built-in function differ for big-endian - and little-endian targets. + and little-endian targets, since the concatenation of a and b + is done in big-endian fashion (left to right). Notes: The value of c must be between 0 and 7, inclusive. - Review status: - Reviewed by Will Schmidt. - vsrdbi @@ -47763,9 +47525,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review status: - Reviewed by Paul Clarke. - vstribr @@ -47939,9 +47698,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> when the test guards a call to vec_stril. This allows compilers to generate the most efficient code. - Review status: - Reviewed by Paul Clarke. - vstribr. @@ -48127,9 +47883,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> The element numbering within a register is left-to-right for big-endian targets, and right-to-left for little-endian targets. - Review status: - Reviewed by Paul Clarke. - vstribr @@ -48303,9 +48056,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> when the test guards a call to vec_strir. This allows compilers to generate the most efficient code. - Review status: - Reviewed by Paul Clarke. - vstribr. @@ -50373,9 +50123,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Reviewed by Paul Clarke. - xxeval @@ -50732,9 +50479,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> t, and "bit" identifies the first bit position in condition register field t. - Review status: - Reviewed by Paul Clarke. - xvtlsbb @@ -50828,9 +50572,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> t, and "bit" identifies the third bit position in condition register field t. - Review status: - Reviewed by Paul Clarke. - xvtlsbb @@ -53877,7 +53618,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> to a 128-bit integer. Result value: - Let x be the addressed formed + Let x be the address formed by adding a and b. Then r is set to the value of the element @@ -53889,9 +53630,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Not yet reviewed. - lxvrbx @@ -54066,7 +53804,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> to a 128-bit unsigned integer. Result value: - Let x be the addressed formed + Let x be the address formed by adding a and b. Then r is set to the value of the element @@ -54078,9 +53816,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Not yet reviewed. - lxvrbx @@ -55568,9 +55303,6 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref"> Endian considerations: None. - Review status: - Not yet reviewed. - stxvrbx