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

Philip Reames via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Dec 28 21:06:29 PST 2016


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





More information about the llvm-commits mailing list