[LLVMdev] For the avoidance of doubt...

Chandler Carruth
2007-07-30T16:52:55Z

Sarah Thompson wrote:
> ... can *any* instruction(s) other than load and store cause memory
> reads or writes?

Not that I know of, but some intrinsic functions do.

>
> This is pretty important, because I need to be able to track (at least)
> writes, and ideally also reads in order to be able to make
> explicit-state model checking work efficiently.

I specifically know that the atomic intrinsic functions I am adding will
write to memory by definition. There may be others that I am not fully
aware of. The LangRef.html has been updated with fairly detailed
information about these intrinsics, but please let me know if there are
unanswered questions.

-Chandler Carruth

>
> (I don't really care about reads or writes to spilled registers added
by
> the code generator).
>
>
> Sarah
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev