1 // RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s 2 3 // CHECK-LABEL: define void @_Z2fni 4 void fn(int n) { 5 // CHECK: icmp ult i{{32|64}} %{{[^ ]+}}, 3 6 // CHECK: store i32 1 7 // CHECK: store i32 2 8 // CHECK: store i32 3 9 // CHECK: sub {{.*}}, 12 10 // CHECK: call void @llvm.memset 11 new int[n] { 1, 2, 3 }; 12 } 13 14 // CHECK-LABEL: define void @_Z15const_underflowv 15 void const_underflow() { 16 // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 17 // CHECK: br label %[[BAD:.*]] 18 // CHECK: [[BAD]]: 19 // CHECK-NEXT: call void @__cxa_bad_array_new_length() 20 // CHECK-NEXT: unreachable 21 // CHECK: {{.*}}: 22 // CHECK: ret void 23 new int[2] { 1, 2, 3 }; 24 } 25 26 // CHECK-LABEL: define void @_Z11const_exactv 27 void const_exact() { 28 // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 29 // CHECK-NOT: icmp eq i32* 30 new int[3] { 1, 2, 3 }; 31 } 32 33 // CHECK-LABEL: define void @_Z16const_sufficientv 34 void const_sufficient() { 35 // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 36 new int[4] { 1, 2, 3 }; 37 // CHECK: ret void 38 } 39 40 // CHECK-LABEL: define void @_Z22check_array_value_initv 41 void check_array_value_init() { 42 struct S; 43 new (int S::*[3][4][5]) (); 44 45 // CHECK: call noalias i8* @_Zna{{.}}(i{{32 240|64 480}}) 46 // CHECK: getelementptr inbounds i{{32|64}}* {{.*}}, i{{32|64}} 60 47 48 // CHECK: phi 49 // CHECK: store i{{32|64}} -1, 50 // CHECK: getelementptr inbounds i{{32|64}}* {{.*}}, i{{32|64}} 1 51 // CHECK: icmp eq 52 // CHECK: br i1 53 } 54