[opaque pointer type] Encode the pointee type in the bitcode for 'cmpxchg'