Простой цикл while во встроенном ассемблере GCC

Вы изменяете входной операнд (aptr), что не разрешено. Либо ограничьте его совпадением с выходным операндом, либо измените его на входной/выходной операнд.

Вот полный код, который имеет предполагаемое поведение.

• Обратите внимание, что код написан для 64-битной машины. Поэтому, например, %%rbx используется вместо %%ebx в качестве базового адреса для массива. По той же причине следует использовать leaq и cmpq вместо leal и cmpl.
• Следует использовать movq, так как массив имеет тип long.
• Тип long — это 8 байт, а не 4 байта на 64-битной машине.
• jl в вопросе следует заменить на jg.
• Метки регистров использовать нельзя, так как они будут заменены компилятором на 32-битную версию выбранного регистра (например, ebx).

• Ограничение "r" использовать нельзя. "r" означает, что можно использовать любой регистр, однако для leaq допустима не любая комбинация регистров. Посмотрите здесь: режимы адресации x86

  #include <iostream>
  
  using namespace std;
  
  int main(){
  
    int ARR_LEN=20;
    int STEP_SIZE=2;
    long SOME_VALUE=100;
  
    long* arr = new long[ARR_LEN];
  
    int i;
  
  
    for (i=0; i<ARR_LEN; i++){
      arr[i] = 0;
    }
  
    __asm__ __volatile__
    (
      "loop:"
      "movq %%rdx, (%%rbx);"
      "leaq (%%rbx, %%rcx, 8), %%rbx;"
      "cmpq %%rbx, %%rax;"
      "jg loop;"
      : // no output
      : "b" (arr),
        "a" (arr+ARR_LEN),
        "c" (STEP_SIZE),
        "d" (SOME_VALUE)
      : "cc", "memory"
    );
  
    for (i=0; i<ARR_LEN; i++){
      cout << "element " << i << " is " << arr[i] << endl;
    }
  
    delete[] arr;
  
    return 0;
  
  }
  

Как насчет ответа, который работает как для x86, так и для x64 (хотя предполагается, что длина всегда составляет 4 байта, как в Windows)? Основное отличие от ОП заключается в использовании «+r» и (temp).

#include <iostream>

using namespace std;

int main(){

  int ARR_LEN=20;
  size_t STEP_SIZE=2;
  long SOME_VALUE=100;

  long* arr = new long[ARR_LEN];

  for (int i=0; i<ARR_LEN; i++){
    arr[i] = 0;
  }

  long* temp = arr;

   asm volatile (
      "loop:\n\t"
      "movl %[sval], (%[aptr])\n\t"
      "lea (%[aptr], %[incr], %c[size]), %[aptr]\n\t"
      "cmp %[eptr], %[aptr]\n\t"
      "jl loop\n\t"
      : [aptr] "+r" (temp)
      : [eptr] "r" (arr + ARR_LEN),
        [incr] "r" (STEP_SIZE),
        [sval] "i" (SOME_VALUE),
        [size] "i" (sizeof(long))
      : "cc", "memory"
   );

  for (int i=0; i<ARR_LEN; i++){
    cout << "element " << i << " is " << arr[i] << endl;
  }

  delete[] arr;

  return 0;
}