[all-commits] [llvm/llvm-project] 2ba782: [SCEV] Try smaller ZExts when using loop guard info.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2ba78229e42e1f22fc6356389ab1660ad77a3f59
      https://github.com/llvm/llvm-project/commit/2ba78229e42e1f22fc6356389ab1660ad77a3f59
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-06-09 (Fri, 09 Jun 2023)

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

  Log Message:
  -----------
  [SCEV] Try smaller ZExts when using loop guard info.

If we didn't find the extact ZExt expr in the rewrite map, check if
there's an entry for a smaller ZExt we can use instead.

Reviewed By: nikic

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