diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2014-05-20 01:23:40 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2014-05-20 01:23:40 +0000 |
| commit | fe47ebfad39184dfca0733c5ef943a074bfcc187 (patch) | |
| tree | 2f60176fb1f04022ea8a167ff280bc824f18f11a /test/Bitcode | |
| parent | 30e58303015fe880180e3caffdd8a3264cde236a (diff) | |
| download | llvm-fe47ebfad39184dfca0733c5ef943a074bfcc187.tar.gz llvm-fe47ebfad39184dfca0733c5ef943a074bfcc187.tar.bz2 llvm-fe47ebfad39184dfca0733c5ef943a074bfcc187.tar.xz | |
Add 'nonnull', a new parameter and return attribute which indicates that the pointer is not null. Instcombine will elide comparisons between these and null. Patch by Luqman Aden!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209185 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Bitcode')
| -rw-r--r-- | test/Bitcode/attributes.ll | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Bitcode/attributes.ll b/test/Bitcode/attributes.ll index 545f1cbb28..02e1bb1c4e 100644 --- a/test/Bitcode/attributes.ll +++ b/test/Bitcode/attributes.ll @@ -218,6 +218,11 @@ define void @f36(i8* inalloca) { ret void } +define nonnull i8* @f37(i8* nonnull %a) { +; CHECK: define nonnull i8* @f37(i8* nonnull %a) { + ret i8* %a +} + ; CHECK: attributes #0 = { noreturn } ; CHECK: attributes #1 = { nounwind } ; CHECK: attributes #2 = { readnone } |