一个最优的算法

问题:对一个正整数n,求一个不大于n而且是2的指数的最大整数.
int floor(int n){
    n=n | n>>1;
    n=n | n>>2;
    n=n | n>>4;
    n=n | n>>8;
    n=n | n>>16;
    return n-(n>>1);
}
真的是我发现的最高效的程序了,只要12条指令.

另外对这个问题的一般都会这样
m=1;
while(m<=n) m<<1;
return m>>1;

看起来更简洁但是效率低了不少.