[llvm-dev] Signed or unsigned EQ/NEQ

[Dounia Khaldi via llvm-dev]

Hello,

In one of the loop transformations I am  developing, I need to convert eq
and neq loop latch condition into less than or greater than depending on
the control flow.



The problem is that  CmpInst::ICMP_EQ and CmpInst::ICMP_NE are neither
signed nor unsigned in LLVM. Also, I did not find a way to find out if the
integer operands of the CmpInst are signed or unsigned. Apparently, LLVM
does not distinguish in its type system between signed and unsigned
variables. So, I am not able to generate the appropriate signed or unsigned
ICMP_(S|U)LT or ICMP_(S|U)GT.


Do you have a solution for this?


Thanks,

Dounia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171117/7f3a7312/attachment.html>