Редактирование: Функция ssa

Функция <strong>ssa(Fn)</strong> - функция, реализованная в [[Си-интерфейс | Си интерфейсе]] [[QBE]]. Располагается в файле <code>cfg.c</code> и "подключается" в <code>[[ Си-интерфейс | all.h]]</code>.

== Назначение ==
<strong>fillpreds</strong> осуществляет построение [https://ru.wikipedia.org/wiki/SSA SSA-формы]. 
#Заполняет dominance frontier (границы доминирования), кладет в <code>blk->fron</code> (размер множества - в <code>blk->nfron</code>); 
#Заполняет живые переменные;  
#Строит [https://ru.wikipedia.org/wiki/SSA SSA-форму], меняя fn.

== Исходный код ==
Функция <strong>ssa</strong> из <code>ssa.c</code>
 /* require rpo and ndef */
 void ssa(Fn *fn) {
 	Name **stk, *n;
 	int d, nt;
 	Blk *b, *b1;
 	nt = fn->ntmp;
 	stk = emalloc(nt * sizeof stk[0]);
 	d = debug['L'];
 	debug['L'] = 0;
 	filldom(fn);
 	if (debug['N']) {
 		fprintf(stderr, "\n> Dominators:\n");
 		for (b1=fn->start; b1; b1=b1->link) {
 			if (!b1->dom)
 				continue;
 			fprintf(stderr, "%10s:", b1->name);
 			for (b=b1->dom; b; b=b->dlink)
 				fprintf(stderr, " %s", b->name);
 			fprintf(stderr, "\n");
 		}
 	}
 	fillfron(fn);
 	filllive(fn);
 	phiins(fn);
 	renblk(fn->start, stk, fn);
 	while (nt--)
 		while ((n=stk[nt])) {
 			stk[nt] = n->up;
 			nfree(n);
 		}
 	debug['L'] = d;
 	free(stk);
 	if (debug['N']) {
 		fprintf(stderr, "\n> After SSA construction:\n");
 		printfn(fn, stderr);
 	}
 }