Displaying 3 results from an estimated 3 matches for "43bab2f5".
2010 Jul 08
0
[LLVMdev] Why shouldn't function entry blocks have predecessors?
Hello Félix-
Consider the following snippet of IR:
define i32 @foo(i32 %n) nounwind {
entry:
br label %loop
loop:
%loop.n = phi i32 [0, %entry], [%tmp, %loop]
call void @bar() nounwind
%tmp = sub nsw i32 %loop.n, 1
%cmp = icmp eq i32 %tmp, 0
br i1 %cmp, label %exit, label %loop
exit:
ret i32 0
}
declare void @bar() nounwind
Try to merge the blocks "entry" and "loop"
2010 Jul 08
1
[LLVMdev] Why shouldn't function entry blocks have predecessors?
...Developers mailing list
>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100708/43bab2f5/attachment.html>
2010 Jul 08
2
[LLVMdev] Why shouldn't function entry blocks have predecessors?
The title says it all. verifyFunction checks it (Verifier.cpp, line 728).
Why can't BasicBlocks that serve as a function's entry point also have predecessors? What keeps a function from looping back to its beginning?
Félix
-------------- next part --------------
An HTML attachment was scrubbed...
URL: