Displaying 3 results from an estimated 3 matches for "updatedfsnumbers".
2018 Nov 27
2
ScalarEvolution class returns no valid loop exit count
...le loop:
......
int a = 0;
for(int i; i < 10; ++i){
a = a + 1;
};
......
For the loop analyzation I use the ScalarEvolution class with the following
initialization:
......
void analysis(Function* func)
DominatorTree DT = DominatorTree();
DT.recalculate(*func);
DT.updateDFSNumbers();
LoopInfoBase<BasicBlock, Loop> LIB;
LIB.releaseMemory();
LIB.analyze(DT);
for(auto&bb :*func){
Loop * L = LIB.getLoopFor(&bb);
if(L != nullptr){
AssumptionCache AC = AssumptionCache(*bb.getParent());
Triple MT(llvm::sys::get...
2017 Aug 26
2
building release_50 with gcc7.2.0 on MacOS: duplicate symbol llvm::DominatorTreeBase
...ib/libLLVMCore.a(Dominators.cpp.o)
duplicate symbol llvm::DominatorTreeBase<llvm::BasicBlock,
true>::getRoots() const in:
../../lib/libLLVMAnalysis.a(PostDominators.cpp.o)
../../lib/libLLVMCore.a(Dominators.cpp.o)
duplicate symbol llvm::DominatorTreeBase<llvm::BasicBlock,
true>::updateDFSNumbers() const in:
../../lib/libLLVMAnalysis.a(PostDominators.cpp.o)
../../lib/libLLVMCore.a(Dominators.cpp.o)
duplicate symbol llvm::DominatorTreeBase<llvm::BasicBlock,
true>::isPostDominator() const in:
../../lib/libLLVMAnalysis.a(PostDominators.cpp.o)
../../lib/libLLVMCore.a(Domin...
2017 Mar 31
4
Dereferenceable load semantics & LICM
Hi Piotr,
On March 31, 2017 at 1:07:12 PM, Piotr Padlewski
(piotr.padlewski at gmail.com) wrote:
> [snip]
> Do I understand it correctly, that it is legal to do the hoist because all
> of the instructions above %vtable does not throw?
Yes, I think you're right. HeaderMayThrow is a conservative
approximation, and the conservativeness is biting us here.
> Are there any plans to