This patch accompanies the RFC posted here:
Once there is a consensus wrt the design of the feature, I will modify
this patch and split it into pieces for a proper review.
Even though this patch is definitely a prototype, it was tested quite
well, including the heavy-lifting of building the linux kernel
(kudos to Nick Desaulniers for doing that!).
One known problem in the implementation that I would like to mention
is that terminating callbr instruction is translated into INLINEASM
machine instruction, which is not a terminator. There are several crude
workarounds that we had to put in the code (e.g. see AsmPrinter.cpp) for
that. It has to be addressed in a better way and I would appreciate your
thoughts on that.
Authored By: Alexander Ivchenko, Mikhail Dvoretckii