[PATCH] D20044: [ValueTracking] Use guards to prove non-nullness of a value

[Philip Reames via llvm-commits]

reames requested changes to this revision.
This revision now requires changes to proceed.

================
Comment at: test/Transforms/LICM/hoist-deref-load.ll:531
@@ +530,3 @@
+
+if.then:                                          ; preds = %for.body
+  %1 = load i32, i32* %c, align 4
----------------
You're missing the CHECKs need to prove it doesn't trigger.


http://reviews.llvm.org/D20044