[dom] Задачи

[Vladislav Ivanishin]

and-zhabotinski at yandex.ru writes:

> А вообще нужно генерировать корректный код для тестов или именно
> осмысленный?

Я не вижу тут противопоставления :) Поскольку единственное, на что
смотрят алгоритмы вычисления доминаторов и границы доминирования -- это
ГПУ, в тестах достаточно иметь базовые блоки, соединённые переходами jmp
и jnz (причём в качестве условия для jnz можно брать просто `1', к
примеру). Генерировать какие-то более осмысленные программы
бессмысленно, это трата времени. Можно, конечно, ещё портировать
откуда-нибудь тесты (из llvm, например).

И конечно, входные программы должны быть корректными. В частности, графы
потока должны быть связными.

-- 
Влад