Communicate invariance of freshly initialized memory to LLVM
Loads are invariant