Displaying 1 result from an estimated 1 matches for "rem81".
2019 Jun 12
2
Wrong Range of SCEV for URem
Dear all,
Hi! I noticed an interesting situation when using getUnsignedRange and getSignedRange of SCEV for URem instruction.
Here is an example with 2 IR instructions:
%rem.lhs.trunc = trunc i32 %i15.082 to i8 --> getUnsignedRange --> [1,50)
%rem81 = urem i8 %rem.lhs.trunc, 3 --> getUnsignedRange --> [-47,50)
The problems are:
1) From my perspective, the getUnsignedRange() function should return non-negative range but it seems not so in the example. Is there anything wrong?
2) The range of the IR %rem81 should be...