[SimpleLoopUnswitch] Canonicalize conditions for injection of invariant condition
authorMax Kazantsev <mkazantsev@azul.com>
Wed, 15 Feb 2023 11:15:24 +0000 (18:15 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Wed, 15 Feb 2023 11:15:24 +0000 (18:15 +0700)
commit3600b384462b5f6be70636821a79e45551214fa1
tree4161d656c35664fd0a9c39b3c04081c590b4e8d0
parent0992e6ee115e701ab9034844060581cf105bd3b5
[SimpleLoopUnswitch] Canonicalize conditions for injection of invariant condition

When loop condition isn't immediately in the form supported by invariant injection
unswitching, try to canonicalize it to this form.

Differential Revision: https://reviews.llvm.org/D143175
Reviewed By: skatkov
llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp
llvm/test/Transforms/SimpleLoopUnswitch/inject-invariant-conditions.ll