llvm-project
[mlir] [presburger] Add IntegerRelation::rangeProduct
#148092

Merged

[mlir] [presburger] Add IntegerRelation::rangeProduct #148092

j2kun merged 7 commits into llvm:main from j2kun:flat_range_product

j2kun requested a review from

Groverkss 160 days ago

j2kun requested a review from

Superty 160 days ago

j2kun changed the title ~~Add IntegerRelation::rangeProduct~~ [mlir] [presburger] Add IntegerRelation::rangeProduct 160 days ago

llvmbot added mlir

llvmbot added mlir:presburger

Superty commented on 2025-07-15

j2kun force pushed 155 days ago

j2kun requested a review from

Superty 155 days ago

Superty commented on 2025-07-16

Superty approved these changes on 2025-07-16

Add IntegerRelation::rangeProduct

3c55e16f

formatting

1c8457eb

address review comments

7c20201c

fix an indexing bug and add more tests

2d8537c8

formatting

f968bbbf

test for empty domain/range and symbols

bc4c61cf

fix symbols issue

cf868a9e

j2kun force pushed to cf868a9e 153 days ago

j2kun merged 78171636 into main 153 days ago

Reviewers

Superty

Groverkss

Assignees

No one assigned

Labels

mlir mlir:presburger

Milestone

No milestone