[PATCH] D121768: [X86][tablgen] Auto-generate trivial fields and trivial interfaces for target features

Fri Mar 18 21:31:49 PDT 2022

craig.topper added a comment.

In D121768#3393914 <https://reviews.llvm.org/D121768#3393914>, @skan wrote:

> In D121768#3393896 <https://reviews.llvm.org/D121768#3393896>, @craig.topper wrote:
>
>> But I guarantee the compiler will break if you force SSE to false and keep AVX. So that’s not a reasonable case.
>
> It's a check in `X86ISelLowering.cpp`, we can relax it.

Yes, but if you did that work then you should probably change the avx to not imply sse.

The dependencies we have are largely due to implementation details of the features within the compiler. If we relax those implementation details we should relax the dependencies. For the most part I don’t think you can just relax a dependency without making additional code changes.

AVX512 implementation has quite a few special cases to avoid assuming dependencies except where it was really necessary. It would be simpler if avx512bw implied avx512 dq for example. But no documentation exists of dependencies.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D121768/new/

https://reviews.llvm.org/D121768