[all-commits] [llvm/llvm-project] 3c6e41: [SCEV] Properly guard reasoning about infinite loo...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3c6e419198f3916b76f88d2bef8aa04dd2114574
      https://github.com/llvm/llvm-project/commit/3c6e419198f3916b76f88d2bef8aa04dd2114574
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-06-07 (Mon, 07 Jun 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/trip-count-unknown-stride.ll
    M llvm/test/Transforms/LoopVectorize/pr38697.ll

  Log Message:
  -----------
  [SCEV] Properly guard reasoning about infinite loops being UB on mustprogress

Noticed via code inspection. We changed the semantics of the IR when we added mustprogress, and we appear to have not updated this location.

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