Skip to content

aco: allow for disconnected CFG

This is basically a proposal to implement multiple functions in ACO just as set of disconnected CFGs. The advantage would be that all the different passes in ACO "just work" as is. But it also means that care must be taken to not optimize across these disconnected CFGs.

But even if we later decide to place different functions into separate structs or an array or whatever, we probably still shouldn't rely on BB0 being always the start of a function.

Opinions?

Merge request reports