[all-commits] [llvm/llvm-project] f15a6c: [mlir] [DataFlow] Fix bug in int-range-analysis (#...

[donald chen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f15a6c99fa552f82dad46e6bf3c8ff958c8b6e7f
      https://github.com/llvm/llvm-project/commit/f15a6c99fa552f82dad46e6bf3c8ff958c8b6e7f
  Author: donald chen <chenxunyu1993 at gmail.com>
  Date:   2025-02-12 (Wed, 12 Feb 2025)

  Changed paths:
    M mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
    M mlir/test/Interfaces/InferIntRangeInterface/infer-int-range-test-ops.mlir

  Log Message:
  -----------
  [mlir] [DataFlow] Fix bug in int-range-analysis (#126708)

When querying the lower bound and upper bound of loop to update the
value range of a loop iteration variable, the program point to depend on
should be the block corresponding to the iteration variable rather than
the loop operation.



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