search for: reconstructr

...ntegers. To do that I need to know the sign of each integer. However, we know that LLVM IR does not keep sign information explicitly. My understanding is that the only instructions with explicit sign information is ICmp (e.g., icmp ugt ....) for the case of integers. Thus, sign information may be reconstructred from icmp instructions. On the other hand, arithmetic instructions as Add, Sub, and Mul do not have this information. (I'm aware of the "nsw" and "nuw" flags but they are optional.) As a result, it's possible to have a straight-line piece of code (without icmp instruc...