LAA only requires a backedge-taken-count when generating memory
runtime checks. If no memory checks are required, we can continue with
the analysis.
Note that this patch updates users of LAA to check for computable
backedge-taken counts themselves, if required.