[PATCH] D78614: [AssumeBuilder] Add assume-simplify pass

[Tyker via Phabricator via llvm-commits]

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

This pass adds a new pass that reduces the number of assumes.
this pass will remove redondont knowledge, cleanup dead assumes and merge assumes in the same basic block when possible.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78614

Files:
  llvm/include/llvm/Analysis/AssumeBundleQueries.h
  llvm/include/llvm/IR/LLVMContext.h
  llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h
  llvm/lib/Analysis/AssumeBundleQueries.cpp
  llvm/lib/IR/LLVMContext.cpp
  llvm/lib/Passes/PassRegistry.def
  llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
  llvm/test/Transforms/Util/assume-builder.ll
  llvm/test/Transforms/Util/assume-simplify.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78614.259193.patch
Type: text/x-patch
Size: 98797 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200422/08cf515e/attachment-0001.bin>