GCC x86内联汇编中的(+ r)与(= r)约束

时间:2014-11-03 19:53:44

标签: c gcc assembly x86 inline-assembly

我在c中使用内联汇编块对数组进行排序的代码有问题。

我的完整代码是:

#include <stdio.h>
#define n 20

int main()
{
    int array[n];
    int i;
    int swapped;

    printf("Enter the elements one by one \n");
    for (i = 0; i < n; i++)
    {
        scanf("%d", &array[i]);
    }

    printf("Input array elements \n");
    for (i = 0; i < n ; i++)
    {
        printf("%d\n", array[i]);
    }

    /*  Bubble sorting begins */   
    do
    {
          swapped = 0;
          for (i = 1; i < n; i++)
          {
/* 
           if (array[i] < array [i-1])
           {
               swapped =1;
               int temp = array [i-1];
               array [i-1] = array [i];
               array[i] = temp;
           }
*/

               //body of the for loop
               //converted to assembly
               __asm__ __volatile__("cmp %0, %1;"
                                    "jge DONE;"
                                    "mov eax, %0;"
                                    "mov %0, %1;"
                                    "mov %1, eax;"
                                    "mov %2, 1;"
                                    "DONE: "
                                    : "+r" (array[i]), "+r" (array[i-1]), "=r" (swapped)
                                    : //no input
                                    : "eax", "cc"
                                    );


          }

    } while (swapped > 0);

    printf("Sorted array is...\n");
    for (i = 0; i < n; i++)
    {
        printf("%d\n", array[i]);
    }

    return 0;
}

由于某种原因,do while变为无限循环,但当我将swapped变量的修饰符更改为 "+r" (swapped) 时,它可以正常工作。我查看了两种情况下生成的汇编代码(-save-temp),除了在使用“+ r”的情况下将swapped变量移动到寄存器之外没有注意到任何其他情况,这是预期的。

为什么我需要使用"+r"

1 个答案:

答案 0 :(得分:1)

如果使用=,则表示它是输出,必须写入。但是,您只能在有交换的情况下编写它。编译器将优化您使用的swapped = 0,因为它假定汇编程序块将生成一个将覆盖它的新值。这意味着,如果没有交换,编译器将很乐意使用它为%2选择的寄存器中的任何垃圾作为swapped的新值,并且偶然产生无穷无尽的循环。

以下是一些代码来说明:

swapped = 0;
/* this is the asm block */
{
    /* this is not initialized, because it's declared as output */
    int register_for_operand2;
    if (array[i] < array[i - 1])
    {
        /* body here */
        register_for_operand2 = 1;
    }
    /* the compiler generates this code for the output operand */
    /* this will copy uninitialized value if the above condition was false */
    swapped = register_for_operand2;
}