<div dir="ltr">Hello,<div><br></div><div>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.</div><div><p class="MsoNormal"><span></span></p>

<p class="MsoNormal"><span> </span></p>

<p class="MsoNormal">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. <span></span></p><p class="MsoNormal"><br></p><p class="MsoNormal">Do you have a solution for this?</p><p class="MsoNormal"><br></p><p class="MsoNormal">Thanks,</p><p class="MsoNormal">Dounia</p></div></div>