Граф потока управления программы

Я сейчас беру класс компилятора, и мы находимся в точке, где нам нужно создать CFG, чтобы реализовать оптимизацию. Одно я могу ' т выяснить, сколько CFG существует для программы? Каждый пример, который я когда-либо видел, кажется CGF простого сегмента кода. Итак, если у вас есть программа с тремя функциями. У вас есть отдельный CFG для каждой функции или один большой CFG для всей программы?