[all-commits] [llvm/llvm-project] 821a0f: [AssumeBundles] Prevent generation of some redunda...

[Ralender via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 821a0f23d83921bf32a0a290b5f267f3514d09df
      https://github.com/llvm/llvm-project/commit/821a0f23d83921bf32a0a290b5f267f3514d09df
  Author: Tyker <tyker1 at outlook.com>
  Date:   2020-05-10 (Sun, 10 May 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/AssumeBundleQueries.h
    M llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h
    M llvm/lib/Analysis/AssumeBundleQueries.cpp
    M llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
    M llvm/test/Analysis/BasicAA/featuretest.ll
    M llvm/test/Transforms/EarlyCSE/guards.ll
    M llvm/test/Transforms/EarlyCSE/invariant-loads.ll
    M llvm/test/Transforms/Util/assume-builder.ll

  Log Message:
  -----------
  [AssumeBundles] Prevent generation of some redundant assumes

Summary: with this patch the assume salvageKnowledge will not generate assume if all knowledge is already available in an assume with valid context. assume bulider can also in some cases update an existing assume with better information.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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