Машинно-независимые особенности компиляторов

Распределение памяти

Разбиение программы на блоки

Машинно-зависимые особенности компиляторов

Они связаны с программами генерации и оптимизации объектного кода.

Оптимизация, связанная с распределением регистров и перестановкой команд, обычно осуществляется с использованием промежуточной формы представления программы. В этой форме синтаксис и семантика исходной программы уже полностью проанализированы, но трансляция в машинные команды ещё не осуществлена.

Одной из таких форм является представление с помощью тетрад.

Эти тетрады могут быть сгенерированы программами генерации промежуточного представления (аналогичными тем, которые были рассмотрены ранее для генерации кода).

Для исключения ненужных операций запоминания и загрузки регистров можно изменить порядок следования тетрад.

Промежуточные результаты i_j можно запомнить в рабочих переменных или регистрах, чтобы обеспечить их эффекивное использование.

После оптимизации на уровне четвёрок модифицированная последовательность этих четвёрок должна транслироваться в машинные коды.

Представим «нашу» программу с помощью четвёрок:

:=	#0		SUM	{SUM:= 0}
:=	#0		SUMSQ	{SUMSQ:= 0}
:=	#1		I	{FOR I:=1 TO 100}
JGT	I	#100	(15)
CALL	XREAD			{READ (VALUE)}
PARAM	VALUE
+	SUM	VALUE	i₁	{SUM:=SUM+VALUE}
:=	i₁		SUM
*	VALUE	VALUE	i₂	{SUMSQ:=SUMSQ+VALUE*VALUE}
+	SUMSQ	i₂	i₃
:=	i₃		SUMSQ
+	I	#1	i₄	{конец цикла FOR}
:=	i₄		I
J			(4)
DIV	SUM	#100	i₅	{MEAN:=SUM DIV 100}
:=	i₅		MEAN
DIV	SUMSQ	#100	i₆	{VARIANCE:=SUMSQ DIV
*	MEAN	MEAN	i₇	100 – MEAN * MEAN}
-	i₆	i₇	i₈
:=	i₈		VARIANCE
CALL	XWRITE			{WRITE (MEAN,VARIANCE)}
PARAM	MEAN
PARAM	VARIANCE

Списки параметров для READ и WRITE представлены в виде четверок PARAM. При дальнейшей генерации кода они будут преобразованы в команды занесения параметров в стек.

Операция JGT (4) сравнивает значение двух своих операндов и осуществляет переход к четверке 15, если 1-ый операнд больше 2-го. Операция J в четвёрке (14) осуществляет переход к четвёрке (4).