llvm dev - Dec 2012 - [LLVMdev] assert in InnerLoopVectorizer::createEmptyLoop

I am seeing an assert when I compile the attached program with clang:

$ clang -fno-strict-aliasing -target mips64el-unknown-linux -O3
-fomit-frame-pointer -S test1.c -o test1.ll -emit-llvm

It asserts when LoopVectorize.cpp:506 is executed. It looks like it is
complaining because it is trying to zero-extend an i64 (type
Count->getType() returns i64) to an i32 (IdxTy).

if (Count->getType() != IdxTy) {
    // The exit count can be of pointer type. Convert it to the correct
    // integer type.
    if (ExitCount->getType()->isPointerTy())
      Count = CastInst::CreatePointerCast(Count, IdxTy,
"ptrcnt.to.int",
Loc);
    else
      Count = CastInst::CreateZExtOrBitCast(Count, IdxTy, "zext.cnt",
Loc);
// <= this line
  }
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20121221/9d60cfb0/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test1.c
Type: text/x-csrc
Size: 504 bytes
Desc: not available
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20121221/9d60cfb0/attachment.c>

Please file a bug for these types of issues.


On Fri, Dec 21, 2012 at 1:49 PM, Akira Hatanaka <ahatanak at gmail.com>
wrote:
> I am seeing an assert when I compile the attached program with clang:
>
> $ clang -fno-strict-aliasing -target mips64el-unknown-linux -O3
> -fomit-frame-pointer -S test1.c -o test1.ll -emit-llvm
>
>
> It asserts when LoopVectorize.cpp:506 is executed. It looks like it is
> complaining because it is trying to zero-extend an i64 (type
> Count->getType() returns i64) to an i32 (IdxTy).
>
> if (Count->getType() != IdxTy) {
>     // The exit count can be of pointer type. Convert it to the correct
>     // integer type.
>     if (ExitCount->getType()->isPointerTy())
>       Count = CastInst::CreatePointerCast(Count, IdxTy,
"ptrcnt.to.int",
> Loc);
>     else
>       Count = CastInst::CreateZExtOrBitCast(Count, IdxTy,
"zext.cnt",
> Loc); // <= this line
>   }
>
>
>
> _______________________________________________
> LLVM 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/20121221/b964f39e/attachment.html>

I filed a bug (14692). Please take a look.

On Fri, Dec 21, 2012 at 1:53 PM, Chandler Carruth <chandlerc at
google.com>wrote:
> Please file a bug for these types of issues.
>
>
> On Fri, Dec 21, 2012 at 1:49 PM, Akira Hatanaka <ahatanak at
gmail.com>wrote:
>
>> I am seeing an assert when I compile the attached program with clang:
>>
>> $ clang -fno-strict-aliasing -target mips64el-unknown-linux -O3
>> -fomit-frame-pointer -S test1.c -o test1.ll -emit-llvm
>>
>>
>> It asserts when LoopVectorize.cpp:506 is executed. It looks like it is
>> complaining because it is trying to zero-extend an i64 (type
>> Count->getType() returns i64) to an i32 (IdxTy).
>>
>> if (Count->getType() != IdxTy) {
>>     // The exit count can be of pointer type. Convert it to the correct
>>     // integer type.
>>     if (ExitCount->getType()->isPointerTy())
>>       Count = CastInst::CreatePointerCast(Count, IdxTy,
"ptrcnt.to.int",
>> Loc);
>>     else
>>       Count = CastInst::CreateZExtOrBitCast(Count, IdxTy,
"zext.cnt",
>> Loc); // <= this line
>>   }
>>
>>
>>
>> _______________________________________________
>> LLVM 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/20121221/16678ad4/attachment.html>