llvm-project

3da843ba - [mlir] Add ValueBoundsOpInterfaceImpl for scf.forall (#118817)

[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@gmail.com> Co-authored-by: Max Dawkins <maxdawkins19@gmail.com>