diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 16:59:23 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 16:59:23 +0000 |
| commit | 6a72a2af13a25d1de00a129ede0da1cfa66ed2dd (patch) | |
| tree | 80e0073619023adf97befcbafb8e9876da681788 /llvm/lib/Object/MachOObjectFile.cpp | |
| parent | 9402cef0ae7a3835ed8701e3b13edf5659bdea1b (diff) | |
| download | llvm-6a72a2af13a25d1de00a129ede0da1cfa66ed2dd.zip llvm-6a72a2af13a25d1de00a129ede0da1cfa66ed2dd.tar.gz llvm-6a72a2af13a25d1de00a129ede0da1cfa66ed2dd.tar.bz2 | |
Use <nsw> AddRecs in the affinator to avoid bounded assumptions
If we encounter a <nsw> tagged AddRec for a loop we know the trip count of
that loop has to be bounded or the semantics is undefined anyway. Hence, we
only need to add unbounded assumptions if no such AddRec is known.
llvm-svn: 248128
Diffstat (limited to 'llvm/lib/Object/MachOObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions