Stores the index of the highest 1 bit and returns true. Returns false and leaves highestBitSetIndex in an underterminate state if the value has no bits set. Uses BSR instruction. See http://felixcloutier.com/x86/BSR.html
source not stored for this graph (policy: none)
no outgoing calls