Displaying 1 result from an estimated 1 matches for "995902".
2007 Jul 30
4
[LLVMdev] For the avoidance of doubt...
... 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