[all-commits] [llvm/llvm-project] 3da843: [mlir] Add ValueBoundsOpInterfaceImpl for scf.fora...

[Max191 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3da843bae179374e74e2601a8549e473b0080dc6
      https://github.com/llvm/llvm-project/commit/3da843bae179374e74e2601a8549e473b0080dc6
  Author: Max191 <44243577+Max191 at users.noreply.github.com>
  Date:   2024-12-05 (Thu, 05 Dec 2024)

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

  Log Message:
  -----------
  [mlir] Add ValueBoundsOpInterfaceImpl for scf.forall (#118817)

Adds a ValueBoundsOpInterface implementation for scf.forall ops. The
implementation supports bounding for both induction variables, results,
and block args of the forall op. Induction variables are given upper and
lower bounds based on the lower and upper loop bounds, and dimensions of
the results and init block arguments are constrained to be equal to the
matching dims of the shared_outs operand.

Signed-off-by: Max Dawkins <maxdawkins19 at gmail.com>
Co-authored-by: Max Dawkins <maxdawkins19 at gmail.com>



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