[Headers][X86] Allow basic AVX512 predicate ops to be used in constexpr

[RKSimon]

The basic avx512 mask predicate intrinsics can be handled in constexpr, along with suitable test coverage

avx512fintrin.h

_mm512_int2mask
_mm512_mask2int
_mm512_kand
_mm512_kandn
_mm512_kor
_mm512_kxnor
_mm512_kxor

_kand_mask16
_kandn_mask16
_knot_mask16
_kor_mask16
_kxnor_mask16
_kxor_mask16

avx512bwintrin.h

_kand_mask32
_kandn_mask32
_knot_mask32
_kor_mask32
_kxnor_mask32
_kxor_mask32

_kadd_mask32
_kadd_mask64

avx512dqintrin.h

_kand_mask8
_kandn_mask8
_knot_mask8
_kor_mask8
_kxnor_mask8
_kxor_mask8

_kadd_mask8
_kadd_mask16

The logic operations will require handling inside VectorExprEvaluator::VisitCallExpr / InterpretBuiltin

[llvmbot]

@llvm/issue-subscribers-backend-x86

Author: Simon Pilgrim (RKSimon)

The basic mavx512 mask predicate intrinsics can be handled in constexpr, along with suitable test coverage

avx512fintrin.h

_mm512_int2mask
_mm512_mask2int
_mm512_kand
_mm512_kandn
_mm512_kor
_mm512_kxnor
_mm512_kxor

_kand_mask16
_kandn_mask16
_knot_mask16
_kor_mask16
_kxnor_mask16
_kxor_mask16

avx512bwintrin.h

_kand_mask32
_kandn_mask32
_knot_mask32
_kor_mask32
_kxnor_mask32
_kxor_mask32

avx512dqintrin.h

_kand_mask8
_kandn_mask8
_knot_mask8
_kor_mask8
_kxnor_mask8
_kxor_mask8

The logic operations will require handling inside VectorExprEvaluator::VisitCallExpr / InterpretBuiltin

[llvmbot]

Hi!

This issue may be a good introductory issue for people new to working on LLVM. If you would like to work on this issue, your first steps are:

1. Check that no other contributor is working on this issue. If someone is assigned to the issue or claimed to be working on it, ping the person. After one week without a response, the assignee may be changed.
2. Leave a comment indicating that you are working on the issue, or just create a pull request after following the steps below. Mention this issue in the description of the pull request.
3. Fix the issue locally.
4. Run the test suite locally. Remember that the subdirectories under test/ create fine-grained testing targets, so you can e.g. use make check-clang-ast to only run Clang's AST tests.
5. Create a Git commit.
6. Run git clang-format HEAD~1 to format your changes.
7. Open a pull request to the upstream repository on GitHub. Detailed instructions can be found in GitHub's documentation. Mention this issue in the description of the pull request.

If you have any further questions about this issue, don't hesitate to ask via a comment in the thread below.

[llvmbot]

@llvm/issue-subscribers-good-first-issue

Author: Simon Pilgrim (RKSimon)

The basic mavx512 mask predicate intrinsics can be handled in constexpr, along with suitable test coverage

avx512fintrin.h

_mm512_int2mask
_mm512_mask2int
_mm512_kand
_mm512_kandn
_mm512_kor
_mm512_kxnor
_mm512_kxor

_kand_mask16
_kandn_mask16
_knot_mask16
_kor_mask16
_kxnor_mask16
_kxor_mask16

avx512bwintrin.h

_kand_mask32
_kandn_mask32
_knot_mask32
_kor_mask32
_kxnor_mask32
_kxor_mask32

avx512dqintrin.h

_kand_mask8
_kandn_mask8
_knot_mask8
_kor_mask8
_kxnor_mask8
_kxor_mask8

The logic operations will require handling inside VectorExprEvaluator::VisitCallExpr / InterpretBuiltin

[fennecJ]

Hi, I’d like to work on this. Could you assign it to me?

[fennecJ]

@RKSimon I’ve just added support for kand* ops with constexpr in the draft PR #159998 . If everything looks good, I’ll continue implementing the other ops in the same way.