О команде bswap...

По поводу r и =r:
r - так описывается входной операнд\ы
=r - так описывается выходной операнд\ы
Входной от выходного операнда как вы уже поняли отличается перфиксом "=" в перечне выходных операндов
При перечислении операндов они нумеруются от первого выходного до последнего входного по порядку.

Код (Text):

1. :"=r"(x) ;%0
2. :"r"(x) ,"r"(y) ;%1, %2
3. :"%eax", "%ebx"

Именование играет роль. r - обычно любой регистр, но обязанный быть перечисленным в 3 строчке ниже. (вы так же можете написать вместо r что угодно). Но если написать "a" то в перечне регистр можно не указывать - это будет регистр %eax. Об э том говорится в той статье на английском.
Скопирую оттуда зарезервированный перечень:

Код (Text):

1. +---+--------------------+
2. | r   |    Register(s)          |
3. +---+--------------------+
4. | a |   %eax, %ax, %al     |
5. | b |   %ebx, %bx, %bl     |
6. | c |   %ecx, %cx, %cl     |
7. | d |   %edx, %dx, %dl     |
8. | S |   %esi, %si             |
9. | D |   %edi, %di             |
10. +---+--------------------+

А зачем нужен список регистров - так как раз за тем что ваши переменные использовать в коде. По сути компилятор присваивает значение переменной регистру, и наоборот. В зависимости от действия.
Ну примерно так. Поправьте, если не прав.