Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This finally fixes #505, even if not in the most elegant way.
We now disable AVX512 support by default. Users with CPUs that support it, need to supply
-d:avx512
as a compilation flag.The reasons for this are explained in the comments to #505, but the short version is:
-mavx512dq
to gcc / clang-mavx512dq
is supplied, the resulting binary forces the usage of AVX512 on all CPUs, resulting in illegal operation runtime errors on CPUs that do not support it.I do not know a cleaner way to make sure the C code is generated correctly, but does not force the usage of AVX512. If anyone has a better understanding of the issue, feel free to comment or open a PR.