std::midpoint<long>實現

l4m2

按照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:
   
2. Index     012345
   
3. 
   
4. [0,0]     DeER .   cmpq        %rsi, %rdi
   
5. [0,1]     DeER .   movq        %rsi, %rax
   
6. [0,2]     D=eER.   adcq        %rdi, %rax
   
7. [0,3]     D==eER   rcrq        %rax
   

复制代码

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

l4m2

mca說這是4cy

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

复制代码