diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-02-11 21:43:33 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-02-11 21:43:33 +0000 |
| commit | 1021236c74dcc4beb294ebe675032ff578fae17f (patch) | |
| tree | 6fe1febbbc8777bab6c85784114827eda272ef29 /lib/Bitcode/Writer/BitcodeWriterPass.cpp | |
| parent | 6aa68a76474525255943bee914e37b68a3ba75c8 (diff) | |
Per discussion with Dan G, inbounds geps *certainly* can have
unsigned overflow (e.g. "gep P, -1"), and while they can have
signed wrap in theoretical situations, modelling an AddRec as
not having signed wrap is going enough for any case we can
think of today. In the future if this isn't enough, we can
revisit this. Modeling them as having NUW isn't causing any
known problems either FWIW.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125410 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Bitcode/Writer/BitcodeWriterPass.cpp')
0 files changed, 0 insertions, 0 deletions