[PATCH] D95335: [Verifier] enable and limit llvm.experimental.noalias.scope.decl dominance checking

Mon Jan 25 07:50:05 PST 2021

jeroen.dobbelaere added a comment.

I disabled the dominance check by default in rG3b5d36ece21f <https://reviews.llvm.org/rG3b5d36ece21f9baf96d82944b0165cb352443bee>. Several buildbots show examples where this triggers, indicating there are still passes not taking care of proper handling the noalias scopes.

See:

- http://lab.llvm.org:8011/#/builders/98/builds/4105/steps/9/logs/stdio
- http://lab.llvm.org:8011/#/builders/74/builds/2331/steps/8/logs/stdio

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D95335