<div dir="ltr">Hello,<div><br></div><div>According to include/llvm/IR/Intrinsics.td, InstrReadMem property indicates that the intrinsic only reads from and does not write to memory.</div><div><br></div><div>Does this mean that it can read anywhere in the memory? Because we already have 'InstrArgMemOnly' for intrinsics which only access memory that its argument(s) point(s) to.</div><div><br></div><div>If 'InstrReadMem' really means read from anywhere in the memory, this should imply that,  if there's an intrinsic having this property *after* a dead store, the latter should not be eliminated by optimizations?</div><div><br></div><div>This is not the current behavior of LLVM though, so it seems that my guesses are wrong... But at least, can someone show me the mistake here?</div><div><br></div><div>Thanks for your time,</div><div><br clear="all"><div><div dir="ltr" class="m_7307158437339558487gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Son Tuan Vu</div></div></div></div></div>