[PATCH] D83595: [Draft][MSAN] Optimize away poisoning allocas that are always written before load

[Gui Andrade via Phabricator via llvm-commits]

guiand added inline comments.


================
Comment at: llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp:3948
+
+    // Traverse to the Node's successors if we haven't yet
+    for (auto Node = succ_begin(BB); Node != succ_end(BB); Node++) {
----------------
eugenis wrote:
> I don't think this is entirely correct. Consider this:
> ```
> entry { alloca 32; store 0..16 } -> A, B
> A { store 16..32 } -> B
> B { load }
> ```
> traversing entry->A->B will mark B as done even though there is a path where control flow arrives at B with alloca not entirely initialized.
> 
> What happens to the benchmarks if this algorithm is limited to a single basic block?
I tried to write the code so that it would look to see if *all* paths are initialized before a load. So in your example, it would look at the path `entry -> A -> B`, and it would see that it's fully stored, and it would continue looking at the next path. For `entry -> B`, `if (!firstUsesAreStore) return false` would come into effect, and we won't optimize away the poisoning.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83595