[PATCH] D98228: [AssumeBundles] Add nonnull/align to op bundle if noundef exists

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D98228#2613304 <https://reviews.llvm.org/D98228#2613304>, @Tyker wrote:

> I think the process of checking is a value is noundef needs to be more general than just calls. maybe addKnowledge would be a better place.
> because nonnull and align information can also be inferred from loads/stores.

Hi, sorry for my delay in response.
Could you elaborate a bit with an example, please?
Does it mean that the updated analysis may return suboptimal results?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D98228/new/

https://reviews.llvm.org/D98228