[all-commits] [llvm/llvm-project] 642e92: reland [InstCombine] convert assumes to operand bu...

[Ralender via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 642e9225c6e89f2be84d71c5c19da1b19c33314e
      https://github.com/llvm/llvm-project/commit/642e9225c6e89f2be84d71c5c19da1b19c33314e
  Author: Tyker <tyker1 at outlook.com>
  Date:   2021-02-13 (Sat, 13 Feb 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/AssumeBundleQueries.h
    M llvm/include/llvm/IR/Value.h
    M llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h
    M llvm/lib/Analysis/Loads.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
    M llvm/test/Analysis/BasicAA/featuretest.ll
    M llvm/test/Analysis/ValueTracking/assume-queries-counter.ll
    M llvm/test/Analysis/ValueTracking/assume.ll
    M llvm/test/Transforms/InstCombine/assume-align.ll
    M llvm/test/Transforms/InstCombine/assume.ll

  Log Message:
  -----------
  reland [InstCombine] convert assumes to operand bundles

Instcombine will convert the nonnull and alignment assumption that use the boolean condtion
to an assumption that uses the operand bundles when knowledge retention is enabled.

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