Communicate memory invariance to LLVM