Add missing __cast_sext(__vec16_i32,__vec16_i1)