Displaying 5 results from an estimated 5 matches for "loopt".
Did you mean:
loop
2015 Jul 23
1
[LLVMdev] Is loop header required to have at least one predecessor outside the loop?
Hi,
I was reading some loop related code and I don’t quite understand an assertion in LoopBase<BlockT, LoopT>::getLoopPredecessor().
/// getLoopPredecessor - If the given loop's header has exactly one unique
/// predecessor outside the loop, return it. Otherwise return null.
/// This is less strict that the loop "preheader" concept, which requires
/// the predecessor to have exactly one...
2013 May 08
2
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
...latch with another BranchInst, and the
loop will not be a loop after my pass. However, it turns out a failure of
loopverify after executing my pass:
opt: ~/llvm/llvm-trunk/include/llvm/Analysis/LoopInfoImpl.h:297: void
llvm::LoopBase<N, M>::verifyLoop() const [with BlockT = llvm::BasicBlock,
LoopT = llvm::Loop]: Assertion `HasInsideLoopPreds && "Loop block has no
in-loop predecessors!"' failed.
Does this mean I should keep it still a loop after my pass? If so, how
could I bypass it?
--
*Thank you && Best Regards,*
*Zhiyuan Yang*
-------------- next part ----...
2013 May 08
0
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
...another BranchInst, and the loop will not be a loop after my pass. However, it turns out a failure of loopverify after executing my pass:
>
> opt: ~/llvm/llvm-trunk/include/llvm/Analysis/LoopInfoImpl.h:297: void llvm::LoopBase<N, M>::verifyLoop() const [with BlockT = llvm::BasicBlock, LoopT = llvm::Loop]: Assertion `HasInsideLoopPreds && "Loop block has no in-loop predecessors!"' failed.
>
> Does this mean I should keep it still a loop after my pass? If so, how could I bypass it?
You might need to call LPPassManager::deleteLoopFromQueue().
-Andy
> --...
2013 May 08
1
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
..., and
> the loop will not be a loop after my pass. However, it turns out a failure
> of loopverify after executing my pass:
>
> opt: ~/llvm/llvm-trunk/include/llvm/Analysis/LoopInfoImpl.h:297: void
> llvm::LoopBase<N, M>::verifyLoop() const [with BlockT = llvm::BasicBlock,
> LoopT = llvm::Loop]: Assertion `HasInsideLoopPreds && "Loop block has no
> in-loop predecessors!"' failed.
>
> Does this mean I should keep it still a loop after my pass? If so, how
> could I bypass it?
>
>
> You might need to call LPPassManager::deleteLoopFromQ...
2012 Jul 16
3
[LLVMdev] RFC: LLVM incubation, or requirements for committing new backends
...tTraits<PassT> CFGTraits;
> + typedef BlockInformation<InstrT> BlockInfo;
> + typedef std::map<BlockT *, BlockInfo *> BlockInfoMap;
> +
> + typedef int RegiT;
> + typedef typename PassT::LoopType LoopT;
> + typedef LandInformation<BlockT, InstrT, RegiT> LoopLandInfo;
> + typedef std::map<LoopT *, LoopLandInfo *> LoopLandInfoMap;
> + //landing info for loop break
> + typedef SmallVector<BlockT *, 32> BlockTSmaller...