diff options
author | Felix Schneider <fx.schn@gmail.com> | 2024-06-24 08:05:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-24 08:05:04 +0200 |
commit | b78883fc6db7ca0780ee287267f4c133a3b38201 (patch) | |
tree | d9ff71faf55a96af68be14224e7621b583a44939 /clang/lib/CodeGen/CodeGenModule.cpp | |
parent | a9ac31910db3975d5e92a6265ab29dafd6a4691d (diff) | |
download | llvm-b78883fc6db7ca0780ee287267f4c133a3b38201.zip llvm-b78883fc6db7ca0780ee287267f4c133a3b38201.tar.gz llvm-b78883fc6db7ca0780ee287267f4c133a3b38201.tar.bz2 |
[mlir][intrange] Fix inference of zero-trip loop bound (#96429)
When lower bound and exclusive upper bound of a loop are the same, and
the zero-trip loop is not canonicalized away before the analysis, this
leads to a meaningless range for the induction variable being inferred.
This patch adds a check to make sure that the inferred range for the IV
is meaningful before updating the analysis state.
Fix https://github.com/llvm/llvm-project/issues/94423
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions