Displaying 2 results from an estimated 2 matches for "scevgtcond".
Did you mean:
sceveqcond
2010 Apr 17
2
[LLVMdev] SCEV expression for ICmpInst
...or 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 and A
!= B to A - B != 0, so the SCEV for conditions will be very simpl...
2010 Apr 17
1
[LLVMdev] SCEV expression for ICmpInst
...#39;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 and A
> != B to A - B != 0, so the SCEV for conditions wil...