From c00bfa205dc2b06a671d2db83b776cbcc6426b81 Mon Sep 17 00:00:00 2001 From: Francesco Petrogalli Date: Fri, 24 Jan 2020 09:02:45 -0600 Subject: [PATCH 1/4] [abi][vfabia64] Specify the value of inactive lanes in output. The issue has been discussed in https://github.com/ARM-software/software-standards/issues/2 --- abi/vfabia64/vfabia64.rst | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/abi/vfabia64/vfabia64.rst b/abi/vfabia64/vfabia64.rst index 302ee640..103cb48f 100644 --- a/abi/vfabia64/vfabia64.rst +++ b/abi/vfabia64/vfabia64.rst @@ -1489,6 +1489,12 @@ Masked signature generation for ``[not]inbranch`` clause. |``#pragma omp declare simd notinbranch`` |No |Yes |Yes |No | +-----------------------------------------+-------+--------+------+--------+ +Return value and masking +------------------------ + +The inactive lanes of return values of masked functions is ``undef``. + + Advanced SIMD masking --------------------- From 8cf8869cf582f285ee1c1ca69ac8e7d44f69cf40 Mon Sep 17 00:00:00 2001 From: Francesco Petrogalli Date: Tue, 28 Jan 2020 13:53:58 -0600 Subject: [PATCH 2/4] [abi][vfabia64] Rephrase the behavior for inactive lanes. This commit addresses the following comment: https://github.com/ARM-software/software-standards/pull/12#pullrequestreview-349646248 --- abi/vfabia64/vfabia64.rst | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/abi/vfabia64/vfabia64.rst b/abi/vfabia64/vfabia64.rst index 103cb48f..f876e269 100644 --- a/abi/vfabia64/vfabia64.rst +++ b/abi/vfabia64/vfabia64.rst @@ -1489,10 +1489,11 @@ Masked signature generation for ``[not]inbranch`` clause. |``#pragma omp declare simd notinbranch`` |No |Yes |Yes |No | +-----------------------------------------+-------+--------+------+--------+ -Return value and masking ------------------------- +Inactive lanes +-------------- -The inactive lanes of return values of masked functions is ``undef``. +The values of the inactive lanes of the input parameters and the +return value of a masked vector function is undefined. Advanced SIMD masking From 41752f50aaffef0bf9718768a059991ec7097e00 Mon Sep 17 00:00:00 2001 From: Francesco Petrogalli Date: Tue, 28 Jan 2020 14:01:10 -0600 Subject: [PATCH 3/4] [abi][vfabia64] Fix sentence. --- abi/vfabia64/vfabia64.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/abi/vfabia64/vfabia64.rst b/abi/vfabia64/vfabia64.rst index f876e269..3357c242 100644 --- a/abi/vfabia64/vfabia64.rst +++ b/abi/vfabia64/vfabia64.rst @@ -1493,7 +1493,7 @@ Inactive lanes -------------- The values of the inactive lanes of the input parameters and the -return value of a masked vector function is undefined. +return value of a masked vector function are undefined. Advanced SIMD masking From 425e892855dd3766fac1e69af4f4c44bc0067069 Mon Sep 17 00:00:00 2001 From: Francesco Petrogalli Date: Tue, 28 Jan 2020 14:14:49 -0600 Subject: [PATCH 4/4] [abi][vfabia64] Use a better sentence. --- abi/vfabia64/vfabia64.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/abi/vfabia64/vfabia64.rst b/abi/vfabia64/vfabia64.rst index 3357c242..aecd7b29 100644 --- a/abi/vfabia64/vfabia64.rst +++ b/abi/vfabia64/vfabia64.rst @@ -1492,9 +1492,9 @@ Masked signature generation for ``[not]inbranch`` clause. Inactive lanes -------------- -The values of the inactive lanes of the input parameters and the -return value of a masked vector function are undefined. - +In a masked vector function, the contents of the inactive lanes of the +input parameters and the inactive lanes of the return value are +undefined. Advanced SIMD masking ---------------------