This is an archive of the discontinued LLVM Phabricator instance.

[ValueTracking] Infer context for arguments

Authored by reames on Feb 19 2021, 4:24 PM.



This is yet another alternative patch in the D93974, D97077. and D97092 family.

The notion of this patch is that we can set the context for the argument the same way we do for instructions. This doesn't solve the ephemeral value case, but as demonstrated by the test cases, it does handle other cases.

I'm going to respond on D97092 with a bit more context. We could view this change as splitting out part of the functionality from D97092, or as a step towards a possible alternate.

Diff Detail

Event Timeline

reames created this revision.Feb 19 2021, 4:24 PM
reames requested review of this revision.Feb 19 2021, 4:25 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 19 2021, 4:25 PM
reames planned changes to this revision.Feb 22 2021, 9:18 AM

A common issue to all four alternative approaches has come up in the review for D97092. Marking this as Plan Changes until discussion converges and we decide what to do about the common issue.

reames abandoned this revision.May 14 2021, 11:28 AM