HomePhabricator

[Constant] Add containsPoisonElement

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

Description

[Constant] Add containsPoisonElement

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.

Thanks!

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D94053

Details

Committed
aqjuneJan 5 2021, 7:10 PM
Reviewer
nikic
Differential Revision
D94053: [Constant] Add containsPoisonElement
Parents
rG8444a2494d3d: [X86] Update X86InstCombineIntrinsic to use CreateShuffleVector with one vector
Branches
Unknown
Tags
Unknown