[PATCH] D113578: [SCEV] Apply loop guards when computing max BTC for arbitrary steps.

[Alexander Kornienko via Phabricator via llvm-commits]

alexfh added a comment.

I've created a standalone test case for the issue:
F21004985: q2.cc <https://reviews.llvm.org/F21004985>

Relevant compiler invocations:

  $ ./clang-before -cc1 -triple x86_64-unknown-linux -S -target-feature +sse4.2 -fcolor-diagnostics -xc++ -std=c++17 -w -fsized-deallocation -O2 q2.cc
  
  $ ./clang-after -cc1 -triple x86_64-unknown-linux -S -target-feature +sse4.2 -fcolor-diagnostics -xc++ -std=c++17 -w -fsized-deallocation -O2 q2.cc
  Stack dump:
  0.      Program arguments: ./clang-after -cc1 -triple x86_64-unknown-linux -S -target-feature +sse4.2 -fcolor-diagnostics -xc++ -std=c++17 -w -fsized-deallocation -O2 q2.cc
  1.      <eof> parser at end of file
  2.      Code generation
  3.      Running pass 'Function Pass Manager' on module 'q2.cc'.
  4.      Running pass 'Loop Pass Manager' on function '@_Z1fv'
  5.      Running pass 'Induction Variable Users' on basic block '%arraydestroy.body85833'
  ...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D113578