Seen this website a long time ago, it popped up again recently in a discussion with a fellow programmer, figure I'd share it since it contains some cool tricks that can otherwise be costly to perform.
Bit Twiddling Hacks
There is also a link near the top of the page to the UCLID code verification system which comes in handy for verifying algorithms that could yield some troublesome results.
While most of the hacks demonstrated on that website provide very small gains over alternate implementations, in high frequency code (which I'm sure dolphin has plenty of) those small gains become large over time.
Bit Twiddling Hacks
There is also a link near the top of the page to the UCLID code verification system which comes in handy for verifying algorithms that could yield some troublesome results.
While most of the hacks demonstrated on that website provide very small gains over alternate implementations, in high frequency code (which I'm sure dolphin has plenty of) those small gains become large over time.