[all-commits] [llvm/llvm-project] 513103: [ValueTracking, VectorCombine] Allow passing DT to ...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5131037ea96f9e2bc863557ba6d6dc63f46a94ab
      https://github.com/llvm/llvm-project/commit/5131037ea96f9e2bc863557ba6d6dc63f46a94ab
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-09-21 (Tue, 21 Sep 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/Vectorize/VectorCombine.cpp
    M llvm/test/Transforms/VectorCombine/AArch64/load-extract-insert-store-scalarization.ll
    M llvm/test/Transforms/VectorCombine/AArch64/load-extractelement-scalarization.ll
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  [ValueTracking,VectorCombine] Allow passing DT to computeConstantRange.

isValidAssumeForContext can provide better results with access to the
dominator tree in some cases. This patch adjusts computeConstantRange to
allow passing through a dominator tree.

The use VectorCombine is updated to pass through the DT to enable
additional scalarization.

Note that similar APIs like computeKnownBits already accept optional dominator
tree arguments.

Reviewed By: lebedev.ri

Differential Revision: https://reviews.llvm.org/D110175