[PATCH] D13042: [SCEV] Try to prove predicates by splitting them.
Sanjoy Das via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 21 18:26:29 PDT 2015
sanjoy created this revision.
sanjoy added reviewers: reames, atrick, hfinkel, nlewycky.
sanjoy added a subscriber: llvm-commits.
Herald added a subscriber: sanjoy.
This change teaches SCEV that to prove `A u< B` it is sufficient to
prove each of these facts individually:
- B >= 0
- A s< B
- A >= 0
In practice, SCEV sometimes it is easier to prove these facts
individually than to prove `A u< B` as one atomic step.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 6767 bytes
Desc: not available
More information about the llvm-commits