[X86][Clang] VectorExprEvaluator::VisitCallExpr / InterpretBuiltin - allow SSE/AVX FP2INT conversion intrinsics to be used in constexpr

[RKSimon]

Similar to #160312 except initially we should only allow EXACT/INBOUNDS and FINITE conversions - any special case (DENORMAL/INF/NAN/etc.) or loss of precision shouldn't be allowed in constexpr for now.

_mm_cvtss_si32
_mm_cvt_ss2si
_mm_cvtss_si64
_mm_cvtps_pi32
_mm_cvt_ps2pi

_mm_cvttss_si32
_mm_cvtt_ss2si
_mm_cvttss_si64
_mm_cvttps_pi32
_mm_cvtt_ps2pi

_mm_cvtps_pi16
_mm_cvtps_pi8

_mm_cvtpd_epi32
_mm_cvtsd_si32
_mm_cvttpd_epi32
_mm_cvttsd_si32

_mm_cvtpd_pi32
_mm_cvttpd_pi32

_mm_cvtsd_si64
_mm_cvttsd_si64

_mm_cvtps_epi32
_mm_cvttps_epi32

_mm256_cvtpd_epi32
_mm256_cvttpd_epi32
_mm256_cvtps_epi32
_mm256_cvttps_epi32

There are also the AVX512 variants, but the SSE/AVX are a good starting point.

[llvmbot]

@llvm/issue-subscribers-backend-x86

Author: Simon Pilgrim (RKSimon)

Details

Similar to #160312 except initially we should only allow EXACT/INBOUNDS and FINITE conversions - any special case (DENORMAL/INF/NAN/etc.) or loss of precision shouldn't be allowed in constexpr for now. ``` _mm_cvtss_si32 _mm_cvt_ss2si _mm_cvtss_si64 _mm_cvtps_pi32 _mm_cvt_ps2pi

_mm_cvttss_si32
_mm_cvtt_ss2si
_mm_cvttss_si64
_mm_cvttps_pi32
_mm_cvtt_ps2pi

_mm_cvtps_pi16
_mm_cvtps_pi8

_mm_cvtpd_epi32
_mm_cvtsd_si32
_mm_cvttpd_epi32
_mm_cvttsd_si32

_mm_cvtpd_pi32
_mm_cvttpd_pi32

_mm_cvtsd_si64
_mm_cvttsd_si64

_mm_cvtps_epi32
_mm_cvttps_epi32

_mm256_cvtpd_epi32
_mm256_cvttpd_epi32
_mm256_cvtps_epi32
_mm256_cvttps_epi32

There are also the AVX512 variants, but the SSE/AVX area good starting point.
</details>

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: Simon Pilgrim (RKSimon)

Details

Similar to #160312 except initially we should only allow EXACT/INBOUNDS and FINITE conversions - any special case (DENORMAL/INF/NAN/etc.) or loss of precision shouldn't be allowed in constexpr for now. ``` _mm_cvtss_si32 _mm_cvt_ss2si _mm_cvtss_si64 _mm_cvtps_pi32 _mm_cvt_ps2pi

_mm_cvttss_si32
_mm_cvtt_ss2si
_mm_cvttss_si64
_mm_cvttps_pi32
_mm_cvtt_ps2pi

_mm_cvtps_pi16
_mm_cvtps_pi8

_mm_cvtpd_epi32
_mm_cvtsd_si32
_mm_cvttpd_epi32
_mm_cvttsd_si32

_mm_cvtpd_pi32
_mm_cvttpd_pi32

_mm_cvtsd_si64
_mm_cvttsd_si64

_mm_cvtps_epi32
_mm_cvttps_epi32

_mm256_cvtpd_epi32
_mm256_cvttpd_epi32
_mm256_cvtps_epi32
_mm256_cvttps_epi32

There are also the AVX512 variants, but the SSE/AVX area good starting point.
</details>

[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)

Details

Similar to #160312 except initially we should only allow EXACT/INBOUNDS and FINITE conversions - any special case (DENORMAL/INF/NAN/etc.) or loss of precision shouldn't be allowed in constexpr for now. ``` _mm_cvtss_si32 _mm_cvt_ss2si _mm_cvtss_si64 _mm_cvtps_pi32 _mm_cvt_ps2pi

_mm_cvttss_si32
_mm_cvtt_ss2si
_mm_cvttss_si64
_mm_cvttps_pi32
_mm_cvtt_ps2pi

_mm_cvtps_pi16
_mm_cvtps_pi8

_mm_cvtpd_epi32
_mm_cvtsd_si32
_mm_cvttpd_epi32
_mm_cvttsd_si32

_mm_cvtpd_pi32
_mm_cvttpd_pi32

_mm_cvtsd_si64
_mm_cvttsd_si64

_mm_cvtps_epi32
_mm_cvttps_epi32

_mm256_cvtpd_epi32
_mm256_cvttpd_epi32
_mm256_cvtps_epi32
_mm256_cvttps_epi32

There are also the AVX512 variants, but the SSE/AVX area good starting point.
</details>

[chebanne-az]

Hi Simon, can i get this assigned? thanks!

[shuklaveeresh]

Hi @RKSimon i would like to work on this issue if possible?