Suppress caching when we're uncertain what object/offset is being used
Calculate invariants for loop header blocks