I feel like you either flipped the naming or the reasons you cite don't support the conclusion. Pushing ifs down usually prevents vectorization and the cases a

I feel like you either flipped the naming or the reasons you cite don't support the conclusion. Pushing ifs down usually prevents vectorization and the cases article mentions are those non-dry where a similar branch has to be multiplied on a ton of functions down in the stack, often because the type is internally tagged.