[PATCH] D152684: [ConstraintElimination] Handle solving-only non-equality predicates
Florian Hahn via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 26 07:53:07 PDT 2023
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
More information about the llvm-commits
mailing list