[PATCH] D152684: [ConstraintElimination] Handle solving-only non-equality predicates

[Florian Hahn via Phabricator via llvm-commits]

fhahn accepted this revision.
fhahn added a comment.
This revision is now accepted and ready to land.

LGTM, thanks!



================
Comment at: llvm/test/Transforms/ConstraintElimination/ne.ll:408
+  tail call void @llvm.assume(i1 %ne)
+  %ret = icmp sgt i64 %a, %b
+  ret i1 %ret
----------------
Might be good to add a TODO for signed support.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152684/new/

https://reviews.llvm.org/D152684