[PATCH] D12948: [SCEV] Teach SCEV that A < B => (A+K) < (B+K) on no overflow.

hfinkel@anl.gov via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 25 12:26:55 PDT 2015

Previous message: [PATCH] D12948: [SCEV] Teach SCEV that A < B => (A+K) < (B+K) on no overflow.
Next message: [PATCH] D12948: [SCEV] Teach SCEV that A < B => (A+K) < (B+K) on no overflow.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

LGTM.


http://reviews.llvm.org/D12948

Previous message: [PATCH] D12948: [SCEV] Teach SCEV that A < B => (A+K) < (B+K) on no overflow.
Next message: [PATCH] D12948: [SCEV] Teach SCEV that A < B => (A+K) < (B+K) on no overflow.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list