[llvm] [polly] [SimpleLoopUnswitch] Generalize the notion of trivial unswitching (PR #193989)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> LGTM, thanks!
> 
> Regarding the tests for multiple guards, the case I actually had in mind there was something like `if (N > 0) { if (M > 0) { loop; } }`.

Thanks. both branches seem to be trivially unswitchable in this case. 

https://github.com/llvm/llvm-project/pull/193989