[PATCH] D69542: Full Restrict Support - single patch

[Ramkrishnan Narayanan Komala via Phabricator via llvm-commits]

ram-NK added a comment.

Hi @jeroen.dobbelaere,
Following issue is identified during my testing.
GVN Pass is not copying ptr_provenance to new Load. due to this **test-suite/MicroBenchmarks/LCALS/SubsetCRawLoops**  benchmark is giving noalias to same pointer( one is with provenance details and other without).
But unfortunately benchmark is not failing.

Always there is possibility of wrong AA analysis result, if ptr_provenance propagation is not done in any of the passes/new passes. 
Adding an assertion to prevent these cases will be helpful.


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

https://reviews.llvm.org/D69542