search for: addnewblock

...(From, To) and deleteArc(From, To). The algorithm uses SemiNCA under the hood which would replace Lengauer-Tarjan implementation currently used. The second part of the proposal is to gradually deprecate and remove the existing API for manually manipulating dominator tree (changeImmediateDominator, addNewBlock) and replace its use within LLVM with the new incremental API. *3. Proof of concept* The prototype implementation can be found in my LLVM fork [2] <https://github.com/kuhar/llvm-dominators>. It comes with several layers of verification and was tested on clang, llvm test suite and a few open...

...uses SemiNCA under the hood which would replace > > Lengauer-Tarjan implementation currently used. > > > > The second part of the proposal is to gradually deprecate and remove the > > existing API for manually manipulating dominator tree > > (changeImmediateDominator, addNewBlock) and replace its use within LLVM > > with the new incremental API. > > > > *3. Proof of concept* > > > > The prototype implementation can be found in my LLVM fork [2] > > <https://github.com/kuhar/llvm-dominators>. It comes with several layers > > of...

...ymbol llvm::DominatorTreeBase<llvm::BasicBlock, true>::changeImmediateDominator(llvm::BasicBlock*, llvm::BasicBlock*) in: ../../lib/libLLVMAnalysis.a(PostDominators.cpp.o) ../../lib/libLLVMCore.a(Dominators.cpp.o) duplicate symbol llvm::DominatorTreeBase<llvm::BasicBlock, true>::addNewBlock(llvm::BasicBlock*, llvm::BasicBlock*) in: ../../lib/libLLVMAnalysis.a(PostDominators.cpp.o) ../../lib/libLLVMCore.a(Dominators.cpp.o) duplicate symbol llvm::DominatorTreeBase<llvm::BasicBlock, true>::insertEdge(llvm::BasicBlock*, llvm::BasicBlock*) in: ../../lib/libLLVMAnalysis.a(...

Hi Andrew, Thanks a lot. But the function "DT->dominate(A,B)" decides the dominance relationship through comparing the DFS numbers, right? At least, in my example, when I check whether the newly split node (i.e., % *for.end.split*) DOMINATES the original node (I.e., %for.end), the answer is true, which is obviously wrong. Paul On Fri, Feb 14, 2014 at 1:59 AM, Andrew Trick

On Sep 18, 2012, at 1:45 PM, Bjorn De Sutter <bjorn.desutter at elis.ugent.be> wrote: > I am working on a backend for a CGRA architecture with advanced predicate support (as on EPIC machines and as first used in the OpenIMPACT compiler). Until last month, the backend was working fine, but since the r161643 commit by stoklund, my backend doesn't work anymore. I think I noticed some

Hi, I am working on a backend for a CGRA architecture with advanced predicate support (as on EPIC machines and as first used in the OpenIMPACT compiler). Until last month, the backend was working fine, but since the r161643 commit by stoklund, my backend doesn't work anymore. I think I noticed some related commits later on, and the assertion I get on the latest trunk (r164162) differs from