Displaying 2 results from an estimated 2 matches for "3d2d5b8f".
Did you mean:
3d2d2b9f
2013 Jun 28
0
[LLVMdev] Possible instruction combine bug with pointer icmp?
...tr I'm
> missing that mean it's OK to change this from an unsigned comparison to a
> signed comparison?
>
Looks like a bug to me.
-Eli
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130628/3d2d5b8f/attachment.html>
2013 Jun 28
2
[LLVMdev] Possible instruction combine bug with pointer icmp?
If I give instcombine the following IR:
define i1 @f([1 x i8]* %a, [1 x i8]* %b) {
%c = getelementptr [1 x i8]* %a, i32 0, i32 0
%d = getelementptr [1 x i8]* %b, i32 0, i32 0
%cmp = icmp ult i8* %c, %d
ret i1 %cmp
}
It optimizes it into:
define i1 @f([1 x i8]* %a, [1 x i8]* %b) {
%cmp = icmp slt [1 x i8]* %a, %b
ret i1 %cmp
}
Is this a bug, or are there some semantics of icmp