[all-commits] [llvm/llvm-project] 13c9d7: [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: 13c9d7f5a70f80de8b2c2ba404b7df2e887f8dba
      https://github.com/llvm/llvm-project/commit/13c9d7f5a70f80de8b2c2ba404b7df2e887f8dba
  Author: Matthias Springer <springerm at google.com>
  Date:   2024-03-21 (Thu, 21 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