diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-09-20 14:29:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-20 14:29:19 +0200 |
| commit | 3127b659fad358b135721bd937fead49e5c73de5 (patch) | |
| tree | aee2cd7c284a29662a2b58cd90a7dab24253a7c0 /libcxx/src/algorithm.cpp | |
| parent | efdb3ae23247850d3886e3708400f0d991ed59e1 (diff) | |
| download | llvm-3127b659fad358b135721bd937fead49e5c73de5.zip llvm-3127b659fad358b135721bd937fead49e5c73de5.tar.gz llvm-3127b659fad358b135721bd937fead49e5c73de5.tar.bz2 | |
[CVP] Infer range return attribute (#99620)
We already infer this in IPSCCP (which runs very early, so cannot
benefit from inlining and simplifications) and SCCP (which runs without
PredicateInfo, so does not use assumes). Do it in CVP as well, so it can
handle cases that IPSCCP/SCCP can't.
Fixes https://github.com/llvm/llvm-project/issues/98946 (everything
apart from f2, where the assume is dropped by the frontend).
Diffstat (limited to 'libcxx/src/algorithm.cpp')
0 files changed, 0 insertions, 0 deletions