Fix encoding of BranchReg instructions
Support function pointers.