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

[Anna Thomas via Phabricator via llvm-commits]

anna added a comment.

Note that this does not fire for LoopPredication currently since we also incorrectly sunk the widenable call into the loop (thereby already making it loop-varying branch before we even used the utility `widenWidenableBranch`. 
So, this can be landed orthogonal to D147662 <https://reviews.llvm.org/D147662>.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147752