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

[Sanjoy Das via llvm-commits]

sanjoy added inline comments.

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


http://reviews.llvm.org/D20044