[all-commits] [llvm/llvm-project] c6f67b: [mlir][affine] Add ValueBoundsOpInterface to [de]l...

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c6f67b8e39a907fb96b715cae3ee90e4c1b248aa
      https://github.com/llvm/llvm-project/commit/c6f67b8e39a907fb96b715cae3ee90e4c1b248aa
  Author: Krzysztof Drewniak <Krzysztof.Drewniak at amd.com>
  Date:   2025-01-07 (Tue, 07 Jan 2025)

  Changed paths:
    M mlir/lib/Dialect/Affine/IR/ValueBoundsOpInterfaceImpl.cpp
    M mlir/test/Dialect/Affine/value-bounds-op-interface-impl.mlir

  Log Message:
  -----------
  [mlir][affine] Add ValueBoundsOpInterface to [de]linearize_index (#121833)

Since a need for it came up dowstream (in proving that loops run at
least once), this commit implements the ValueBoundsOpInterface for
affine.delinearize_index and affine.linearize_index, using affine map
representations of the operations they perform.

These implementations also use information from outer bounds to impose
additional constraints when those are available.



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