I think I've found the happy medium:

bit_length7_opt2.patch achieves nearly the same performance gains as 
bit_length7_opt.patch (around 7% for uniformly-distributed inputs, 3.5% 
for uniformly-distributed outputs), but is much more straightforward and 
readable.  It's pretty much what Raymond suggested in the first place, 
plus a table lookup.