[PATCH] D37460: [GVN] Prevent LoadPRE from hoisting through guards

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 114761.
mkazantsev edited the summary of this revision.
mkazantsev added a comment.

Reused `isGuaranteedToTransferExecutionToSuccessor`, added some clarifying comments. In this version of patch, we explicitly allow hoisting across volatile loads/stores. Given the discussion here, we might want to modify `isGuaranteedToTransferExecutionToSuccessor` so that it returns `true` for volatile loads/stores. Once the ongoing discussion on volatiles comes to some conclusion, this part can be reworked.


https://reviews.llvm.org/D37460

Files:
  include/llvm/Transforms/Scalar/GVN.h
  lib/Transforms/Scalar/GVN.cpp
  test/Transforms/GVN/PRE/pre-load-guards.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37460.114761.patch
Type: text/x-patch
Size: 8455 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170912/14037c80/attachment.bin>