diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2021-02-21 12:33:53 -0500 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2021-02-21 12:37:00 -0500 |
| commit | 215bb15791c6aefdb0810ffa29900dd4215bf8c3 (patch) | |
| tree | 88dd51630dd5620eec465b42f3fe49803c5144e6 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | a83a825e9902b54b315870e9ed85723525208f09 (diff) | |
| download | llvm-215bb15791c6aefdb0810ffa29900dd4215bf8c3.zip llvm-215bb15791c6aefdb0810ffa29900dd4215bf8c3.tar.gz llvm-215bb15791c6aefdb0810ffa29900dd4215bf8c3.tar.bz2 | |
[IR] restrict vector reduction intrinsic types
The arguments in all cases should be vectors of exactly one of integer or FP.
All of the tests currently pass the verifier because we check for any vector
type regardless of the type of reduction.
This obviously can't work if we mix up integer and FP, and based on current
LangRef text it was not intended to work for pointers either.
The pointer case from https://llvm.org/PR49215 is what led me here. That
example was avoided with 5b250a27ec.
Differential Revision: https://reviews.llvm.org/D96904
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions