[llvm] [msan] Fix "Add optional flag to improve instrumentation of disjoint OR (#145990)" (PR #146799)

[Thurston Dang via llvm-commits]

================
@@ -2512,6 +2512,7 @@ struct MemorySanitizerVisitor : public InstVisitor<MemorySanitizerVisitor> {
     //    S = S | (V1 & V2)
     Value *S1 = getShadow(&I, 0);
     Value *S2 = getShadow(&I, 1);
+    // Gotcha: V1 and V2 are NOT'ed here
----------------
thurstond wrote:

I changed the order to make it unambiguous

https://github.com/llvm/llvm-project/pull/146799