std::midpoint實現

litong

按照C++20標準，std::midpoint需要輸出：

Half the sum of a and b. No overflow occurs. If a and b have integer type and the sum is odd, the result is rounded towards a.

對無符號數這相對簡單，rcr能包含進位視爲一個65位的臨時變量

1. Timeline view:Index     012345[0,0]     DeER .   cmpq        %rsi, %rdi[0,1]     DeER .   movq        %rsi, %rax[0,2]     D=eER.   adcq        %rdi, %rax[0,3]     D==eER   rcrq        %rax

复制代码

但有符號數呢？
cycle數第一考慮，覆蓋輸入寄存器第二考慮，臨時寄存器數量第三，長度第四（有別的評價標準再說）

ohelorukozaxe

mca說這是4cy

1. [0,0]     DeER ..   xorl        %ecx, %ecx[0,1]     DeER ..   cmpq        %rdi, %rsi[0,2]     D=eER..   setl        %al[0,3]     DeE-R..   sarq        %rsi[0,4]     .DeER..   adcl        %ecx, %ecx[0,5]     .DeER..   sarq        %rdi[0,6]     .D=eER.   sbbb        %cl, %al[0,7]     .DeE-R.   movq        %rsi, %rax[0,8]     . D=eER   adcq        %rdi, %rax

复制代码