We just launched BOLT - a Binary Optimization and Layout Tool - to help you optimize the performance of your Linux binaries. https://code.facebook.com/posts/605721433136474/accelerate-large-scale-applications-with-bolt/ … GitHub:https://github.com/facebookincubator/BOLT …
-
-
Worse, CSE some of the code between __cp_begin and the syscall insn, with a call out to it. Now (1) the range check gets a false negative, and (2) if cancellation is acted upon, SP is wrong when control transfers to __cp_cancel.
-
well, I'd assume they're using something like -ffunction-sections and that's the granularity for rearrangement, I agree there's a world of hurt if they make the kind of changes you suggest here
-
Did you read the article? It seems they convert it to some kind of LLVM IR ("LLVM’s MCInst format"?) and let LLVM have at it...
-
They operate on machine code, don't have any metadata about function boundaries etc. So I doubt they could even make the pc range check work at all.
-
Too much information was already thrown away.
-
well, good luck with that musl code then!
-
FWIW glibc has to do something comparable to get it right but I don't know if they've merged it yet.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.