Use compiler output in synthetic-divergence