[PATCH] D88358: [InstCombine][Assumes] Cannonicalize assumes in instcombine

[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.
Tyker requested review of this revision.

this allows remving assumes about allocas, remove bitcasts or GEP used only in assume


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D88358

Files:
  llvm/include/llvm/Analysis/AssumeBundleQueries.h
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h
  llvm/lib/Analysis/AssumeBundleQueries.cpp
  llvm/lib/Analysis/Loads.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
  llvm/test/Analysis/BasicAA/featuretest.ll
  llvm/test/Analysis/ValueTracking/assume-queries-counter.ll
  llvm/test/Analysis/ValueTracking/assume.ll
  llvm/test/Transforms/InstCombine/assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88358.294499.patch
Type: text/x-patch
Size: 39409 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200926/20d41102/attachment.bin>