[LLVMdev] For the avoidance of doubt...

Sarah Thompson
2007-07-30T16:47:17Z

... can *any* instruction(s) other than load and store cause memory
reads or writes?

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 don't really care about reads or writes to spilled registers added by
the code generator).


Sarah