[PATCH] D14100: [ValueTracking] Compute sign bit from range metadata

[Jingyue Wu via llvm-commits]

jingyue accepted this revision.
This revision is now accepted and ready to land.

================
Comment at: test/Analysis/ValueTracking/sign-bit-from-md.ll:10
@@ +9,3 @@
+  ret i1 %is.eq
+; CHECK: true
+}
----------------
`ret i1 true`

I'd be slightly more verbose to filter out unwanted cases such as `and i8 true, ...`. 



http://reviews.llvm.org/D14100