RTL转换

blackoil

(mem(+(mem) const))
RTL代码中如何将第二个mem节点转为一条mov指令？
需要在哪里判断？

blackoil

现在进行p->v;操作时出现无法匹配的RTL

move reg,[p]
move reg,[reg+v]

GCC没有将p加载，变成

move reg,[p+v]

EricFisher

gdb调试下吧

blackoil

/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c: In function ‘frame_heapsort’:
/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:537:1: error: insn does not satisfy its constraints:
(insn 48 47 163 2 (set (reg:SI 4 X4)
        (mem:SI (plus:SI (mem/f/c:SI (plus:SI (reg/f:SI 22 FP)
                        (const_int 16 [0x10])) [6 erratic+0 S4 A32])
                (const_int 4 [0x4])) [4 erratic_3(D)->count+0 S4 A32])) /home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:519 3 {load_store_si}
     (nil))
/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:537:1: internal compiler error: in reload_cse_simplify_operands, at postreload.c:403

blackoil

/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c: In function ‘frame_heapsort’:
/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:537:1: error: insn does not satisfy its constraints:
(insn 48 47 163 2 (set (reg:SI 4 X4)
        (mem:SI (plus:SI (mem/f/c:SI (plus:SI (reg/f:SI 22 FP)
                        (const_int 16 [0x10])) [6 erratic+0 S4 A32])
                (const_int 4 [0x4])) [4 erratic_3(D)->count+0 S4 A32])) /home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:519 3 {load_store_si}
     (nil))
/home/abcde/gccsrc/libgcc/unwind-dw2-fde.c:537:1: internal compiler error: in reload_cse_simplify_operands, at postreload.c:403

EricFisher

估计还是RTL pattern描述的问题。

blackoil

I do think so. But I tried own test code, it works fine. It's pretty weird.

1. 
   
2. struct new
   
3. {
   
4. int a;
   
5. int b;
   
6. };
   
7. 
   
8. int main(struct new * p)
   
9. {
   
10. p->b += 123;
    
11. }

复制代码

EricFisher

也许只是你这个例子没有暴露这个问题。如果reload阶段没有找到合适的RTL模式，就会报错了。

blackoil

指定参数入栈传递一般需要设置哪些选项？

EricFisher

http://gcc.gnu.org/onlinedocs/gc ... tml#Stack-Arguments

17.10.6 Passing Function Arguments on the Stack

我也就是纸上谈兵，具体的还是需要查看gccint文档和现有的代码，呵呵。