Анализ локальности - компилятор проверяет обьекты, поля обьектов и тд на использование в программе , и если оказывается что в определенных ситуациях эти сущности вызываются только в одном месте всей программы, может оптимизировать код таким образом будто бы обьекта нет вовсе, убрать выделение памяти для ссылок на объект, начать отслеживать отдельные поля для обьекта в ходе вычислений сохраняя их значения в регистрах процессора вместо записи в память