We already have some tests/benchmarks that deal with control flow, and require some kind of if-conversion.

But we can implement more examples. We can also use ideas from this paper:
"Combining Run-Time Checks and Compile-Time Analysis to Improve Control Flow Auto-Vectorization"
https://dl.acm.org/doi/epdf/10.1145/3559009.3569663