topperc wrote: FYI I fixed a bug in TypePromotion that prevented it from handling the zext_of_loop_phi_with_select case. 60936b312b72a48832344dda12977e78774da9e7 https://github.com/llvm/llvm-project/pull/215363