1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2 // RUN: %clang_cc1 -fcheck-new -triple x86_64-linux-gnu -disable-O0-optnone \
3 // RUN: -emit-llvm -o - %s | FileCheck %s
4
5 struct A { A(); };
6
7 // CHECK-LABEL: @_Z5test0v(
8 // CHECK-NEXT: entry:
9 // CHECK-NEXT: [[CALL:%.*]] = call noalias noundef ptr @_Znwm(i64 noundef 1) #[[ATTR3:[0-9]+]]
10 // CHECK-NEXT: [[NEW_ISNULL:%.*]] = icmp eq ptr [[CALL]], null
11 // CHECK-NEXT: br i1 [[NEW_ISNULL]], label [[NEW_CONT:%.*]], label [[NEW_NOTNULL:%.*]]
12 // CHECK: new.notnull:
13 // CHECK-NEXT: call void @_ZN1AC1Ev(ptr noundef nonnull align 1 dereferenceable(1) [[CALL]])
14 // CHECK-NEXT: br label [[NEW_CONT]]
15 // CHECK: new.cont:
16 // CHECK-NEXT: [[TMP0:%.*]] = phi ptr [ [[CALL]], [[NEW_NOTNULL]] ], [ null, [[ENTRY:%.*]] ]
17 // CHECK-NEXT: ret ptr [[TMP0]]
18 //
test0()19 A *test0() {
20 return new A();
21 }
22
23 // CHECK-LABEL: @_Z5test1v(
24 // CHECK-NEXT: entry:
25 // CHECK-NEXT: [[CALL:%.*]] = call noalias noundef ptr @_Znwm(i64 noundef 4) #[[ATTR3]]
26 // CHECK-NEXT: ret ptr [[CALL]]
27 //
test1()28 int *test1() {
29 return new int;
30 }
31