efriedma added a comment. I'm a little confused by the monotonic store sequence; does lse128 not imply lse2? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D141406/new/ https://reviews.llvm.org/D141406