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

[Tyker via Phabricator via llvm-commits]

Tyker updated this revision to Diff 259206.
Tyker added a comment.

split out removal of non-determinism


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78614/new/

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.259206.patch
Type: text/x-patch
Size: 47257 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200422/5af16c26/attachment-0001.bin>