search for: fsipsccp

...vailable_externally were added with the goal of making devirtualization >>> in LLVM happen, but as orthogonal independent optimizations. I think >>> LLVM should continue with this design. If you want to implement a single >>> substantial optimization pass, I would suggest FSIPSCCP as the largest >>> thing you should write. >> >> This is a lot of work that is going to be completely foiled by the presence >> of almost any opaque call at all. > > Yes, but it's still useful. Sure, there are generally applications for any general optimizati...

...konce_odr and > available_externally were added with the goal of making devirtualization > in LLVM happen, but as orthogonal independent optimizations. I think > LLVM should continue with this design. If you want to implement a single > substantial optimization pass, I would suggest FSIPSCCP as the largest > thing you should write. This is a lot of work that is going to be completely foiled by the presence of almost any opaque call at all. What's needed here is a language-independent way to exploit language-specific guarantees like C++ [basic.life]p7, i.e. that certain proven...

...ernally were added with the goal of making devirtualization >>>> in LLVM happen, but as orthogonal independent optimizations. I think >>>> LLVM should continue with this design. If you want to implement a single >>>> substantial optimization pass, I would suggest FSIPSCCP as the largest >>>> thing you should write. >>> >>> This is a lot of work that is going to be completely foiled by the presence >>> of almost any opaque call at all. >> >> Yes, but it's still useful. > > Sure, there are generally applicat...

...d >> available_externally were added with the goal of making devirtualization >> in LLVM happen, but as orthogonal independent optimizations. I think >> LLVM should continue with this design. If you want to implement a single >> substantial optimization pass, I would suggest FSIPSCCP as the largest >> thing you should write. > > This is a lot of work that is going to be completely foiled by the presence > of almost any opaque call at all. Yes, but it's still useful. Also, anything based on knowing the type hierarchy could be foiled by new derivations in ot...

...SCC refinement, linkonce_odr and available_externally were added with the goal of making devirtualization in LLVM happen, but as orthogonal independent optimizations. I think LLVM should continue with this design. If you want to implement a single substantial optimization pass, I would suggest FSIPSCCP as the largest thing you should write. Nick

Hello all, Our compilers class has been using LLVM, and a partner and I decided to implement devirtualization of virtual C++ calls in LLVM as a class project. We quickly realized that existing debug metadata generated by Clang didn't give us enough info to (precisely) implement this, and as such have already begun modifying Clang to insert such metadata. However, for devirtualization we also