[llvm] r191325 - Verify that we don't optimize null return checks to the nothrow_t version of operator new.

[Benjamin Kramer]

Author: d0k
Date: Tue Sep 24 13:37:49 2013
New Revision: 191325

URL: http://llvm.org/viewvc/llvm-project?rev=191325&view=rev
Log:
Verify that we don't optimize null return checks to the nothrow_t version of operator new.

Modified:
    llvm/trunk/test/Transforms/InstSimplify/call.ll

Modified: llvm/trunk/test/Transforms/InstSimplify/call.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/call.ll?rev=191325&r1=191324&r2=191325&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/call.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/call.ll Tue Sep 24 13:37:49 2013
@@ -122,6 +122,29 @@ cast.end:
 
 declare noalias i8* @_Znwm(i64)
 
+%"struct.std::nothrow_t" = type { i8 }
+ at _ZSt7nothrow = external global %"struct.std::nothrow_t"
+
+define i8* @operator_new_nothrow_t() {
+entry:
+  %call = tail call noalias i8* @_ZnamRKSt9nothrow_t(i64 8, %"struct.std::nothrow_t"* @_ZSt7nothrow)
+  %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_nothrow_t
+; CHECK: br i1 %cmp, label %cast.end, label %cast.notnull
+}
+
+declare i8* @_ZnamRKSt9nothrow_t(i64, %"struct.std::nothrow_t"*) nounwind
+
 define i8* @malloc_can_return_null() {
 entry:
   %call = tail call noalias i8* @malloc(i64 8)