llvm-project
[mlir][arith] Implement ValueBoundsOpInterface for ExtSI op
#204476

Merged

[mlir][arith] Implement ValueBoundsOpInterface for ExtSI op #204476

matthias-springer merged 7 commits into llvm:main from MaxGraey:mlir-index-cast-value-bounds

add ExtSI and IndexCastUI ops for pressburger's value bound

2ab4060e

MaxGraey requested a review from

kuhar 58 days ago

llvmorg-github-actions added mlir

llvmorg-github-actions added mlir:arith

remove complex sample

42b53912

trigger infra again

10339faf

kuhar requested a review from

matthias-springer 57 days ago

matthias-springer commented on 2026-06-24

remove model for IndexCastUIOp

8491da3d

MaxGraey changed the title ~~[mlir][arith] Implement ValueBoundsOpInterface for IndexCastUI and ExtSI ops~~ [mlir][arith] Implement ValueBoundsOpInterface for ExtSI op 52 days ago

cleanup

be739e22

matthias-springer approved these changes on 2026-06-24

Merge branch 'main' into mlir-index-cast-value-bounds

77342da3

fix

ad97cb58

matthias-springer merged 56a1adfe into main 47 days ago

MaxGraey deleted the mlir-index-cast-value-bounds branch 47 days ago

Reviewers

matthias-springer

kuhar

Assignees

No one assigned

Labels

mlir mlir:arith

Milestone

No milestone

llvm-project [mlir][arith] Implement ValueBoundsOpInterface for ExtSI op #204476 Merged

[mlir][arith] Implement ValueBoundsOpInterface for ExtSI op #204476

llvm-project
[mlir][arith] Implement ValueBoundsOpInterface for ExtSI op
#204476

Merged