llvm-project
[ValueTracking] Infer NonEqual from dominating conditions/assumptions
#117442

Merged

[ValueTracking] Infer NonEqual from dominating conditions/assumptions #117442

dtcxzyw merged 4 commits into llvm:main from dtcxzyw:perf/nonequal-domcond

dtcxzyw requested a review from

artagnon 1 year ago

dtcxzyw requested a review from

goldsteinn 1 year ago

dtcxzyw requested a review from

nikic 1 year ago

llvmbot added llvm:instcombine

llvmbot added llvm:analysis

llvmbot added llvm:transforms

dtcxzyw commented on 2024-11-24

dtcxzyw requested a review from

fhahn 1 year ago

dtcxzyw force pushed from db35b127 to 8f3cf204 1 year ago

nikic commented on 2025-01-29

goldsteinn commented on 2025-02-06

dtcxzyw force pushed to 4e8b0279 315 days ago

nikic approved these changes on 2025-02-10

[InstCombine] Add pre-commit tests. NFC.

53a3d1eb

[ValueTracking] Infer NonEqual from dominating conditions/assumptions

d938637f

[ValueTracking] Adjust evaluation order

a8d36839

[BasicAA] Update tests. NFC.

8b5145c7

dtcxzyw force pushed from 4e8b0279 to 8b5145c7 310 days ago

dtcxzyw merged 324e27e8 into main 310 days ago

dtcxzyw deleted the perf/nonequal-domcond branch 310 days ago

Reviewers

nikic

goldsteinn

artagnon

fhahn

Assignees

No one assigned

Labels

llvm:instcombine llvm:analysis llvm:transforms

Milestone

No milestone