[all-commits] [llvm/llvm-project] 10b07f: [mlir][Interfaces] `ValueBoundsConstraintSet`: Add...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 10b07f2324aa990664c4141ffab534603af35c7a
      https://github.com/llvm/llvm-project/commit/10b07f2324aa990664c4141ffab534603af35c7a
  Author: Matthias Springer <me at m-sp.org>
  Date:   2024-03-27 (Wed, 27 Mar 2024)

  Changed paths:
    M mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h
    M mlir/lib/Interfaces/ValueBoundsOpInterface.cpp

  Log Message:
  -----------
  [mlir][Interfaces] `ValueBoundsConstraintSet`: Add `dump` helper function (#86634)

This commit adds a helper function that dumps the constraint set and the
mapping of columns to values/dims. For debugging only.

Example output:
```
==========
Columns:
(column	dim	value)
 0	1	linalg.fill (result 0)
 1	1	tensor.extract_slice (result 0)
 2	n/a	affine.min (result 0)
 3	n/a	scf.for (bbarg 0)
 4	n/a	func.func (bbarg 2)

Constraint set:
Domain: 0, Range: 1, Symbols: 4, Locals: 0
6 constraints
(None	None	None	None	None	const)
 1	-1	0	0	0	0	= 0
 0	1	-1	0	0	0	= 0
 0	0	-1	-1	1	0	>= 0
 0	0	-1	0	0	4	>= 0
 0	0	0	1	0	0	>= 0
 0	0	0	-1	1	-1	>= 0
==========
```



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