https://github.com/artagnon requested changes to this pull request. I don't think this is correct: see the 'select_const_f32_from_icmp' in select-cmp.ll and 'not_vectorized_select_float_induction_icmp' test in iv-select-cmp.ll. https://github.com/llvm/llvm-project/pull/144014