PhaseIdealLoop::add_template_assertion_predicate() creates a new CastII but doesn't set its control. I think it's good practice for all CastII that narrow the type of their input to have their control set.