147 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++11 -emit-llvm -fsanitize=alignment %s -o - | FileCheck %s2 3struct alignas(32) S1 {4 int x;5 S1();6};7 8struct alignas(32) S2 {9 int x;10};11 12struct alignas(32) S3 {13 int x;14 S3(int *p = new int[4]);15};16 17struct S4 : public S3 {18 S4() : S3() {}19};20 21typedef __attribute__((ext_vector_type(8), aligned(32))) float float32x8_t;22 23struct S5 {24 float32x8_t x;25};26 27void *operator new (unsigned long, void *p) { return p; }28void *operator new[] (unsigned long, void *p) { return p; }29 30S1 *func_01() {31 // CHECK-LABEL: define {{.*}} @_Z7func_01v32 // CHECK: and i64 %{{.*}}, 31, !nosanitize33 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize34 // CHECK: call void @_ZN2S1C1Ev(35 // CHECK-NOT: and i64 %{{.*}}, 3136 // CHECK: ret ptr37 return new S1[20];38}39 40S2 *func_02() {41 // CHECK-LABEL: define {{.*}} @_Z7func_02v42 // CHECK: and i64 %{{.*}}, 31, !nosanitize43 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize44 // CHECK: ret ptr45 return new S2;46}47 48S2 *func_03() {49 // CHECK-LABEL: define {{.*}} @_Z7func_03v50 // CHECK: and i64 %{{.*}}, 31, !nosanitize51 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize52 // CHECK-NOT: and i64 %{{.*}}, 3153 // CHECK: ret ptr54 return new S2[20];55}56 57float32x8_t *func_04() {58 // CHECK-LABEL: define {{.*}} @_Z7func_04v59 // CHECK: and i64 %{{.*}}, 31, !nosanitize60 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize61 // CHECK: ret ptr62 return new float32x8_t;63}64 65float32x8_t *func_05() {66 // CHECK-LABEL: define {{.*}} @_Z7func_05v67 // CHECK: and i64 %{{.*}}, 31, !nosanitize68 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize69 // CHECK-NOT: and i64 %{{.*}}, 3170 // CHECK: ret ptr71 return new float32x8_t[20];72}73 74S3 *func_07() {75 // CHECK-LABEL: define {{.*}} @_Z7func_07v76 // CHECK: and i64 %{{.*}}, 31, !nosanitize77 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize78 // CHECK: and i64 %{{.*}}, 3, !nosanitize79 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize80 // CHECK: ret ptr81 return new S3;82}83 84S3 *func_08() {85 // CHECK-LABEL: define {{.*}} @_Z7func_08v86 // CHECK: and i64 %{{.*}}, 31, !nosanitize87 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize88 // CHECK: and i64 %{{.*}}, 3, !nosanitize89 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize90 // CHECK: ret ptr91 return new S3[10];92}93 94 95S2 *func_10(void *p) {96 // CHECK-LABEL: define {{.*}} @_Z7func_10Pv97 // CHECK: and i64 %{{.*}}, 31, !nosanitize98 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize99 // CHECK: ret ptr100 return new(p) S2;101}102 103S2 *func_11(void *p) {104 // CHECK-LABEL: define {{.*}} @_Z7func_11Pv105 // CHECK: and i64 %{{.*}}, 31, !nosanitize106 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize107 // CHECK-NOT: and i64 %{{.*}}, 31, !nosanitize108 // CHECK-NOT: icmp eq i64 %{{.*}}, 0, !nosanitize109 // CHECK: ret ptr110 return new(p) S2[10];111}112 113float32x8_t *func_12() {114 // CHECK-LABEL: define {{.*}} @_Z7func_12v115 // CHECK: and i64 %{{.*}}, 31, !nosanitize116 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize117 // CHECK: ret ptr118 return new float32x8_t;119}120 121float32x8_t *func_13() {122 // CHECK-LABEL: define {{.*}} @_Z7func_13v123 // CHECK: and i64 %{{.*}}, 31, !nosanitize124 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize125 // CHECK-NOT: and i64 %{{.*}}, 31126 // CHECK: ret ptr127 return new float32x8_t[20];128}129 130S4 *func_14() {131 // CHECK-LABEL: define {{.*}} @_Z7func_14v132 // CHECK: and i64 %{{.*}}, 31, !nosanitize133 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize134 // CHECK-NOT: and i64 %{{.*}}, 31135 // CHECK: ret ptr136 return new S4;137}138 139S5 *func_15(const S5 *ptr) {140 // CHECK-LABEL: define {{.*}} @_Z7func_15PK2S5141 // CHECK: and i64 %{{.*}}, 31, !nosanitize142 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize143 // CHECK-NOT: and i64144 // CHECK: ret ptr145 return new S5(*ptr);146}147