[PATCH] D109054: [SImplifyCFG] Preserve knowledge about guarding condition by adding assume

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/SimplifyCFG.cpp:6601
             Builder.CreateUnreachable();
-          else
+          // These changes have been added to preserve knowledge of the 
+          // protection state by adding a guess.
----------------
Do you mean "guarding condition", "assume" instea of "protection state" and "guess"?


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

https://reviews.llvm.org/D109054