get_label_for_address on MLIL/HLIL #7408
Description
What is the feature you'd like to have?
get_label_for_address, function that exists on LLIL functions, should have an equivalent for MLIL/HLIL
Is your feature request related to a problem?
I have a workflow activity that replaces conditional jumps with gotos (removing one of the branches) where dataflow analysis shows the jump can only go one way. Currently it works by copying the entire function and just replacing those instructions, but this is becoming a serious performance problem (because i need to run this transformation in a loop, because often changing one jump reveals that another jump is actually also unconditional) and this transformation should be possible with just instruction replacement, no need to copy the whole block. But you can't simply construct a replacement instruction if it uses labels.
Are any alternative solutions acceptable?
Maybe something with writing my own dataflow analysis which can run incrementally and discover all the jumps to change before needing to copy the block and change them? That's a lot of work