ILimit[exp, a -> b] checks functions specified by the option FunctionLimits and takes the limit a->b of these functions only if it is finite. For the rest of the expression exp, the limit is taken.
ILimit[exp, a -> b]
a->b
exp
Overview, FunctionLimits.