HomePhabricator

[SimplifyCFG] Update passingValueIsAlwaysUndefined to check more attributes

Authored by aqjune on Feb 22 2021, 6:46 PM.

Description

[SimplifyCFG] Update passingValueIsAlwaysUndefined to check more attributes

This is a simple patch to update SimplifyCFG's passingValueIsAlwaysUndefined to inspect more attributes.

A new function CallBase::isPassingUndefUB checks attributes that imply noundef.

Reviewed By: spatel

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