clang/test/CodeGenCXX/cxx11-initializer-array-new.cpp

   1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++11 %s -emit-llvm -o - | FileCheck %s
   2
   3 // PR10878
   4
   5 struct S { S(); S(int); ~S(); int n; };
   6
   7 void *p = new S[2][3]{ { 1, 2, 3 }, { 4, 5, 6 } };
   8
   9 // CHECK-LABEL: define
  10 // CHECK: %[[ALLOC:.*]] = call noalias noundef nonnull ptr @_Znam(i64 noundef 32)
  11 // CHECK: store i64 6, ptr %[[ALLOC]]
  12 // CHECK: %[[START_AS_i8:.*]] = getelementptr inbounds i8, ptr %[[ALLOC]], i64 8
  13 //
  14 // Explicit initializers:
  15 //
  16 // { 1, 2, 3 }
  17 //
  18 //
  19 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[START_AS_i8]], i32 noundef 1)
  20 // CHECK: %[[S_0_1:.*]] = getelementptr inbounds %[[S:.+]], ptr %[[START_AS_i8]], i64 1
  21 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_0_1]], i32 noundef 2)
  22 // CHECK: %[[S_0_2:.*]] = getelementptr inbounds %[[S]], ptr %[[START_AS_i8]], i64 2
  23 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_0_2]], i32 noundef 3)
  24 //
  25 // { 4, 5, 6 }
  26 //
  27 // CHECK: %[[S_1:.*]] = getelementptr inbounds [3 x %[[S]]], ptr %[[START_AS_i8]], i64 1
  28 //
  29 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1]], i32 noundef 4)
  30 // CHECK: %[[S_1_1:.*]] = getelementptr inbounds %[[S]], ptr %[[S_1]], i64 1
  31 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1_1]], i32 noundef 5)
  32 // CHECK: %[[S_1_2:.*]] = getelementptr inbounds %[[S]], ptr %[[S_1]], i64 2
  33 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1_2]], i32 noundef 6)
  34 //
  35 // CHECK-NOT: br i1
  36 // CHECK-NOT: call
  37 // CHECK: }
  38
  39 int n;
  40 void *q = new S[n][3]{ { 1, 2, 3 }, { 4, 5, 6 } };
  41
  42 // CHECK-LABEL: define
  43 //
  44 // CHECK: load i32, ptr @n
  45 // CHECK: call {{.*}} @llvm.umul.with.overflow.i64(i64 %[[N:.*]], i64 12)
  46 // CHECK: %[[ELTS:.*]] = mul i64 %[[N]], 3
  47 // CHECK: call {{.*}} @llvm.uadd.with.overflow.i64(i64 %{{.*}}, i64 8)
  48 // CHECK: %[[ALLOC:.*]] = call noalias noundef nonnull ptr @_Znam(i64 noundef %{{.*}})
  49 //
  50 // CHECK: store i64 %[[ELTS]], ptr %[[ALLOC]]
  51 // CHECK: %[[START_AS_i8:.*]] = getelementptr inbounds i8, ptr %[[ALLOC]], i64 8
  52 //
  53 // Explicit initializers:
  54 //
  55 // { 1, 2, 3 }
  56 //
  57 //
  58 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[START_AS_i8]], i32 noundef 1)
  59 // CHECK: %[[S_0_1:.*]] = getelementptr inbounds %[[S]], ptr %[[START_AS_i8]], i64 1
  60 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_0_1]], i32 noundef 2)
  61 // CHECK: %[[S_0_2:.*]] = getelementptr inbounds %[[S]], ptr %[[START_AS_i8]], i64 2
  62 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_0_2]], i32 noundef 3)
  63 //
  64 // { 4, 5, 6 }
  65 //
  66 // CHECK: %[[S_1:.*]] = getelementptr inbounds [3 x %[[S]]], ptr %[[START_AS_i8]], i64 1
  67 //
  68 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1]], i32 noundef 4)
  69 // CHECK: %[[S_1_1:.*]] = getelementptr inbounds %[[S]], ptr %[[S_1]], i64 1
  70 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1_1]], i32 noundef 5)
  71 // CHECK: %[[S_1_2:.*]] = getelementptr inbounds %[[S]], ptr %[[S_1]], i64 2
  72 // CHECK: call void @_ZN1SC1Ei(ptr {{[^,]*}} %[[S_1_2]], i32 noundef 6)
  73 //
  74 // And the rest.
  75 //
  76 // CHECK: %[[S_2:.*]] = getelementptr inbounds [3 x %[[S]]], ptr %[[S_1]], i64 1
  77 //
  78 // CHECK: %[[REST:.*]] = sub i64 %[[ELTS]], 6
  79 // CHECK: icmp eq i64 %[[REST]], 0
  80 // CHECK: br i1
  81 //
  82 // CHECK: %[[END:.*]] = getelementptr inbounds %[[S]], ptr %[[S_2]], i64 %[[REST]]
  83 // CHECK: br label
  84 //
  85 // CHECK: %[[CUR:.*]] = phi ptr [ %[[S_2]], {{.*}} ], [ %[[NEXT:.*]], {{.*}} ]
  86 // CHECK: call void @_ZN1SC1Ev(ptr {{[^,]*}} %[[CUR]])
  87 // CHECK: %[[NEXT]] = getelementptr inbounds %[[S]], ptr %[[CUR]], i64 1
  88 // CHECK: icmp eq ptr %[[NEXT]], %[[END]]
  89 // CHECK: br i1
  90 //
  91 // CHECK: }
  92
  93 struct T { int a; };
  94 void *r = new T[n][3]{ { 1, 2, 3 }, { 4, 5, 6 } };
  95
  96 // CHECK-LABEL: define
  97 //
  98 // CHECK: load i32, ptr @n
  99 // CHECK: call {{.*}} @llvm.umul.with.overflow.i64(i64 %[[N:.*]], i64 12)
 100 // CHECK: %[[ELTS:.*]] = mul i64 %[[N]], 3
 101 //
 102 // No cookie.
 103 // CHECK-NOT: @llvm.uadd.with.overflow
 104 //
 105 // CHECK: %[[ALLOC:.*]] = call noalias noundef nonnull ptr @_Znam(i64 noundef %{{.*}})
 106 //
 107 //
 108 // Explicit initializers:
 109 //
 110 // { 1, 2, 3 }
 111 //
 112 //
 113 // CHECK: %[[T_0_0_0:.*]] = getelementptr inbounds nuw %[[T:.+]], ptr %[[ALLOC]], i32 0, i32 0
 114 // CHECK: store i32 1, ptr %[[T_0_0_0]]
 115 // CHECK: %[[T_0_1:.*]] = getelementptr inbounds %[[T]], ptr %[[ALLOC]], i64 1
 116 // CHECK: %[[T_0_1_0:.*]] = getelementptr inbounds nuw %[[T]], ptr %[[T_0_1]], i32 0, i32 0
 117 // CHECK: store i32 2, ptr %[[T_0_1_0]]
 118 // CHECK: %[[T_0_2:.*]] = getelementptr inbounds %[[T]], ptr %[[ALLOC]], i64 2
 119 // CHECK: %[[T_0_2_0:.*]] = getelementptr inbounds nuw %[[T]], ptr %[[T_0_2]], i32 0, i32 0
 120 // CHECK: store i32 3, ptr %[[T_0_2_0]]
 121 //
 122 // { 4, 5, 6 }
 123 //
 124 // CHECK: %[[T_1:.*]] = getelementptr inbounds [3 x %[[T]]], ptr %[[ALLOC]], i64 1
 125 //
 126 // CHECK: %[[T_1_0_0:.*]] = getelementptr inbounds nuw %[[T]], ptr %[[T_1]], i32 0, i32 0
 127 // CHECK: store i32 4, ptr %[[T_1_0_0]]
 128 // CHECK: %[[T_1_1:.*]] = getelementptr inbounds %[[T]], ptr %[[T_1]], i64 1
 129 // CHECK: %[[T_1_1_0:.*]] = getelementptr inbounds nuw %[[T]], ptr %[[T_1_1]], i32 0, i32 0
 130 // CHECK: store i32 5, ptr %[[T_1_1_0]]
 131 // CHECK: %[[T_1_2:.*]] = getelementptr inbounds %[[T]], ptr %[[T_1]], i64 2
 132 // CHECK: %[[T_1_2_0:.*]] = getelementptr inbounds nuw %[[T]], ptr %[[T_1_2]], i32 0, i32 0
 133 // CHECK: store i32 6, ptr %[[T_1_2_0]]
 134 //
 135 // And the rest gets memset to 0.
 136 //
 137 // CHECK: %[[T_2:.*]] = getelementptr inbounds [3 x %[[T]]], ptr %[[T_1]], i64 1
 138 //
 139 // CHECK: %[[SIZE:.*]] = sub i64 %{{.*}}, 24
 140 // CHECK: call void @llvm.memset.p0.i64(ptr align 4 %[[T_2]], i8 0, i64 %[[SIZE]], i1 false)
 141 //
 142 // CHECK: }