Displaying 2 results from an estimated 2 matches for "isalwaystru".
Did you mean:
isalwaystrue
2010 Apr 17
2
[LLVMdev] SCEV expression for ICmpInst
...itions will be very simple.
As there are already some functions such as "isKnownNonZero" in
ScalarEvolution, so we can compute these condition easily.
With the SCEV for conditions, we may write more meaningful code:
SCEVEQCond *S = SE.getCondition(some_icmp_instruction);
if (some_cond.isAlwaysTrue(SE))
... do some thing ...
else
... do some others thing ...
Dose this make sense? or i just make things unnecessarily complex?
any comment is appreciated.
--best regards
ether
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermai...
2010 Apr 17
1
[LLVMdev] SCEV expression for ICmpInst
...re are already some functions such as "isKnownNonZero" in
> ScalarEvolution, so we can compute these condition easily.
>
> With the SCEV for conditions, we may write more meaningful code:
>
> SCEVEQCond *S = SE.getCondition(some_icmp_instruction);
>
> if (some_cond.isAlwaysTrue(SE))
> ... do some thing ...
> else
> ... do some others thing ...
>
> Dose this make sense? or i just make things unnecessarily complex?
>
> any comment is appreciated.
>
> --best regards
> ether