This is one possible solution to implement wrap-arounds for integers in unsigned icmp operations. For example,
store i32 -1, i32* %A_addr %0 = load i32, i32* %A_addr %1 = icmp ult i32 %0, 0
%1 should hold false, because under the assumption of unsigned integers, -1 should wrap around to 2^32-1. However, previously. it was assumed that the MSB (Most Significant Bit - aka the Sign bit) was never set for integers in unsigned operations.
This patch modifies the buildConditionSets function in ScopInfo.cpp to give better information about the integers in these unsigned comparisons.