search for: sparsepropagation

...gt; SCCP > > > and in gcc/llvm-backend.cpp: > > static void createPerModuleOptimizationPasses() { > ... > PM->add(createSCCPPass()); // Constant prop > with SCCP > I guess I wasn't clear. I was referring to the code in include/llvm/Analysis/SparsePropagation.h and lib/Analysis/SparsePropagation.cpp which use the same optimistic worklist based algorithm that SCCP uses, but allow for pluggable lattices/transfer-functions via subclassing the AbstractLatticeFunction class. It looks like this was written to be a more general framework that worklist based...

On Wed, May 27, 2009 at 5:26 PM, Mark Lacey <superoptimizer at gmail.com> wrote: > Hi All, > Hi Mark, > I'm relatively new to LLVM (but not optimizing compilers), and have been > reading docs and browsing code. > Bienvenue! > I noticed in the 2.4 release notes that a sparse propagation framework had > been added based on the SCCP algorithm. I might have a need for

Hi All, I'm relatively new to LLVM (but not optimizing compilers), and have been reading docs and browsing code. I noticed in the 2.4 release notes that a sparse propagation framework had been added based on the SCCP algorithm. I might have a need for exactly this kind of framework in order to prototype an analysis I have in mind. I also noticed, however, that this doesn't appear to be

...a need for exactly this >> kind of framework in order to prototype an analysis I have in mind. >> >> I also noticed, however, that this doesn't appear to be in use at this time. >> > It is being used: He's not asking about the SCCP pass, but rather llvm/Analysis/SparsePropagation.h, which is in fact unused at the moment. -Eli

I am working on implementing an algorithm that needs one of the standard Data Flow Analysis as its precondition (VeryBusyExpression to be precise). Thus I take a look into LLVM (2.8) and check their availability. I do expect to see all of the following standard ones: - Reaching Definition (RD) - Live Variable (LV) - Available Expression (AE) - Very Busy Expression (VBE) To my surprise, I

...ten before much of include/ADT). Finally, predsimplify is likely to go away once I or someone else writes a proper VRP pass. The only other starting points I can suggest are the concrete interpreter in lib/ExecutionEngine/Interpreter and the sparse conditional propagation framework in Analysis/SparsePropagation.h. If you decide that predsimplify is useful for you despite my warnings, then I would be very happy to hear that my time working on it wasn't all wasted! Nick Lewycky

PredicateSimplifier is a pretty interesting pass, but it doesn't look like opt invokes it at any standard -Ox level, and so I assume that llvm-gcc also does not use this pass? If that is right, I'm curious about why this is the case -- does it simply not provide enough code speedup to compensate for the increase in compile time? Also, a colleague and I (we both teach advanced

.../usr/local/llvm-2.8/include/llvm/Analysis/ScalarEvolutionExpander.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/ScalarEvolutionExpressions.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/ScalarEvolutionNormalization.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/SparsePropagation.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/Trace.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/ValueTracking.h -- Installing: /usr/local/llvm-2.8/include/llvm/Analysis/Verifier.h -- Installing: /usr/local/llvm-2.8/include/llvm/Argument.h -- Installing: /usr/local/llvm-2...

On Thu, Sep 30, 2010 at 3:08 PM, Samuel Williams <space.ship.traveller at gmail.com> wrote: > Hi, > > I might just be doing something stupid, but when I do > > $ cmake -DCMAKE_INSTALL_PREFIX=/usr/local/llvm-2.8 -DCMAKE_BUILD_TYPE=Release .. > $ sudo make install > > I don't get the expected headers in >        /usr/local/llvm-2.8/include/llvm > > It is

Hi, I might just be doing something stupid, but when I do $ cmake -DCMAKE_INSTALL_PREFIX=/usr/local/llvm-2.8 -DCMAKE_BUILD_TYPE=Release .. $ sudo make install I don't get the expected headers in /usr/local/llvm-2.8/include/llvm It is simply an empty directory. What am I doing wrong? This is on Mac OS X, CMake 2.8+ Kind regards, Samuel

...elease+Asserts build llvm[3]: Compiling TargetLowering.cpp for Release+Asserts build llvm[3]: Compiling GVN.cpp for Release+Asserts build llvm[2]: Compiling ScalarEvolutionNormalization.cpp for Release+Asserts build llvm[2]: Compiling ScopedNoAliasAA.cpp for Release+Asserts build llvm[2]: Compiling SparsePropagation.cpp for Release+Asserts build llvm[3]: Compiling IndVarSimplify.cpp for Release+Asserts build llvm[2]: Compiling TargetLibraryInfo.cpp for Release+Asserts build llvm[3]: Compiling TargetSelectionDAGInfo.cpp for Release+Asserts build llvm[3]: Building Release+Asserts Archive Library libLLVMSelection...