[PATCH] D156478: [IR] Mark `llvm.assume` as `memory(inaccessiblemem: write)`

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

The problem is that we only check intrinsics with read effects, so this code won't be executed with this patch (except if we hoist it out of the conditional):

  // Many math library functions read the rounding mode. We will only
  // vectorize a loop if it contains known function calls that don't set
  // the flag. Therefore, it is safe to ignore this read from memory.
  auto *Call = dyn_cast<CallInst>(&I);
  if (Call && getVectorIntrinsicIDForCall(Call, TLI))
     continue;


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D156478/new/

https://reviews.llvm.org/D156478