[all-commits] [llvm/llvm-project] eea568: [SCEV] Add test where result depends on order loop...

Florian Hahn via All-commits all-commits at lists.llvm.org
Wed Dec 15 11:12:32 PST 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eea568927b6fb44c6b4650a4a6f54ad9c4772bd8
      https://github.com/llvm/llvm-project/commit/eea568927b6fb44c6b4650a4a6f54ad9c4772bd8
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-12-15 (Wed, 15 Dec 2021)

  Changed paths:
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [SCEV] Add test where result depends on order loop guards are applied.

This patch adds 2 test cases where we fail to determine a tight bound on
the backedge taken count because the ULT condition is applied before the
signed conditions. The order the conditions are applied impacts which
min/max folds are applied.




More information about the All-commits mailing list