Сообщение об ошибке asm: `(% rax,% edx, 4) 'не является допустимым выражением базы / индекса

Question

: 96: Ошибка: `(% rax,% edx, 4) 'не является допустимым выражением базы / индекса

line97: Ошибка: `-4 (% rax,% edx, 4) 'не является допустимым выражением базы / индекса

line101: Ошибка: `(% rax,% edx, 4) 'не является допустимым выражением базы / индекса

line102: Ошибка: `-4 (% rax,% edx, 4) 'не является допустимым выражением базы / индекса

Я получаю эти сообщения об ошибках и не уверен, как это исправить.

Это мой код:

__asm__ (

           "loop:       \n\t"
           "movl        $1,%3\n\t"
           "movl        $0, %6\n"

           "start:        \n\t"

           "movl        (%1,%3,4),%4\n\t"       
           "movl        -4(%1, %3, 4), %5\n\t"

           "cmpl        %4, %5\n\t"           
           "jle         next\n\t"

           "xchgl        %4, %5\n\t"               
           "movl        %4, (%1, %3, 4)\n\t"        
           "movl        %5, -4(%1, %3, 4)\n\t"        
           "movl        $1, %6\n\t"

           "next:       \n\t"
           "incl        %3  \n\t"        

           "cmpl        %3, %2\n\t"
           "jge        start\n\t"        

           "cmpl        $0, %6\n\t"
           "je        end\n\t"

           "jmp        loop\n\t"        
           "end:        \n\t"

Пожалуйста, помогите объяснить, как исправить это сообщение об ошибке. Я пытаюсь сделать пузырьковую сортировку в ASM.

Answer 1

Вы не сказали, на какой процессор вы нацеливаетесь, но похоже, что это x64. На x64 (%rax, %edx, 4) не является допустимой комбинацией. Обратитесь к руководству процессора для получения списка допустимых режимов адресации. Я думаю, что вы имели в виду (%rax, %rdx, 4).

Answer 2

Скорее всего, причиной вашей проблемы является использование явного 32-битного целочисленного типа в операнде %3.Вы не показали список ограничений для встроенной сборки.Но вышеописанное происходит, если вы делаете:

int main(int argc, char **argv)
{
    int result, foobaridx;

    foobaridx = foobar[4];

    __asm__ (
        "       dec    %2\n\t"
        "       movl   (%1, %2, 4), %0\n\t"
    : "=r"(result) : "r"(foobar), "r"(foobaridx) : "memory", "cc");

    return result;
}

Компиляция в 32-битном режиме работает нормально:

$ gcc -O8 -m32 -c tt.c
$ objdump -d tt.o

tt.o:     file format elf32-i386

00000000 :
   0:   55                      push   %ebp
   1:   b8 00 00 00 00          mov    $0x0,%eax
   6:   89 e5                   mov    %esp,%ebp
   8:   83 ec 08                sub    $0x8,%esp
   b:   8b 15 10 00 00 00       mov    0x10,%edx
  11:   83 e4 f0                and    $0xfffffff0,%esp
  14:   4a                      dec    %edx
  15:   8b 04 90                mov    (%eax,%edx,4),%eax
  18:   83 ec 10                sub    $0x10,%esp
  1b:   c9                      leave
  1c:   c3                      ret

Но в 64-битном режиме компилятору / ассемблеру это не нравится:

$ gcc -O8 -c tt.c
/tmp/cckylXxC.s: Assembler messages:
/tmp/cckylXxC.s:12: Error: `(%rax,%edx,4)' is not a valid base/index expression

Способ исправить это - использовать #include <stdint.h> и привести операнды приведения к регистру, которые в конечном итоге будут использоваться при адресации (в качестве базовых или индексных регистров) к uintptr_t (который представляет собой целочисленные данные).тип гарантированно будет «совместимым по размеру» с указателями, независимо от того, используете ли вы 32-битную или 64-битную версию).С этим изменением 64-битная компиляция завершается успешно и создает следующий вывод:

$ gcc -O8 -c tt.c
$ objdump -d tt.o

tt.o:     file format elf64-x86-64

Disassembly of section .text:

0000000000000000 :
   0:   48 63 15 00 00 00 00    movslq 0(%rip),%rdx        # 7 
   7:   b8 00 00 00 00          mov    $0x0,%eax
   c:   48 ff ca                dec    %rdx
   f:   8b 04 90                mov    (%rax,%rdx,4),%eax
  12:   c3                      retq

Удачи в создании встроенной сборки "32/64-битная независимость"!