[PATCH] D28147: [LICM] Allow promotion of some stores that are not guaranteed to execute

[Philip Reames via Phabricator via llvm-commits]

reames added inline comments.


================
Comment at: test/Transforms/LICM/scalar_promote.ll:209
+  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
+  %x = load i32, i32* %local
+  %x2 = call i32 @opaque(i32 %x) ; Note this does not capture %local
----------------
Both of your examples have unconditional loads with conditional stores.  This is interesting in that the dereferenceability would seem to be established by the load.  Is this representative of the real example you're trying to address?


https://reviews.llvm.org/D28147