[all-commits] [llvm/llvm-project] adee48: [SCEV] Support signed predicates in applyLoopGuards.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: adee485adf84ae8af4105ab4e0b62753245f420d
      https://github.com/llvm/llvm-project/commit/adee485adf84ae8af4105ab4e0b62753245f420d
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-06-23 (Wed, 23 Jun 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/Delinearization/a.ll
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
    M llvm/test/Analysis/ScalarEvolution/max-trip-count-address-space.ll
    M llvm/test/Analysis/ScalarEvolution/max-trip-count.ll
    M llvm/test/Analysis/ScalarEvolution/sext-mul.ll

  Log Message:
  -----------
  [SCEV] Support signed predicates in applyLoopGuards.

This adds handling for signed predicates, similar to how unsigned
predicates are already handled.

Reviewed By: nikic

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