Page MenuHomePhabricator

[Constant] Add containsPoisonElement

Authored by aqjune on Jan 4 2021, 5:18 PM.



This patch

  • Adds containsPoisonElement that checks existence of poison in constant vector elements,
  • Renames containsUndefElement to containsUndefOrPoisonElement to clarify its behavior & updates its uses properly

With this patch, isGuaranteedNotToBeUndefOrPoison's tests w.r.t constant vectors are added because its analysis is improved.


Diff Detail

Event Timeline

aqjune created this revision.Jan 4 2021, 5:18 PM
aqjune requested review of this revision.Jan 4 2021, 5:18 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 4 2021, 5:18 PM
nikic accepted this revision.Jan 5 2021, 11:25 AM

LGTM with a nit.


Prefer function_ref<> over std::function.

This revision is now accepted and ready to land.Jan 5 2021, 11:25 AM
aqjune updated this revision to Diff 314773.Jan 5 2021, 7:11 PM

Use function_ref

aqjune marked an inline comment as done.Jan 5 2021, 7:11 PM
This revision was landed with ongoing or failed builds.Jan 5 2021, 7:12 PM
This revision was automatically updated to reflect the committed changes.