判断4个整数符合“第一个为1，后三个为0”的方法

w_anthony

很遗憾，C语言的规则里面就是第一个条件不满足，后面的条件就不用执行了，所以就会有这么多你看似很“糟糕”的跳转指令。
如果你本身是用汇编写的，貌似这里是C版，所以我只给出C编译器的思路；如果你本身是用C写的，那就if ((rax == 1) && (rdx == 0) && (r8 == 0) && (r9 == 0))这样朴素的方法就很好了。

safedead

[quote][size=2][color=#000]hellioncu 发表于 2013-02-17 14:08[/color] [url=forum.php?mod=redirect&goto=findpost&pid=23785540&ptid=4067684][img]static/image/common/back.gif[/img][/url][/size]
rsi = (rax ^ 0x1) | (rdx | r8 | r9)[/quote]


到底是正牌计算机学科出来的，比我这半路出家的强多了

rax ^ 0x1         如果rax == 1, 此表达式为0, 否则非0
rdx | r8 | r9      如果rdx, r8, r9全为0，此表达式为0，否则非0
两个结果同或，满足要求为0，不满足为非零

汇编之后

movq    %rax, %rsi
xorq    $1, %rsi
orq     %rdx, %rsi
orq     %r8, %rsi
orq     %r9, %rsi
test    %rsi, %rsi
jz      .L_IS_ONE

safedead

回复 10# hellioncu


受你的启发，如果想判断两个大数相等，是不是可以这么做?

512位数值1存储于xmm0, xmm1, xmm2, xmm3
512位数值2存储于xmm4, xmm5, xmm6, xmm7
128位临时变量xmm8

xmm8 = (xmm0 ^ xmm4) | (xmm1 ^ xmm5) | (xmm2 ^ xmm6) | (xmm3 ^ xmm7)
如果xmm8为0，则两个512位数值相等

hellioncu

safedead 发表于 2013-02-17 18:22
回复 10# hellioncu

512bit，64字节，不知道你什么CPU，也许有内存比较指令更合适

zylthinking

这个对吗？
设rdx = 1 其余都是0 同样 rsi 能得出1

safedead

回复 15# zylthinking


   
rsi为0表示4个数的条件都满足
非零值就是不同时满足(rax == 1) && (rdx == 0) && (r8 == 0) && (r9 == 0)
如果rdx = 1其他是0，得出来是非0值

safedead

回复 14# hellioncu


x64
我把要计算的数据都加载到XMM寄存器了
内存访问太慢了
用SSE4指令处理xmm寄存器很方便，以384位数据为例
pextrq    $0, %xmm0, %rax        #取xmm0的低64位到rax
pextrq    $1, %xmm0, %rdx        #取xmm0的高64位到rdx
pextrq    $0, %xmm1, %r8         #取xmm1的低64位到r8
pextrq    $1, %xmm1, %r9         #取xmm1的高64位到r9
pextrq    $0, %xmm2, %r10        #取xmm2的低64位到r10
pextrq    $1, %xmm2, %r11        #取xmm2的高64位到r11
计算完毕再用PINSRQ指令写回XMM寄存器，绕开频繁内存读写开销

我的破笔记本只支持到SSE4，如果是现在的主流CPU，我就可以用到AVX指令处理256位YMM寄存器了

noword2k

LZ不妨用实际的工作数据测试一下，这样所谓的优化，不一定会比用最朴素的代码开优化后编译出来的快多少。

safedead

noword2k 发表于 2013-02-18 10:56
LZ不妨用实际的工作数据测试一下，这样所谓的优化，不一定会比用最朴素的代码开优化后编译出来的快多少。

384位有限域求逆比openssl的内联汇编快半个数量级，和GMP基本持平，并且做到了可重入
难道不值得优化么
GMP运算部分代码也是全汇编实现的

C不是最佳运算语言，至少F77可以甩C99两条大街

fanronghua

uint64_t rax;
uint64_t rdx;
uint64_t r8;
uint64_t r9;

if (!r9 & !r8 & !rdx & rax)
{
}
else
{
}