Are there any good heuristics for adding trampolines if the underlying architecture does not support tail calls? (With the closed-world assumption.) Maybe bread

Are there any good heuristics for adding trampolines if the underlying architecture does not support tail calls? (With the closed-world assumption.) Maybe breadth-first search on the callgraph, inserting trampolines at the first circle? And then somehow restart and deal with the remaining cycles, until none are left?