Displaying 4 results from an estimated 4 matches for "loopexitbb2".
Did you mean:
loopexitbb
2010 Aug 06
2
[LLVMdev] PR5373
...:
> The last bit here
>
> + if (LoopExitBB) {
> + // It is possible that for both successors isTrivialLoopExitBlock()
> + // returns different exit blocks. It means that the loop isn't trivial,
> + // just quit then.
> + if (LoopExitBB != LoopExitBB2)
> + return false;
> + } else if (Val) {
> + // if LoopExitBB == LoopExitBB2 pick the first one (true).
> + *Val = ConstantInt::getFalse(Context);
>
Actually it does. It is written that if LoopExitBB == LoopExitBB2 we should pick TRUE value:
*Val = Const...
2010 Aug 06
2
[LLVMdev] PR5373
Hello again :)
It's been some time since I sent you last patch, but here I'm again. I send the patch for PR5373.
Regards
--
Jakub Staszak
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr5373.patch
Type: application/octet-stream
Size: 5913 bytes
Desc: not available
URL:
2010 Aug 06
0
[LLVMdev] PR5373
The last bit here
+ if (LoopExitBB) {
+ // It is possible that for both successors
isTrivialLoopExitBlock()
+ // returns different exit blocks. It means that the loop
isn't trivial,
+ // just quit then.
+ if (LoopExitBB != LoopExitBB2)
+ return false;
+ } else if (Val) {
+ // if LoopExitBB == LoopExitBB2 pick the first one (true).
+ *Val = ConstantInt::getFalse(Context);
doesn't do what the comment says it does; the store into *Val is done
when !LoopExitBB, not when LoopExitBB == LoopExitBB2....
2010 Aug 11
0
[LLVMdev] PR5373
...re
>>
>> + if (LoopExitBB) {
>> + // It is possible that for both successors isTrivialLoopExitBlock()
>> + // returns different exit blocks. It means that the loop isn't trivial,
>> + // just quit then.
>> + if (LoopExitBB != LoopExitBB2)
>> + return false;
>> + } else if (Val) {
>> + // if LoopExitBB == LoopExitBB2 pick the first one (true).
>> + *Val = ConstantInt::getFalse(Context);
>>
>
> Actually it does. It is written that if LoopExitBB == LoopExitBB2 we should...