If you think that shift operators aren't being translated to shift instructions, you can examine the output of 8c -S.
x/2 is equal to x>>1 for non-negative integer x; for negative x, the two expressions may yield different values, even if x is a signed integer. The book Hacker's Delight, among others, explores these sorts of optimisations.
