Локальные метки в gas

Можно использовать метки в Кнут стиле:

  b 1f
  add r1,r2,r3
1:
  sub r2,r3,r4
  b 1b
1:
  xor r4,r5,r6
  b 1b

Для ассемблерных вставок и макро оптимальны.

не очень понял, сожно подробней?

Можно использовать цифровые метки 1: и т.п. причем одну и ту же можно использовать много раз (что удобно для всяких макро с ассемблерными вставками в gcc). Для ссылки на метку пишем 1f - ссылка на следующую 1:, 73b - ссылка на предыдущую 73:

вот это отлично. а как-то более читабельно возможно?

А чем пример выше 23:27 плох? Вполне читабельно. В нем две ссылки 1f и 1b на первую метку, а последний 1b на вторую.

Или нужен английский?

Local Labels ------------

Local labels help compilers and programmers use names temporarily. They create symbols which are guaranteed to be unique over the entire scope of the input source code and which can be referred to by a simple notation. To define a local label, write a label of the form `N:' (where N represents any positive integer). To refer to the most recent previous definition of that label write `Nb', using the same number as when you defined the label. To refer to the next definition of a local label, write `Nf'--the `b' stands for «backwards» and the `f' stands for «forwards».

There is no restriction on how you can use these labels, and you can reuse them too. So that it is possible to repeatedly define the same local label (using the same number `N'), although you can only refer to the most recently defined local label of that number (for a backwards reference) or the next definition of a specific local label for a forward reference. It is also worth noting that the first 10 local labels (`0:'...`9:') are implemented in a slightly more efficient manner than the others.

Here is an example:

     1:        branch 1f
     2:        branch 1b
     1:        branch 2f
     2:        branch 1b

     label_1:  branch label_3
     label_2:  branch label_1
     label_3:  branch label_4
     label_4:  branch label_3

Хотя что считается выше локальным?

Метки, если он явно не заявлены глобальными - локальны. Но они появляются в объектном файле.

Если метка начинается с .L, то в объектном файле ее не будет.

[tmp]$ as -alm local.s
GAS LISTING local.s 			page 1


   1              	.Lxxx:
   2 0000 EBFE     		jmp .Lxxx
   3              	somethingelse:
   4              	.Lyyy:
   5 0002 EBFE     		jmp .Lyyy
   6              	
[tmp]$ nm a.out
00000002 t somethingelse