diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-08-12 16:23:11 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-08-22 10:59:02 -0500 |
| commit | 61df774ab7b7c630ba2a2f4e36cb8470e93c857b (patch) | |
| tree | 6e01788c574e0ef0b7b68caa96329da6c814c96c /clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp | |
| parent | fb92c0700bc502f152e147b91e3f73d6125e9c9d (diff) | |
| download | llvm-61df774ab7b7c630ba2a2f4e36cb8470e93c857b.zip llvm-61df774ab7b7c630ba2a2f4e36cb8470e93c857b.tar.gz llvm-61df774ab7b7c630ba2a2f4e36cb8470e93c857b.tar.bz2 | |
[ValueTracking] Improve analysis of knownbits from incoming phi edges.
Just fill in missing cases (TODO) for `ugt`, `uge`, `sgt`, `sge`,
`slt`, and `sle`. These are all in the same spirit as `ult`/`uge`, but
each of the other conditions have different constraints.
Proofs: https://alive2.llvm.org/ce/z/gnj4o-
Differential Revision: https://reviews.llvm.org/D157800
Diffstat (limited to 'clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp')
0 files changed, 0 insertions, 0 deletions