Displaying 2 results from an estimated 2 matches for "sceveqcond".
2010 Apr 17
2
[LLVMdev] SCEV expression for ICmpInst
...(2 * a + 5 * c + 2) > (4 * d - 3*b +3);
}
i will get a SCEVUnknow for the compare instruction, but it's great if i
could get something like 2 * a + 5 * c - 4 * d - 3*b - 1 > 0 for the compare
instruction :)
In my opinion, we need only 3 kind of SCEV expression to express the
ICmpInst: SCEVEqCond for equal condition, SCEVNeCond for not equal
condition and SCEVGtCond for others. Because we can always transform A < B
to B > A, and transform A >= B to A > B - 1 (or A + 1> B), and A <= B to A <
B + 1 (or A - 1 < B). Furthermore, we can transform A > B to A - B > 0...
2010 Apr 17
1
[LLVMdev] SCEV expression for ICmpInst
...gt; }
>
> i will get a SCEVUnknow for the compare instruction, but it's great if i
> could get something like 2 * a + 5 * c - 4 * d - 3*b - 1 > 0 for the compare
> instruction :)
>
>
> In my opinion, we need only 3 kind of SCEV expression to express the
> ICmpInst: SCEVEqCond for equal condition, SCEVNeCond for not equal
> condition and SCEVGtCond for others. Because we can always transform A < B
> to B > A, and transform A >= B to A > B - 1 (or A + 1> B), and A <= B to A <
> B + 1 (or A - 1 < B). Furthermore, we can transform A > B...