[PATCH] D49602: Use SCEV to avoid inserting some bounds checks.

[Evgenii Stepanov via Phabricator via llvm-commits]

eugenis added inline comments.


================
Comment at: test/Instrumentation/BoundsChecking/opt.ll:50
+  %arrayidx.i = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv.i
+; CHECK: trap
+  %1 = load i32, i32* %arrayidx.i, align 4
----------------
Could you extend the test to show the actual check condition?



https://reviews.llvm.org/D49602