[PATCH] D34117: PR32632 Add a case to remove loop compare

[Eli Friedman via Phabricator via llvm-commits]

efriedma requested changes to this revision.
efriedma added a comment.
This revision now requires changes to proceed.

Scalar evolution can already analyze the given testcase on trunk.  Output of "opt -analyze -scalar-evolution":

  Determining loop execution counts for: @foo
  Loop %for.cond4: backedge-taken count is 6
  Loop %for.cond4: max backedge-taken count is 6
  Loop %for.cond4: Predicated backedge-taken count is 6
   Predicates:
  
  Loop %for.cond4: Trip multiple is 7
  Loop %for.cond1: backedge-taken count is 0
  Loop %for.cond1: max backedge-taken count is 0
  Loop %for.cond1: Predicated backedge-taken count is 0
   Predicates:
  
  Loop %for.cond1: Trip multiple is 1
  Loop %for.cond: backedge-taken count is 83
  Loop %for.cond: max backedge-taken count is 83
  Loop %for.cond: Predicated backedge-taken count is 83
   Predicates:
  
  Loop %for.cond: Trip multiple is 84


Repository:
  rL LLVM

https://reviews.llvm.org/D34117