llvm-project

78171636 - [mlir] [presburger] Add IntegerRelation::rangeProduct (#148092)

[mlir] [presburger] Add IntegerRelation::rangeProduct (#148092) This is intended to match `isl::map`'s `flat_range_product`. --------- Co-authored-by: Jeremy Kun <j2kun@users.noreply.github.com>