efriedma added a comment. > So I suspect you may be able to rig up a testcase where memdep and isGuaranteed* end up disagreeing in a way that causes this to break. See https://reviews.llvm.org/D21041. :) https://reviews.llvm.org/D37460