[all-commits] [llvm/llvm-project] 16e0eb: [Test] Add motivating test for umin support in SCE...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 16e0ebbbcfc2084d77ea68c7626078834e26a9c9
      https://github.com/llvm/llvm-project/commit/16e0ebbbcfc2084d77ea68c7626078834e26a9c9
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2023-02-03 (Fri, 03 Feb 2023)

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

  Log Message:
  -----------
  [Test] Add motivating test for umin support in SCEVLoopGuardRewriter

This test is equivalent to another one, where we can infer a
reasonable iteration count. The only difference is that umin and zext
here are swapped, and rewriter fails here.


  Commit: 5f99a517452491e5f27226e0ea725c1d0f7d3d76
      https://github.com/llvm/llvm-project/commit/5f99a517452491e5f27226e0ea725c1d0f7d3d76
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2023-02-03 (Fri, 03 Feb 2023)

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

  Log Message:
  -----------
  [Test] Add signed counterparts of unsigned tests on SCEVLoopGuardRewriter


Compare: https://github.com/llvm/llvm-project/compare/d54d99748db6...5f99a5174524