search for: promotememorytoregist

...eehoon Kang via llvm-dev wrote: > > Dear llvm-dev, > > > Hi! We're collecting mis-compilation bugs in gvn and mem2reg since > 3.7.1. Specifically, We're interested in bugs in the following files: > > llvm/lib/Transforms/Scalar/GVN.cpp > llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp > > > 3.7 was released over two years ago; there have been many bugfixes to both > GVN and the analysis passes it depends on since then. Do you have some > idea of what, specifically, you're looking for? > > mem2reg is a very simple pass; I would be surprised if you...

...> >> Dear llvm-dev, >> >> >> Hi! We're collecting mis-compilation bugs in gvn and mem2reg since >> 3.7.1. Specifically, We're interested in bugs in the following files: >> >> llvm/lib/Transforms/Scalar/GVN.cpp >> llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp >> >> >> 3.7 was released over two years ago; there have been many bugfixes to >> both GVN and the analysis passes it depends on since then. Do you have >> some idea of what, specifically, you're looking for? >> >> mem2reg is a very simple pass;...

Dear llvm-dev, Hi! We're collecting mis-compilation bugs in gvn and mem2reg since 3.7.1. Specifically, We're interested in bugs in the following files: llvm/lib/Transforms/Scalar/GVN.cpp llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp We checked all reports in the LLVM bugzilla (https://bugs.llvm.org/), so I'd like to ask if you know any such a bug that is not reported in the bugzilla. Thanks, Jeehoon Kang -- Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang> Software Foundations Laboratory &lt...

...PM, Jeehoon Kang via llvm-dev wrote: > Dear llvm-dev, > > > Hi! We're collecting mis-compilation bugs in gvn and mem2reg since > 3.7.1.  Specifically, We're interested in bugs in the following files: > > llvm/lib/Transforms/Scalar/GVN.cpp > llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp 3.7 was released over two years ago; there have been many bugfixes to both GVN and the analysis passes it depends on since then.  Do you have some idea of what, specifically, you're looking for? mem2reg is a very simple pass; I would be surprised if you found miscompile bug in it. -...

at line 216 'S' is declared with 'const' qualifier const DominanceFrontier::DomSetType &S = it->second; a few lines later an iterator over this set is asked for, instead of a const_iterator -- Visual C (rightfully) flags this as an error. Here is a patch... m. -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name:

...hy is it here? 3) Regarding bug 1446 (http://llvm.org/bugs/show_bug.cgi?id=1446): the proposed patch for the file called sv_client.c indeed works on OSX, but on Linux X86 -O3 it still does not work. More in particular, the frontend is now stuck inside the for-loop on lines 176-->391 of PromoteMemoryToRegister.cpp when in the control flow of -scalarrepl: #4 0x08764f72 in (anonymous namespace)::PromoteMem2Reg::run (this=0xbff9bfa0) at /home/bram/workspace/svn/aspicere2/trunk/llvm/lib/Transforms/ Utils/PromoteMemoryToRegister.cpp:271 #5 0x08767021 in llvm::PromoteMemToReg (Allocas=@0xbff9c120,...

Hi Dave, Did that patch of yours ever make it into trunk? I can't seem to find any related checkin for PromoteMemoryToRegister.cpp. I've been doing some extra profiling lately and the RewriteSingleStoreAlloca function alone is taking a whopping 63% of execution time. Thanks! Nicolas -----Original Message----- From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of David Greene Se...

Hi, In PromoteMemoryToRegister.cpp, it seems to rely on the fact that the only users of bitcast/GEP instruction are lifetime intrinsics (llvm.lifetime.start/end). I did some searching in llvm/test folder, it seems to be true. However, by reading LLVM IR manual, I don't see any restriction stated on the possible user of bi...

On Wednesday 24 September 2008 09:35, Nicolas Capens wrote: > Hi Dave, > > Did that patch of yours ever make it into trunk? I can't seem to find any > related checkin for PromoteMemoryToRegister.cpp. I've been doing some extra > profiling lately and the RewriteSingleStoreAlloca function alone is taking > a whopping 63% of execution time. I will commit it today along with some other things. I've been having a lot of trouble building llvm-gcc but I think I've struggled...

Hi, In PromoteMemoryToRegister.cpp, it seems to rely on the fact that the only users of bitcast/GEP instruction are lifetime intrinsics (llvm.lifetime.start/end). I did some searching in llvm/test folder, it seems to be true. However, by reading LLVM IR manual, I don't see any restriction stated on the possible user of bi...

...> 3) Regarding bug 1446 (http://llvm.org/bugs/show_bug.cgi?id=1446): > the proposed patch for the file called sv_client.c indeed works on > OSX, but on Linux X86 -O3 it still does not work. More in particular, > the frontend is now stuck inside the for-loop on lines 176-->391 of > PromoteMemoryToRegister.cpp when in the control flow of -scalarrepl: > > #4 0x08764f72 in (anonymous namespace)::PromoteMem2Reg::run > (this=0xbff9bfa0) > at /home/bram/workspace/svn/aspicere2/trunk/llvm/lib/Transforms/ > Utils/PromoteMemoryToRegister.cpp:271 > #5 0x08767021 in llvm::PromoteMemT...

...form that simplifies the analysis and optimization passes /// of Polly. The set of optimization passes scheduled here is probably not yet /// optimal. TODO: Optimize the set of canonicalization passes. static void registerCanonicalicationPasses(llvm::PassManagerBase &PM) { PM.add(llvm::createPromoteMemoryToRegisterPass()); PM.add(llvm::createInstructionCombiningPass()); PM.add(llvm::createCFGSimplificationPass()); PM.add(llvm::createTailCallEliminationPass()); PM.add(llvm::createCFGSimplificationPass()); PM.add(llvm::createReassociatePass()); PM.add(llvm::createLoopRotatePass()); PM.add(llvm::...

...18:07 To: Nicolas Capens Cc: 'LLVM Developers Mailing List' Subject: Re: [LLVMdev] mem2reg optimization On Wednesday 24 September 2008 09:35, Nicolas Capens wrote: > Hi Dave, > > Did that patch of yours ever make it into trunk? I can't seem to find any > related checkin for PromoteMemoryToRegister.cpp. I've been doing some extra > profiling lately and the RewriteSingleStoreAlloca function alone is taking > a whopping 63% of execution time. I will commit it today along with some other things. I've been having a lot of trouble building llvm-gcc but I think I've struggled...

2009/3/17 Shone Sadler <shone.sadler at gmail.com>: > I was more specifically looking through the source > code for a place where Reaching Definitions was implemented to derive those > uses and/or to generate the SSA. mem2reg (llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp) transforms to SSA form, but that's the conventional SSA construction algorithm, which doesn't really use reaching definitions. The closest thing to what you're looking for is probably memdep (llvm/lib/Analysis/MemoryDependenceAnalysis.cpp). -Eli

Hi, I am new to llvm. I have project in llvm. For that I need SSA form, which is already implemented in llvm. Basically I want to know which pass insert phi and converts it to SSA form in llvm . Regards, Chayan

...rkar wrote: > Hi, > I am new to llvm. I have project in llvm. For that I need SSA form, > which is already implemented in llvm. Basically I want to know which > pass insert phi and converts it to SSA form in llvm . http://llvm.org/docs/Passes.html#mem2reg which is lib/Transforms/Utils/PromoteMemoryToRegister.cpp. Nick

...nce between using llvm-gcc at some -O > level, and running it at -O0 and using opt to run the passes on > the unoptimized bitcode. However, you wrote earlier: > Finally, llvm-gcc runs the following passes on each function > immediately after it is created: > > CFGSimplification, PromoteMemoryToRegister, > ScalarReplAggregates, InstructionCombining. AFAIK this isn't something that opt can do. Or are these passes run always by llvm-gcc, even with -O0 ?

On Tue, May 20, 2008 at 2:28 PM, Chris Lattner <clattner at apple.com> wrote: > > On May 20, 2008, at 8:57 AM, David Greene wrote: > >> On Tuesday 20 May 2008 07:03, Nicolas Capens wrote: >> >>> 1) Does ScalarReplAggregates totally superscede >>> PromoteMemoryToRegister? I >> >> Nope, they are different. Mem2Reg is really important if you want >> register >> allocation. > > Actually SROA does fully subsume Mem2Reg. It iterates between breaking > up aggregates and promoting them to registers. > >>> think I need it to...

...the analysis and optimization passes > /// of Polly. The set of optimization passes scheduled here is probably not yet > /// optimal. TODO: Optimize the set of canonicalization passes. > static void registerCanonicalicationPasses(llvm::PassManagerBase &PM) { > PM.add(llvm::createPromoteMemoryToRegisterPass()); > PM.add(llvm::createInstructionCombiningPass()); > PM.add(llvm::createCFGSimplificationPass()); > PM.add(llvm::createTailCallEliminationPass()); > PM.add(llvm::createCFGSimplificationPass()); > PM.add(llvm::createReassociatePass()); > PM.add(llvm::crea...

...d optimization passes > >/// of Polly. The set of optimization passes scheduled here is probably not yet > >/// optimal. TODO: Optimize the set of canonicalization passes. > >static void registerCanonicalicationPasses(llvm::PassManagerBase &PM) { > > PM.add(llvm::createPromoteMemoryToRegisterPass()); > > PM.add(llvm::createInstructionCombiningPass()); > > PM.add(llvm::createCFGSimplificationPass()); > > PM.add(llvm::createTailCallEliminationPass()); > > PM.add(llvm::createCFGSimplificationPass()); > > PM.add(llvm::createReassociatePass()); >...