x86 调用者保存被调用者保存寄存器数量是否分配的不太合理 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
doraos

x86 调用者保存被调用者保存寄存器数量是否分配的不太合理

  •  
  •   doraos Jan 30, 2019 2525 views
    This topic created in 2644 days ago, the information mentioned may be changed or developed.

    刚看 CASPP,上面说 X86_64 _中被调用者保存%rbp %rbx, %r12~%r15 而剩下来的由调用者保存,被调用者保存那么少,调用者函数保存那么多,是否分配的有点不合理,应该更多的由被调用者来保存所需的寄存器吧.mips 就是这样的

    4 replies    2019-01-30 15:59:00 +08:00
    misaka19000
        1
    misaka19000  
       Jan 30, 2019 via Android   1
    这个不是应该由编译器分配的吗,似乎和 CPU 本身没什么关系?
    GeruzoniAnsasu
        2
    GeruzoniAnsasu  
       Jan 30, 2019   1
    首先 x86 跟 x86_64 不一样。。。x86_64 一般简写成 x64

    然后 bp bx r12 r13 r14 r15
    vs
    ax cx dx di si sp r8 r9 r10 r11
    。。是咋得出被调用者保存少的结论的
    feather12315
        3
    feather12315  
       Jan 30, 2019 via Android   1
    @GeruzoniAnsasu #2,correct:x64 > AMD64 / Intel 64 / x86_64。我的记忆中,并不会简写为 x64。
    GeruzoniAnsasu
        4
    GeruzoniAnsasu  
       Jan 30, 2019   1
    @feather12315 行 8,就当做 x86 扩展到 64 位的各种架构不统一必须叫自己的名字好了

    想补充吐槽一下“保存”这个词
    我猜原文说的是 preserve?
    在 intel 的手册 38.3.2

    > As with most systems, it is the responsibility of the callee to preserve all registers except that used for returning a
    value.

    应该译作“保护”,我 2#的意思说反了,lz 说的东西的原意应该是

    “被调函数有义务保证 rbp rbx r12~r15 这几个寄存器的值在进出函数前后一致”

    如果按照 lz 的疑问是“为什么被调 routine 可以随意修改这么多寄存器的值不需要负责任”来理解的话

    ……只能回复说,恩,官方其实是建议负责任的,但可能现行 ABI 制定者觉得没必要
    About     Help     Advertise     Blog     API     FAQ     Solana     5770 Online   Highest 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 36ms UTC 07:16 PVG 15:16 LAX 00:16 JFK 03:16
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86