[all-commits] [llvm/llvm-project] a7f35d: [SCEV] Extend isImpliedCondOperandsViaRanges to in...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a7f35d54eef95e308ed13af5f46dbfc6c559cb9b
      https://github.com/llvm/llvm-project/commit/a7f35d54eef95e308ed13af5f46dbfc6c559cb9b
  Author: Philip Reames <preames at rivosinc.com>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll
    M llvm/test/CodeGen/BPF/loop-exit-cond.ll
    M llvm/test/Transforms/HardwareLoops/ARM/fp-emulation.ll
    M llvm/test/Transforms/IRCE/variable-loop-bounds.ll
    M llvm/test/Transforms/IndVarSimplify/X86/loop-invariant-conditions.ll
    M llvm/test/Transforms/IndVarSimplify/canonicalize-cmp.ll
    M llvm/test/Transforms/IndVarSimplify/strengthen-overflow.ll
    M llvm/test/Transforms/IndVarSimplify/trivial-checks.ll

  Log Message:
  -----------
  [SCEV] Extend isImpliedCondOperandsViaRanges to independent predicates (#71110)

As far as I can tell, there's nothing in this code which actually
assumes the two predicates in (FoundLHS FoundPred FoundRHS) => (LHS Pred
RHS) are the same.

Noticed while investigating something else, this is purely an
oppurtunistic optimization while I'm looking at the code. Unfortunately,
this doesn't solve my original problem. :)