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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune created this revision.
aqjune added reviewers: jdoerfert, Tyker.
Herald added a subscriber: hiraditya.
aqjune requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This is a patch to add nonnull and align to assume's operand bundle
only if noundef exists.
Since nonnull and align in fn attr have poison semantics, they should be
paired with noundef or noundef-implying attributes to be immediate UB.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D98228

Files:
  llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
  llvm/test/Transforms/Util/assume-builder-counter.ll
  llvm/test/Transforms/Util/assume-builder.ll
  llvm/unittests/Analysis/AssumeBundleQueriesTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D98228.329180.patch
Type: text/x-patch
Size: 22977 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210309/c6774707/attachment-0001.bin>