granicus.if.org Git - llvm/commit

author	Hideto Ueno <uenoku.tokotoko@gmail.com>
	Mon, 29 Jul 2019 13:35:34 +0000 (13:35 +0000)
committer	Hideto Ueno <uenoku.tokotoko@gmail.com>
	Mon, 29 Jul 2019 13:35:34 +0000 (13:35 +0000)
commit	da3da38c85c00f93b98d7e03d2fa8d588e9377a7
tree	963c26dfb1809ea7070ff3ecf091767136f2c243	tree \| snapshot
parent	9efe2bcad27c22f128d64c0ef21e39d0c13e870c	commit \| diff

[ValueTracking] Remove volatile check in isGuaranteedToTransferExecutionToSuccessor

Summary: As clarified in D53184, volatile load and store do not trap. Therefore, we should remove volatile checks for instructions in `isGuaranteedToTransferExecutionToSuccessor`.

Reviewers: jdoerfert, efriedma, nikic

Reviewed By: nikic

Subscribers: hiraditya, jfb, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D65375

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@367226 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/ValueTracking.cpp		diff \| blob \| history
test/Transforms/FunctionAttrs/nonnull.ll		diff \| blob \| history