[PATCH] D147752: [GuardUtils] Add asserts about loop varying widenable conditions

[Anna Thomas via Phabricator via llvm-commits]

anna updated this revision to Diff 512439.
anna added a comment.

fix test failure in `test3` in GuardWidening::loop_invariant_widenable_condition.ll. 
Through GW itself, we are placing an invariant condition within the loop.
Strengthened against this in API introduced isLoopInvariantWidenableCond.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147752

Files:
  llvm/include/llvm/Transforms/Utils/GuardUtils.h
  llvm/lib/Transforms/Scalar/GuardWidening.cpp
  llvm/lib/Transforms/Scalar/LoopPredication.cpp
  llvm/lib/Transforms/Utils/GuardUtils.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D147752.512439.patch
Type: text/x-patch
Size: 5941 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230411/126ab7c3/attachment.bin>