Displaying 8 results from an estimated 8 matches for "verifyloop".
2013 May 08
2
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
...latch to
exit.
Now I just replace the terminator of 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,...
2016 Apr 09
0
Verifier in loop pass manager
...);
>
> if (LoopWasDeleted) {
> // Notify passes that the loop is being deleted.
> deleteSimpleAnalysisLoop(CurrentLoop);
> } else {
> // Manually check that this loop is still healthy. This is done
> // instead of relying on LoopInfo::verifyLoop since LoopInfo
> // is a function pass and it's really expensive to verify every
> // loop in the function every time. That level of checking can be
> // enabled with the -verify-loop-info option.
> {
> TimeRegion PassTimer(getPassTimer(&...
2013 May 08
0
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
...> Now I just replace the terminator of 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?
You might need to call LPPass...
2013 May 08
1
[LLVMdev] How to avoid loopverify failures after replacing the backedge with an edge(latchBB to exitBB) in a looppass?
...t replace the terminator of 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?
>
>
> Y...
2008 Jan 10
0
[LLVMdev] Adding ClamAV to the llvm testsuite (long)
...time-passes
-info-output-file=/Volumes/Muggles/LLVM/llvm/projects/llvm-test/
MultiSource/Applications/ClamAV/Out\
put/clamscan.linked.bc.info Output/clamscan.linked.rbc -o Output/
clamscan.linked.bc -f
Assertion failed: (getLoopLatch() && "Loop latch is missing"),
function verifyLoop, file /Volumes/Muggles/LLVM/llvm/include/llvm/
Analysis/LoopInfo.h, line 517.
I'll file a bug on this.
Evan
On Jan 10, 2008, at 2:41 AM, Török Edwin wrote:
> Török Edwin wrote:
>> Yes, I have uploaded the .tar.gz here:
>> http://edwintorok.googlepages.com/ClamAV-srcflat.tar...
2008 Jan 10
4
[LLVMdev] Adding ClamAV to the llvm testsuite (long)
Török Edwin wrote:
> Yes, I have uploaded the .tar.gz here:
> http://edwintorok.googlepages.com/ClamAV-srcflat.tar.gz
> [inputs dir contains some symlink, place ClamAV dir in
> llvm/projects/llvm-test/MultiSource/Applications to make
> links point to right place]
>
>
Hi,
Because llvm bug #1730 got fixed, this testcase can run under with the
JIT on x86-64 :).
I have
2008 Jan 14
2
[LLVMdev] Adding ClamAV to the llvm testsuite (long)
...utput-file=/Volumes/Muggles/LLVM/llvm/projects/llvm-test/
> MultiSource/Applications/ClamAV/Out\
> put/clamscan.linked.bc.info Output/clamscan.linked.rbc -o Output/
> clamscan.linked.bc -f
> Assertion failed: (getLoopLatch() && "Loop latch is missing"),
> function verifyLoop, file /Volumes/Muggles/LLVM/llvm/include/llvm/
> Analysis/LoopInfo.h, line 517.
>
> I'll file a bug on this.
>
> Evan
>
>
> On Jan 10, 2008, at 2:41 AM, Török Edwin wrote:
>
>> Török Edwin wrote:
>>> Yes, I have uploaded the .tar.gz here:
>>> h...
2008 Jan 30
0
[LLVMdev] Adding ClamAV to the llvm testsuite (long)
...Muggles/LLVM/llvm/projects/llvm-test/
>> MultiSource/Applications/ClamAV/Out\
>> put/clamscan.linked.bc.info Output/clamscan.linked.rbc -o Output/
>> clamscan.linked.bc -f
>> Assertion failed: (getLoopLatch() && "Loop latch is missing"),
>> function verifyLoop, file /Volumes/Muggles/LLVM/llvm/include/llvm/
>> Analysis/LoopInfo.h, line 517.
>>
>> I'll file a bug on this.
>>
>> Evan
>>
>>
>> On Jan 10, 2008, at 2:41 AM, Török Edwin wrote:
>>
>>> Török Edwin wrote:
>>>> Yes, I ha...