А:
// что-то делаем
Б:
// ещё что-то
if(exp) goto А;
//что-то делаем
if(exp) goto Б;
можно еще на паре страниц поспорить о том, какая из конструкций является более типичной, но в том и другом случае они не относятся к низкоуровневой оптимизации, о которой шла речь и связаны исключительно с особенностями построения схемы.