[all-commits] [llvm/llvm-project] b78883: [mlir][intrange] Fix inference of zero-trip loop b...

[Felix Schneider via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b78883fc6db7ca0780ee287267f4c133a3b38201
      https://github.com/llvm/llvm-project/commit/b78883fc6db7ca0780ee287267f4c133a3b38201
  Author: Felix Schneider <fx.schn at gmail.com>
  Date:   2024-06-24 (Mon, 24 Jun 2024)

  Changed paths:
    M mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
    M mlir/test/Dialect/Arith/int-range-interface.mlir

  Log Message:
  -----------
  [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



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications