[PATCH] D120651: [SCEV] Only verify BECounts for reachable loops (PR50523)

Tue Mar 1 01:28:38 PST 2022

nikic added inline comments.

================
Comment at: llvm/test/Transforms/IndVarSimplify/X86/pr35406.ll:2
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -S -indvars %s | FileCheck %s
+; RUN: opt -S -passes='loop(indvars),verify<scalar-evolution>' %s | FileCheck %s
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
----------------
mkazantsev wrote:
> Can we do both command lines for old & new PM?
Maybe makes sense to land D120551 first, in which case this could be `-indvars -verify-scev`? I only wrote it this way because currently `-verify-scev` is effectively ignored.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D120651/new/

https://reviews.llvm.org/D120651