]> granicus.if.org Git - llvm/commit
Be conservative about unordered accesses for the moment
authorPhilip Reames <listmail@philipreames.com>
Mon, 11 Feb 2019 23:34:33 +0000 (23:34 +0000)
committerPhilip Reames <listmail@philipreames.com>
Mon, 11 Feb 2019 23:34:33 +0000 (23:34 +0000)
commit5021270f7bd6f63839c8ea18f6177a1c0a3170dd
tree8609b36af5b80c7a3cfd451a4f1a951422fa4b84
parent01b9856485b5c7ed833d3c3000ccf2b894c71c98
Be conservative about unordered accesses for the moment

Background: As described in https://reviews.llvm.org/D57601, I'm working towards separating volatile and atomic in the MMO uses for atomic instructions.

In https://reviews.llvm.org/D57593, I fixed a bug where isUnordered was returning the wrong result, but didn't account for the fact I was getting slightly ahead of myself. While both uses of isUnordered are correct (as far as I can tell), we don't have tests to demonstrate this and being aggressive gets in the way of having the removal of volatile truly be non-functional. Once D57601 lands, I will return to these call sites, revert this patch, and add the appropriate tests to show the expected behaviour.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353766 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/ImplicitNullChecks.cpp
lib/CodeGen/MachineInstr.cpp