[all-commits] [llvm/llvm-project] edf634: [AssumeBundles] Add nonnull/align to op bundle if ...

[Juneyoung Lee via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: edf634ebc2673c2f6f878390c1f90bfd799f4a6b
      https://github.com/llvm/llvm-project/commit/edf634ebc2673c2f6f878390c1f90bfd799f4a6b
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2021-03-16 (Tue, 16 Mar 2021)

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

  Log Message:
  -----------
  [AssumeBundles] Add nonnull/align to op bundle if noundef exists

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.

Reviewed By: jdoerfert, Tyker

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