[all-commits] [llvm/llvm-project] ac5cc5: [SCEV] Improve handling of pointer compares involv...

[Florian Hahn via All-commits]

  Branch: refs/heads/perf/tmp
  Home:   https://github.com/llvm/llvm-project
  Commit: ac5cc50e2598878abbeec0422ace51a020ba75c4
      https://github.com/llvm/llvm-project/commit/ac5cc50e2598878abbeec0422ace51a020ba75c4
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-02-19 (Fri, 19 Feb 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/lib/Transforms/Scalar/IndVarSimplify.cpp

  Log Message:
  -----------
  [SCEV] Improve handling of pointer compares involving subtractions.

This patch improves handling of pointer comparisons involving
subtractions, if an offset is known to be positive.

Proof for isKnownPredicateSubIdiom: https://alive2.llvm.org/ce/z/Gfe8mS

Proof for getUDivExpr extension:a https://alive2.llvm.org/ce/z/H_G2Q0