diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-09-24 16:37:51 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-09-24 16:37:51 +0000 |
| commit | 6629210aaf9d2e4fcbecc80b35f72108304da4b4 (patch) | |
| tree | 9e5c76565a5c82aaaabbee0fab814c018ca838d2 /test | |
| parent | d721520e4c5d8ad71310a34727a567c3d74e7c08 (diff) | |
| download | llvm-6629210aaf9d2e4fcbecc80b35f72108304da4b4.tar.gz llvm-6629210aaf9d2e4fcbecc80b35f72108304da4b4.tar.bz2 llvm-6629210aaf9d2e4fcbecc80b35f72108304da4b4.tar.xz | |
Teach MemoryBuiltins and InstructionSimplify that operator new never returns NULL.
This is safe per C++11 18.6.1.1p3: [operator new returns] a non-null pointer to
suitably aligned storage (3.7.4), or else throw a bad_alloc exception. This
requirement is binding on a replacement version of this function.
Brings us a tiny bit closer to eliminating more vector push_backs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191310 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstSimplify/call.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/call.ll b/test/Transforms/InstSimplify/call.ll index 3e1621c838..aa3b08653a 100644 --- a/test/Transforms/InstSimplify/call.ll +++ b/test/Transforms/InstSimplify/call.ll @@ -101,3 +101,23 @@ define float @test_idempotence(float %a) { ret float %r4 } + +define i8* @operator_new() { +entry: + %call = tail call noalias i8* @_Znwm(i64 8) + %cmp = icmp eq i8* %call, null + br i1 %cmp, label %cast.end, label %cast.notnull + +cast.notnull: ; preds = %entry + %add.ptr = getelementptr inbounds i8* %call, i64 4 + br label %cast.end + +cast.end: ; preds = %cast.notnull, %entry + %cast.result = phi i8* [ %add.ptr, %cast.notnull ], [ null, %entry ] + ret i8* %cast.result + +; CHECK-LABEL: @operator_new +; CHECK: br i1 false, label %cast.end, label %cast.notnull +} + +declare noalias i8* @_Znwm(i64) |