[ConstraintElim] Use cond from header as upper bound on IV in exit BB. #94610
fhahn
requested a review
from
XChy
2 years ago
dtcxzyw
requested changes
on 2024-06-06
fhahn
force pushed
from
dc6c9f5a
to
ff5519fb
2 years ago
dtcxzyw
approved these changes
on 2024-06-06
nikic
commented
on 2024-06-07
nikic
commented
on 2024-06-07
[ConstraintElim] Use cond from header as upper bound on IV in exit BB.
8310ce60
!fixup properly handle non-monotonically increasing case.
474acb53
!fixup always emit precondition, don't check unique predecessor
d51a0364
fhahn
force pushed
from
ff5519fb
to
d51a0364
2 years ago
nikic
approved these changes
on 2024-07-01
Merge branch 'main' into ce-loop-header-exit
e1af9a5a
fhahn
merged
5b927130
into main 2 years ago
fhahn
deleted the ce-loop-header-exit branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub