[PATCH] D107281: [SimpifyCFG] Speculate a store preceded by a local non-escaping load

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 3 09:15:31 PDT 2021


lebedev.ri added a comment.

I'm afraid i'm not seeing why `@load_before_store_escape` must not be transformed.
Alive2 says it's fine: https://alive2.llvm.org/ce/z/F7ctum
I'm not seeing any syncronization primitives, so i'm not really seeing yet why we'd be introducing a race?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D107281/new/

https://reviews.llvm.org/D107281



More information about the llvm-commits mailing list