[LLVMdev] optimization whith call of Intrinsics

[Julien Schmitt]

Thanks Eli.
I will try your solution, but then, what is the difference between 
[IntrReadArgMem] and
[IntrReadMem] when specifying an intrinsic ? It seems that both options 
specify that a function is 'readonly'
(maybe the difference is not well supported for then moment ?)

Julien


> Dead store elimination is that pass that could do the optimizations in
> question.  The second store to @reg_ai_beg should be eliminated; I'm
> not really surprised that it doesn't implement this particular case,
> though.  For the stores to @MemSysSigA, LLVM doesn't know that
> llvm.octo.su.opa.rd doesn't read @MemSysSigA, so neither store can be
> eliminated.
>
> You should be able to solve both these problems by writing a special
> alias analysis pass that knows about the behavior of
> llvm.octo.su.opa.rd.  See http://llvm.org/docs/AliasAnalysis.html for
> details.
>
> -Eli
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
> CONFIDENTIAL NOTICE: The contents of this message, including any attachments, are confidential and are intended solely for the use of the person or entity to whom the message was addressed. If you are not the intended recipient of this message, please be advised that any dissemination, distribution, or use of the contents of this message is strictly prohibited. If you received this message in error, please notify the sender. Please also permanently delete all copies of the original message and any attached documentation. Thank you.
>   













--