什么叫非显式的整型立即数

sonicling

按照for example的说法，s后面仍然需要是个立即数，但是gcc有可能会把这个立即数放到寄存器里面，因为RISC的指令支持的立即数长度可能不够，你的立即数在指令里放不下。

zylthinking

sonicling 发表于 2012-10-15 13:12
按照for example的说法，s后面仍然需要是个立即数，但是gcc有可能会把这个立即数放到寄存器里面，因为RISC的 ...

我觉得未必这样理解啊， 照这样理解， 那么 编译时未知 该怎么解释， 还有他说s 代替 i 是因为可以产生更佳的代码， 那就是说 i 也行了， 但如果说是s长度不够, i 就够了？？？？
而且， 似乎将-128 - 127 放进寄存器是 K 的功劳， s 应该依旧在强调这是一个编译时未知值。
似乎这个例子也有些难理解， 照他的说法，  K 应该是表示的是排除 -128 - 127 的范围的值的，  Ks 就字面意思， 操作数应该是一个 [min, -128] || [128, max] 范围内的值， 并且是编译时不可知的； 那怎么达到如果是 -128 -- 127 就能放进寄存器的目的的－－－－输入压根就不在这个范围啊

zylthinking

sonicling 发表于 2012-10-15 13:12
按照for example的说法，s后面仍然需要是个立即数，但是gcc有可能会把这个立即数放到寄存器里面，因为RISC的 ...

1. int main(int argc, char** argv){
   
2.     int result = 10;
   
3.     const int n = 0;
   
4.     __asm__ (
   
5.             "movl %1, %0\n"
   
6.             :"=r"(result)
   
7.             :"s"(9)
   
8.     );
   
9. 
   
10.     printf("%d\n", result);
    
11.     return 0;
    
12. }
    

复制代码

$> cc -m32 a.c --std=c99
cc1: error in backend: Invalid operand for inline asm constraint 's'!

folklore

回复 23# zylthinking


    你用的 arm? 不熟，但这都不行，我怀疑 ARM不支持立即数到内存

改为：

asm ("mov %1 ,%r0; mov %r0,%0" : "=r"(result) : "s" (????????));

试试

zylthinking

folklore 发表于 2012-10-15 14:43
回复 23# zylthinking

x86 都不行

sonicling

回复 23# zylthinking

1.         case 's':
   
2.           if (CONST_INT_P (op)
   
3.               || (GET_CODE (op) == CONST_DOUBLE
   
4.                   && GET_MODE (op) == VOIDmode))
   
5.             break;
   
6.           /* Fall through.  */
   
7. 
   
8.         case 'i':
   
9.           if (CONSTANT_P (op) && (! flag_pic || LEGITIMATE_PIC_OPERAND_P (op)))
   
10.             result = 1;
    
11.           break;
    

复制代码

这是gcc asm_operand_ok()的部分代码，"s"检查通过的条件是

!CONST_INT_P (op) &&
((GET_CODE (op) != CONST_DOUBLE || GET_MODE (op) != VOIDmode)) &&
CONSTANT_P(op) &&
...

也就是说"s"不能是常量整型或者常量浮点，但必须是常量对象，符合这种条件的对象有
const_vector
const // 常量表达式
label_ref // asm label
symbol_ref // named label

zylthinking

sonicling 发表于 2012-10-15 15:51
回复 23# zylthinking 这是gcc asm_operand_ok()的部分代码，"s"检查通过的条件是

!CONST_INT_P (op) && ...

const_vector
const // 常量表达式
label_ref // asm label
symbol_ref // named label

这些东西各是什么？？？ 真的没概念
就常量表达式而言， 我胡试了几个， 似乎都不行

    __asm__ (
        "movl %1, %0\n"
        :"=r"(result)
        :"s"(sizeof(double))
    );

    __asm__ (
        "movl %1, %0\n"
        :"=r"(result)
        :"s"(1 ＋ 1)
    );

LABEL:
    __asm__ (
        "0:"
        "movl %1, %0\n"
        :"=r"(result)
        :"s"(0b)
    );
   
LABEL:
    __asm__ (
        "movl %1, %0\n"
        :"=r"(result)
        :"s"(LABEL)
    );
   

zylthinking

这也不行：

int test(){
    return 0;
}

int main (int argc, const char * argv[])
{

    int result = 10;
    register int n = 23;
LABEL:
    __asm__ (
        "movl %1, %0\n"
        :"=r"(result)
        :"s"(_test)
    );
   
    printf("%d\n", result);

    return 0;
}

zhaohongjian000

zylthinking 发表于 2012-10-15 16:01
这也不行：

int test(){

我的理解是s是不能单独用的，你加上r，变成rs试试。

sonicling

回复 27# zylthinking


   

/* Reference to an assembler label in the code for this function.
   The operand is a CODE_LABEL found in the insn chain.  */
DEF_RTL_EXPR(LABEL_REF, "label_ref", "u", RTX_CONST_OBJ)

/* Reference to a named label:
   Operand 0: label name
   Operand 1: flags (see SYMBOL_FLAG_* in rtl.h)
   Operand 2: tree from which this symbol is derived, or null.
   This is either a DECL node, or some kind of constant.  */
DEF_RTL_EXPR(SYMBOL_REF, "symbol_ref", "s00", RTX_CONST_OBJ)

assembler label指的是asm的label，不是C的控制label。

asm的label不可能用内嵌汇编去定义，只能间接生成，比如 "s"("hello")，字符串hello就让gcc间接生成了一个asm label。

named label指的还是asm的label，但是是命名的。只有全局变量才会有命名的label，比如"s"(&globaln)，如果globaln是全局变量，那么gcc会为他生成一个命名label，名字就是globaln，传其地址，其实就是传其label。