[PATCH] D152838: [ValueTracking] Add range computation from dominating conditions

[Aleksandr Popov via Phabricator via llvm-commits]

aleksandr.popov created this revision.
Herald added subscribers: lebedev.ri, asbirlea, hiraditya.
Herald added a reviewer: lebedev.ri.
Herald added a project: All.
aleksandr.popov requested review of this revision.
Herald added subscribers: llvm-commits, pcwang-thead, StephenFan.
Herald added a project: LLVM.

https://reviews.llvm.org/D152838

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/InstCombine/2009-02-20-InstCombine-SROA.ll
  llvm/test/Transforms/InstCombine/cast_phi.ll
  llvm/test/Transforms/InstCombine/sink_instruction.ll
  llvm/test/Transforms/InstCombine/sub-of-negatible-inseltpoison.ll
  llvm/test/Transforms/InstCombine/sub-of-negatible.ll
  llvm/test/Transforms/LICM/hoist-add-sub.ll
  llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-accesses-masked-group.ll
  llvm/test/Transforms/LoopVectorize/if-conversion-nest.ll
  llvm/test/Transforms/PhaseOrdering/AArch64/peel-multiple-unreachable-exits-for-vectorization.ll
  llvm/test/Transforms/SimplifyCFG/merge-cond-stores.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D152838.530980.patch
Type: text/x-patch
Size: 26569 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230613/21edacda/attachment.bin>