[all-commits] [llvm/llvm-project] d53abc: [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`...

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/value_bounds_const_columns
  Home:   https://github.com/llvm/llvm-project
  Commit: d53abc4a5aa15cd9c87092c067038d15c7889398
      https://github.com/llvm/llvm-project/commit/d53abc4a5aa15cd9c87092c067038d15c7889398
  Author: Matthias Springer <springerm at google.com>
  Date:   2024-03-25 (Mon, 25 Mar 2024)

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

  Log Message:
  -----------
  [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Add columns for constant values/dims

`ValueBoundsConstraintSet` maintains an internal constraint set (`IntegerRelation`), where every analyzed index-typed SSA value or dimension of a shaped type is represented with a dimension/symbol. Prior to this change, index-typed values with a statically known constant value and static shaped type dimensions were not added to the constraint set. Instead, `getExpr` directly returned an affine constrant expression.

With this commit, dynamic and static values/dimension sizes are treated in the same way: in either case, a dimension/symbol is added to the constraint set. This is needed for a subsequent commit that adds support for branches.



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