if loop induction variable is always sign or zero extended then