Page MenuHomePhabricator

[ValueTracking] Make impliesPoison look into operands of V

Authored by aqjune on Jan 16 2021, 1:29 AM.



This patch updates impliesPoison to look into operands of V up to MaxDepth.

Relevant patch: D94550

Diff Detail

Event Timeline

aqjune created this revision.Jan 16 2021, 1:29 AM
aqjune requested review of this revision.Jan 16 2021, 1:29 AM
Herald added a project: Restricted Project. · View Herald TranscriptJan 16 2021, 1:29 AM

I'll leave the diff result after setting -instcombine-unsafe-select-transform=0 at another patch that's going to follow this.

nikic added a comment.Jan 16 2021, 8:27 AM

I posted an alternative patch at D94866. It's potentially more expensive, but I think it will cover more of the cases we need.

aqjune abandoned this revision.Jan 19 2021, 8:19 PM