You are right. I was lazy, I compiled it with gcc -O2 and extracted the assembler with objdump -Mintel -d.
355 karma · joined October 24, 2013
// 28 + ((0x3bbeecc>>m>>m)&3);
b8 cc ee bb 03 mov eax,0x3bbeecc
d3 f8 sar eax,cl
d3 f8 sar eax,cl
83 e0 03 and eax,0x3
83 c0 1c add eax,0x1cint result = (30|m^(m>>3)) - (((m^13)+1)>>4<<1);