上舍入、下舍入到下一个2的幂

 这是两个"地板"和"天花板"函数，但它们舍入到最近的2的整数幂。

1.下舍入

无分支算法基于右传播最高位。比较有意思的做法:

unsigned flp2(unsigned x) { x = x | (x >> 1);//这样最高位就最多占据了两位 x = x | (x >> 2);//最高位最多占据了四位 x = x | (x >> 4);//最高位最多占据了八位 x = x | (x >> 8);//最高位最多占据了十六位 x = x | (x >> 16);//最高位最多占据了三十二位 return x - (x >> 1); }

 有两个简单循环做法:

unsigned flp2(unsigned x) //循环次数取决于x有多大 { unsigned y = 0x80000000; while (y > x) { y = y >> 1; } return y; } unsigned flp2(unsigned x) //循环次数取决于最高位后1的个数 { unsigned y; do { y = x; x = x & (x - 1); } while(x != 0); return y; }

后者是基于后缀0的做法。

 

2.上舍入

右传播技巧为上舍入提供了好的算法。

unsigned clp2(unsigned x) { x = x - 1; x = x | (x >> 1); x = x | (x >> 2); x = x | (x >> 4); x = x | (x >> 8); x = x | (x >> 16); return x + 1; }

 

文章内容摘自《高效能程序的奥秘》,作者认为很多无分支做法效率胜过带分支的算法,因为后者会抑制cpu预取指令。

简单循环的做法不太好,因为对0需要特殊处理。

unsigned clp2(unsigned x) //循环次数取决于x有多大,对0需要单独判断 { unsigned y = 1; while ( y < x) { y = (y << 1); } return y; }