diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-09 11:58:38 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-10 10:40:48 -0500 |
| commit | 77d668451ad2e6370eb595c171779429e9becdf2 (patch) | |
| tree | 16ceaca5a898b00c32bf7e9f6d411a82fcabcbdc /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | f9f4aba547f50e6dcb2d9345b51fe4883bb64d8d (diff) | |
| download | llvm-77d668451ad2e6370eb595c171779429e9becdf2.zip llvm-77d668451ad2e6370eb595c171779429e9becdf2.tar.gz llvm-77d668451ad2e6370eb595c171779429e9becdf2.tar.bz2 | |
[ValueTracking] Add support for `vector_reduce_{s,u}{min,max}` in `isKnownNonZero`
Previously missing, proofs for all implementations:
https://alive2.llvm.org/ce/z/G8wpmG
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions