[PATCH] D78014: [AssumeBundles] Prevent generation of some redundant assumes

[Tyker via Phabricator via llvm-commits]

Tyker created this revision.
Tyker added a reviewer: jdoerfert.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78014

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78014.256962.patch
Type: text/x-patch
Size: 51840 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200413/2c1bd3e6/attachment.bin>