llvm-project
[ConstraintElim] Simplify cmp after uadd.sat/usub.sat
#135603
Merged

[ConstraintElim] Simplify cmp after uadd.sat/usub.sat #135603

el-ev merged 4 commits into main from users/el-ev/sat_constraint
el-ev
el-ev pre-commit test
37a41034
el-ev [ConstraintElim] Simplify cmp after uadd.sat/usub.sat
3f7fc12e
llvmbot llvmbot added llvm:transforms
llvmbot
dtcxzyw dtcxzyw requested a review from nikic nikic 1 year ago
dtcxzyw dtcxzyw requested a review from fhahn fhahn 1 year ago
dtcxzyw dtcxzyw requested a review from dtcxzyw dtcxzyw 1 year ago
dtcxzyw
dtcxzyw commented on 2025-04-14
nikic
nikic commented on 2025-04-14
el-ev test
40944b9c
el-ev update
479ed213
dtcxzyw
dtcxzyw approved these changes on 2025-04-14
nikic
nikic approved these changes on 2025-04-14
el-ev el-ev merged fe54d1af into main 1 year ago
el-ev el-ev deleted the users/el-ev/sat_constraint branch 1 year ago
fhahn
fhahn commented on 2025-04-14
nikic
el-ev
aeubanks
el-ev
aeubanks
el-ev
nikic
el-ev
nikic
aeubanks

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone