HomePhabricator

[ValueTracking] Remove volatile check in…

Authored by uenoku on Jul 29 2019, 6:35 AM.

Description

[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

llvm-svn: 367226

Details

Committed
uenokuJul 29 2019, 6:35 AM
Reviewer
nikic
Differential Revision
D65375: [ValueTracking] Remove volatile check in isGuaranteedToTransferExecutionToSuccessor
Parents
rGff9f4b5489cd: clang-format clang/lib/Format
Branches
Unknown
Tags
Unknown