clang/test/CodeGenCXX/new-array-init.cpp

   1 // RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
   2 // RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown %s -emit-llvm -fsanitize=signed-integer-overflow -o - | FileCheck --check-prefix=SIO %s
   3
   4 // CHECK: @[[ABC4:.*]] = {{.*}} constant [4 x i8] c"abc\00"
   5 // CHECK: @[[ABC15:.*]] = {{.*}} constant [15 x i8] c"abc\00\00\00\00
   6
   7 // CHECK-LABEL: define{{.*}} void @_Z2fni
   8 void fn(int n) {
   9   // CHECK: icmp ult i{{32|64}} %{{[^ ]+}}, 3
  10   // CHECK: store i32 1
  11   // CHECK: store i32 2
  12   // CHECK: store i32 3
  13   // CHECK: sub {{.*}}, 12
  14   // CHECK: call void @llvm.memset
  15   new int[n] { 1, 2, 3 };
  16 }
  17
  18 // CHECK-LABEL: define{{.*}} void @_Z11const_exactv
  19 void const_exact() {
  20   // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3
  21   // CHECK-NOT: icmp eq ptr
  22   new int[3] { 1, 2, 3 };
  23 }
  24
  25 // CHECK-LABEL: define{{.*}} void @_Z16const_sufficientv
  26 void const_sufficient() {
  27   // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3
  28   new int[4] { 1, 2, 3 };
  29   // CHECK: ret void
  30 }
  31
  32 // CHECK-LABEL: define{{.*}} void @_Z22check_array_value_initv
  33 void check_array_value_init() {
  34   struct S;
  35   new (int S::*[3][4][5]) ();
  36
  37   // CHECK: call noalias noundef nonnull ptr @_Zna{{.}}(i{{32 noundef 240|64 noundef 480}})
  38   // CHECK: getelementptr inbounds i{{32|64}}, ptr {{.*}}, i{{32|64}} 60
  39
  40   // CHECK: phi
  41   // CHECK: store i{{32|64}} -1,
  42   // CHECK: getelementptr inbounds i{{32|64}}, ptr {{.*}}, i{{32|64}} 1
  43   // CHECK: icmp eq
  44   // CHECK: br i1
  45 }
  46
  47 // CHECK-LABEL: define{{.*}} void @_Z15string_nonconsti
  48 void string_nonconst(int n) {
  49   // CHECK: icmp slt i{{32|64}} %{{[^ ]+}}, 4
  50   // FIXME: Conditionally throw an exception rather than passing -1 to alloc function
  51   // CHECK: select
  52   // CHECK: %[[PTR:.*]] = call noalias noundef nonnull ptr @_Zna{{.}}(i{{32|64}}
  53   // CHECK: call void @llvm.memcpy{{.*}}(ptr align {{[0-9]+}} %[[PTR]], ptr align {{[0-9]+}} @[[ABC4]], i32 4,
  54   // CHECK: %[[REST:.*]] = getelementptr inbounds i8, ptr %[[PTR]], i32 4
  55   // CHECK: %[[RESTSIZE:.*]] = sub {{.*}}, 4
  56   // CHECK: call void @llvm.memset{{.*}}(ptr align {{[0-9]+}} %[[REST]], i8 0, i{{32|64}} %[[RESTSIZE]],
  57   new char[n] { "abc" };
  58 }
  59
  60 // CHECK-LABEL: define{{.*}} void @_Z12string_exactv
  61 void string_exact() {
  62   // CHECK-NOT: icmp
  63   // CHECK: %[[PTR:.*]] = call noalias noundef nonnull ptr @_Zna{{.}}(i{{32|64}} noundef 4)
  64   // CHECK: call void @llvm.memcpy{{.*}}(ptr align {{[0-9]+}} %[[PTR]], ptr align {{[0-9]+}} @[[ABC4]], i32 4,
  65   // CHECK-NOT: memset
  66   new char[4] { "abc" };
  67 }
  68
  69 // CHECK-LABEL: define{{.*}} void @_Z17string_sufficientv
  70 void string_sufficient() {
  71   // CHECK-NOT: icmp
  72   // CHECK: %[[PTR:.*]] = call noalias noundef nonnull ptr @_Zna{{.}}(i{{32|64}} noundef 15)
  73   // FIXME: For very large arrays, it would be preferable to emit a small copy and a memset.
  74   // CHECK: call void @llvm.memcpy{{.*}}(ptr align {{[0-9]+}} %[[PTR]], ptr align {{[0-9]+}} @[[ABC15]], i32 15,
  75   // CHECK-NOT: memset
  76   new char[15] { "abc" };
  77 }
  78
  79 // CHECK-LABEL: define{{.*}} void @_Z10aggr_exactv
  80 void aggr_exact() {
  81   // CHECK-NOT: icmp
  82   // CHECK: %[[MEM:.*]] = call noalias noundef nonnull ptr @_Zna{{.}}(i{{32|64}} noundef 16)
  83   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR:.*]], ptr %[[MEM]], i32 0, i32 0{{$}}
  84   // CHECK: store i32 1, ptr %[[FIELD]]
  85   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[MEM]], i32 0, i32 1{{$}}
  86   // CHECK: store i32 2, ptr %[[FIELD]]
  87   // CHECK: %[[PTR1:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[MEM]], i32 1{{$}}
  88   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[PTR1]], i32 0, i32 0{{$}}
  89   // CHECK: store i32 3, ptr %[[FIELD]]
  90   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[PTR1]], i32 0, i32 1{{$}}
  91   // CHECK: store i32 0, ptr %[[FIELD]]
  92   // CHECK-NOT: store
  93   // CHECK-NOT: memset
  94   struct Aggr { int a, b; };
  95   new Aggr[2] { 1, 2, 3 };
  96 }
  97
  98 // CHECK-LABEL: define{{.*}} void @_Z15aggr_sufficienti
  99 void aggr_sufficient(int n) {
 100   // CHECK: icmp ult i32 %{{.*}}, 2
 101   // CHECK: %[[MEM:.*]] = call noalias noundef nonnull ptr @_Zna{{.}}(
 102   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR:.*]], ptr %[[MEM]], i32 0, i32 0{{$}}
 103   // CHECK: store i32 1, ptr %[[FIELD]]
 104   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[MEM]], i32 0, i32 1{{$}}
 105   // CHECK: store i32 2, ptr %[[FIELD]]
 106   // CHECK: %[[PTR1:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[MEM]], i32 1{{$}}
 107   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[PTR1]], i32 0, i32 0{{$}}
 108   // CHECK: store i32 3, ptr %[[FIELD]]
 109   // CHECK: %[[FIELD:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[PTR1]], i32 0, i32 1{{$}}
 110   // CHECK: store i32 0, ptr %[[FIELD]]
 111   // CHECK: %[[PTR2:.*]] = getelementptr inbounds %[[AGGR]], ptr %[[PTR1]], i32 1{{$}}
 112   // CHECK: %[[REMAIN:.*]] = sub i32 {{.*}}, 16
 113   // CHECK: call void @llvm.memset{{.*}}(ptr align {{[0-9]+}} %[[PTR2]], i8 0, i32 %[[REMAIN]],
 114   struct Aggr { int a, b; };
 115   new Aggr[n] { 1, 2, 3 };
 116 }
 117
 118 // SIO-LABEL: define{{.*}} void @_Z14constexpr_testv
 119 void constexpr_test() {
 120   // SIO: call noalias noundef nonnull ptr @_Zna{{.}}(i32 noundef 4)
 121   new int[0+1]{0};
 122 }
 123
 124 // CHECK-LABEL: define{{.*}} void @_Z13unknown_boundv
 125 void unknown_bound() {
 126   struct Aggr { int x, y, z; };
 127   new Aggr[]{1, 2, 3, 4};
 128   // CHECK: call {{.*}}_Znaj(i32 noundef 24)
 129   // CHECK: store i32 1
 130   // CHECK: store i32 2
 131   // CHECK: store i32 3
 132   // CHECK: store i32 4
 133   // CHECK: store i32 0
 134   // CHECK: store i32 0
 135   // CHECK-NOT: store
 136   // CHECK: }
 137 }
 138
 139 // CHECK-LABEL: define{{.*}} void @_Z20unknown_bound_stringv
 140 void unknown_bound_string() {
 141   new char[]{"hello"};
 142   // CHECK: call {{.*}}_Znaj(i32 noundef 6)
 143   // CHECK: memcpy{{.*}} i32 6,
 144 }