In this case, some of the variables must be spilled to memory in order to enable the remaining variables to be allocated to registers.
Для некоторых нераскрашиваемых formula_3 цветами графов это позволяет обойтись без сохранения переменных в памяти.