Finish HLIL rewriting support #7499
Description
What is the feature you'd like to have?
As mentioned at https://docs.binary.ninja/dev/bnil-modifying.html, support for modifying HLIL in workflows is incomplete.
Looking at the C API, these functions that exist for both LLIL and MLIL seem to lack HLIL equivalents:
BNPrepareToCopyLowLevelILFunctionBNPrepareToCopyLowLevelILBasicBlockBNLowLevelILAddInstruction
Therefore it seems impossible to copy HLIL functions in order to add new expressions/instructions. I've only been able to patch existing HLIL expressions.
Also, I don't see any way to establish MLIL-HLIL mappings. The documentation mentions this as a limitation, although it also claims that LLIL-MLIL doesn't work and I think that might be out of date? Or at least, the MLIL manipulation APIs allow passing LLIL-MLIL mapping info…