[all-commits] [llvm/llvm-project] b3a150: [SCEV][NFC] API for predicate evaluation

[max-azul via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b3a1500ea8007c6ecdca6d502aaba0b03a4f705c
      https://github.com/llvm/llvm-project/commit/b3a1500ea8007c6ecdca6d502aaba0b03a4f705c
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-03-18 (Thu, 18 Mar 2021)

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

  Log Message:
  -----------
  [SCEV][NFC] API for predicate evaluation

Provides API that allows to check predicate for being true or
false with one call. Current implementation is naive and just
calls isKnownPredicate twice, but further we can rework this
logic trying to use one check to prove both facts.


  Commit: 1067a13cc11fb7e02b337bc669426bcd5958e86b
      https://github.com/llvm/llvm-project/commit/1067a13cc11fb7e02b337bc669426bcd5958e86b
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-03-18 (Thu, 18 Mar 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyIndVar.cpp

  Log Message:
  -----------
  [NFC] Use evaluatePredicate in eliminateComparison

Just makes code simpler.


  Commit: 26ec76add5cf0689dc545ade9a39eef58db6e3d7
      https://github.com/llvm/llvm-project/commit/26ec76add5cf0689dc545ade9a39eef58db6e3d7
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-03-18 (Thu, 18 Mar 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/LoopPeel.cpp

  Log Message:
  -----------
  [NFC] One more use case for evaluatePredicate


Compare: https://github.com/llvm/llvm-project/compare/b79044391eb2...26ec76add5cf