[all-commits] [llvm/llvm-project] f494f8: [LAA] Fix latent missing check bug when mixing sca...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f494f89b2a88f9de48781f43e7be2386809c7db5
      https://github.com/llvm/llvm-project/commit/f494f89b2a88f9de48781f43e7be2386809c7db5
  Author: Philip Reames <preames at rivosinc.com>
  Date:   2022-07-20 (Wed, 20 Jul 2022)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp

  Log Message:
  -----------
  [LAA] Fix latent missing check bug when mixing scalable and non-scalabe strides

Noticed via inspection; to my knowledge, impossible to hit today.  In theory, we could have a fixed stride check be analyzed, then a scalable one.  With the old code, the scalable one would be silently dropped, and the runtime guard would go ahead with only the fixed one.  This would be a miscompile.