| commit | 72a9513e92afaa33ab09e1020c1e5f03939a9fe1 | [log] [tgz] |
|---|---|---|
| author | David Majnemer <david.majnemer@gmail.com> | Wed Jan 07 00:39:50 2015 +0000 |
| committer | David Majnemer <david.majnemer@gmail.com> | Wed Jan 07 00:39:50 2015 +0000 |
| tree | 695ea7e5eba839a8229b4c407d20fe5bd3d17ae8 | |
| parent | c8c560867f2ebafaa98956fa2718971af6262e58 [diff] |
Analysis: Reformulate WillNotOverflowUnsignedAdd for reusability WillNotOverflowUnsignedAdd's smarts will live in ValueTracking as computeOverflowForUnsignedAdd. It now returns a tri-state result: never overflows, always overflows and sometimes overflows. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225329 91177308-0d34-0410-b5e6-96231b3b80d8