430 lines · c
1// RUN: %clang_cc1 -triple arm64-apple-ios7 -target-abi darwinpcs -emit-llvm -o - %s | FileCheck %s2// RUN: %clang_cc1 -triple aarch64-linux-android -emit-llvm -o - %s | FileCheck -check-prefix=ANDROID %s3 4#include <stdarg.h>5 6typedef __attribute__(( ext_vector_type(2) )) char __char2;7typedef __attribute__(( ext_vector_type(3) )) char __char3;8typedef __attribute__(( ext_vector_type(4) )) char __char4;9typedef __attribute__(( ext_vector_type(5) )) char __char5;10typedef __attribute__(( ext_vector_type(9) )) char __char9;11typedef __attribute__(( ext_vector_type(19) )) char __char19;12typedef __attribute__(( ext_vector_type(3) )) short __short3;13typedef __attribute__(( ext_vector_type(5) )) short __short5;14typedef __attribute__(( ext_vector_type(3) )) int __int3;15typedef __attribute__(( ext_vector_type(5) )) int __int5;16typedef __attribute__(( ext_vector_type(3) )) double __double3;17 18// Passing legal vector types as varargs. Check that we've allocated the appropriate size19double varargs_vec_2c(int fixed, ...) {20// ANDROID: varargs_vec_2c21// ANDROID: [[VAR:%.*]] = alloca <2 x i8>, align 222// ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 823 va_list ap;24 double sum = fixed;25 va_start(ap, fixed);26 __char2 c3 = va_arg(ap, __char2);27 sum = sum + c3.x + c3.y;28 va_end(ap);29 return sum;30}31 32double test_2c(__char2 *in) {33// ANDROID: call double (i32, ...) @varargs_vec_2c(i32 noundef 3, i16 noundef {{%.*}})34 return varargs_vec_2c(3, *in);35}36 37double varargs_vec_3c(int fixed, ...) {38// CHECK: varargs_vec_3c39// CHECK: alloca <3 x i8>, align 440// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 841 va_list ap;42 double sum = fixed;43 va_start(ap, fixed);44 __char3 c3 = va_arg(ap, __char3);45 sum = sum + c3.x + c3.y;46 va_end(ap);47 return sum;48}49 50double test_3c(__char3 *in) {51// CHECK: test_3c52// CHECK: call double (i32, ...) @varargs_vec_3c(i32 noundef 3, i32 {{%.*}})53 return varargs_vec_3c(3, *in);54}55 56double varargs_vec_4c(int fixed, ...) {57// CHECK: varargs_vec_4c58// CHECK: alloca <4 x i8>, align 459// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 860 va_list ap;61 double sum = fixed;62 va_start(ap, fixed);63 __char4 c4 = va_arg(ap, __char4);64 sum = sum + c4.x + c4.y;65 va_end(ap);66 return sum;67}68 69double test_4c(__char4 *in) {70// CHECK: test_4c71// CHECK: call double (i32, ...) @varargs_vec_4c(i32 noundef 4, i32 noundef {{%.*}})72 return varargs_vec_4c(4, *in);73}74 75double varargs_vec_5c(int fixed, ...) {76// CHECK: varargs_vec_5c77// CHECK: alloca <5 x i8>, align 878// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 879 va_list ap;80 double sum = fixed;81 va_start(ap, fixed);82 __char5 c5 = va_arg(ap, __char5);83 sum = sum + c5.x + c5.y;84 va_end(ap);85 return sum;86}87 88double test_5c(__char5 *in) {89// CHECK: test_5c90// CHECK: call double (i32, ...) @varargs_vec_5c(i32 noundef 5, <2 x i32> {{%.*}})91 return varargs_vec_5c(5, *in);92}93 94double varargs_vec_9c(int fixed, ...) {95// CHECK: varargs_vec_9c96// CHECK: alloca <9 x i8>, align 1697// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 898// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 1599// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)100// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16101 va_list ap;102 double sum = fixed;103 va_start(ap, fixed);104 __char9 c9 = va_arg(ap, __char9);105 sum = sum + c9.x + c9.y;106 va_end(ap);107 return sum;108}109 110double test_9c(__char9 *in) {111// CHECK: test_9c112// CHECK: call double (i32, ...) @varargs_vec_9c(i32 noundef 9, <4 x i32> {{%.*}})113 return varargs_vec_9c(9, *in);114}115 116double varargs_vec_19c(int fixed, ...) {117// CHECK: varargs_vec_19c118// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8119// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]120 va_list ap;121 double sum = fixed;122 va_start(ap, fixed);123 __char19 c19 = va_arg(ap, __char19);124 sum = sum + c19.x + c19.y;125 va_end(ap);126 return sum;127}128 129double test_19c(__char19 *in) {130// CHECK: test_19c131// CHECK: call double (i32, ...) @varargs_vec_19c(i32 noundef 19, ptr dead_on_return noundef {{%.*}})132 return varargs_vec_19c(19, *in);133}134 135double varargs_vec_3s(int fixed, ...) {136// CHECK: varargs_vec_3s137// CHECK: alloca <3 x i16>, align 8138// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8139 va_list ap;140 double sum = fixed;141 va_start(ap, fixed);142 __short3 c3 = va_arg(ap, __short3);143 sum = sum + c3.x + c3.y;144 va_end(ap);145 return sum;146}147 148double test_3s(__short3 *in) {149// CHECK: test_3s150// CHECK: call double (i32, ...) @varargs_vec_3s(i32 noundef 3, <2 x i32> {{%.*}})151 return varargs_vec_3s(3, *in);152}153 154double varargs_vec_5s(int fixed, ...) {155// CHECK: varargs_vec_5s156// CHECK: alloca <5 x i16>, align 16157// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 8158// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 15159// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)160// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16161 va_list ap;162 double sum = fixed;163 va_start(ap, fixed);164 __short5 c5 = va_arg(ap, __short5);165 sum = sum + c5.x + c5.y;166 va_end(ap);167 return sum;168}169 170double test_5s(__short5 *in) {171// CHECK: test_5s172// CHECK: call double (i32, ...) @varargs_vec_5s(i32 noundef 5, <4 x i32> {{%.*}})173 return varargs_vec_5s(5, *in);174}175 176double varargs_vec_3i(int fixed, ...) {177// CHECK: varargs_vec_3i178// CHECK: alloca <3 x i32>, align 16179// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 8180// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 15181// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)182// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16183 va_list ap;184 double sum = fixed;185 va_start(ap, fixed);186 __int3 c3 = va_arg(ap, __int3);187 sum = sum + c3.x + c3.y;188 va_end(ap);189 return sum;190}191 192double test_3i(__int3 *in) {193// CHECK: test_3i194// CHECK: call double (i32, ...) @varargs_vec_3i(i32 noundef 3, <4 x i32> {{%.*}})195 return varargs_vec_3i(3, *in);196}197 198double varargs_vec_5i(int fixed, ...) {199// CHECK: varargs_vec_5i200// CHECK: alloca <5 x i32>, align 16201// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8202// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]203 va_list ap;204 double sum = fixed;205 va_start(ap, fixed);206 __int5 c5 = va_arg(ap, __int5);207 sum = sum + c5.x + c5.y;208 va_end(ap);209 return sum;210}211 212double test_5i(__int5 *in) {213// CHECK: test_5i214// CHECK: call double (i32, ...) @varargs_vec_5i(i32 noundef 5, ptr dead_on_return noundef {{%.*}})215 return varargs_vec_5i(5, *in);216}217 218double varargs_vec_3d(int fixed, ...) {219// CHECK: varargs_vec_3d220// CHECK: alloca <3 x double>, align 16221// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8222// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]223 va_list ap;224 double sum = fixed;225 va_start(ap, fixed);226 __double3 c3 = va_arg(ap, __double3);227 sum = sum + c3.x + c3.y;228 va_end(ap);229 return sum;230}231 232double test_3d(__double3 *in) {233// CHECK: test_3d234// CHECK: call double (i32, ...) @varargs_vec_3d(i32 noundef 3, ptr dead_on_return noundef {{%.*}})235 return varargs_vec_3d(3, *in);236}237 238double varargs_vec(int fixed, ...) {239// CHECK: varargs_vec240 va_list ap;241 double sum = fixed;242 va_start(ap, fixed);243 __char3 c3 = va_arg(ap, __char3);244// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8245 sum = sum + c3.x + c3.y;246 __char5 c5 = va_arg(ap, __char5);247// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8248 sum = sum + c5.x + c5.y;249 __char9 c9 = va_arg(ap, __char9);250 251 252// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 8253// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 15254// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)255// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16256 sum = sum + c9.x + c9.y;257 __char19 c19 = va_arg(ap, __char19);258// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8259// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]260 sum = sum + c19.x + c19.y;261 __short3 s3 = va_arg(ap, __short3);262// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8263 sum = sum + s3.x + s3.y;264 __short5 s5 = va_arg(ap, __short5);265 266// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 8267// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 15268// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)269// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16270 sum = sum + s5.x + s5.y;271 __int3 i3 = va_arg(ap, __int3);272 273// CHECK: [[AP:%.*]] = load ptr, ptr %ap, align 8274// CHECK: [[AP_ADD:%.*]] = getelementptr inbounds i8, ptr [[AP]], i32 15275// CHECK: [[AP_ALIGN:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[AP_ADD]], i64 -16)276// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_ALIGN]], i64 16277 sum = sum + i3.x + i3.y;278 __int5 i5 = va_arg(ap, __int5);279// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8280// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]281 sum = sum + i5.x + i5.y;282 __double3 d3 = va_arg(ap, __double3);283// CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[AP_CUR:%.*]], i64 8284// CHECK: [[VAR2:%.*]] = load ptr, ptr [[AP_CUR]]285 sum = sum + d3.x + d3.y;286 va_end(ap);287 return sum;288}289 290double test(__char3 *c3, __char5 *c5, __char9 *c9, __char19 *c19,291 __short3 *s3, __short5 *s5, __int3 *i3, __int5 *i5,292 __double3 *d3) {293 double ret = varargs_vec(3, *c3, *c5, *c9, *c19, *s3, *s5, *i3, *i5, *d3);294// CHECK: call double (i32, ...) @varargs_vec(i32 noundef 3, i32 {{%.*}}, <2 x i32> {{%.*}}, <4 x i32> {{%.*}}, ptr dead_on_return noundef {{%.*}}, <2 x i32> {{%.*}}, <4 x i32> {{%.*}}, <4 x i32> {{%.*}}, ptr dead_on_return noundef {{%.*}}, ptr dead_on_return noundef {{%.*}})295 return ret;296}297 298__attribute__((noinline)) double args_vec_3c(int fixed, __char3 c3) {299// CHECK: args_vec_3c300// CHECK: [[C3:%.*]] = alloca <3 x i8>, align 4301// CHECK: store i32 {{%.*}}, ptr [[C3]]302 double sum = fixed;303 sum = sum + c3.x + c3.y;304 return sum;305}306 307double fixed_3c(__char3 *in) {308// CHECK: fixed_3c309// CHECK: call double @args_vec_3c(i32 noundef 3, i32 {{%.*}})310 return args_vec_3c(3, *in);311}312 313__attribute__((noinline)) double args_vec_5c(int fixed, __char5 c5) {314// CHECK: args_vec_5c315// CHECK: [[C5:%.*]] = alloca <5 x i8>, align 8316// CHECK: store <2 x i32> {{%.*}}, ptr [[C5]], align 8317 double sum = fixed;318 sum = sum + c5.x + c5.y;319 return sum;320}321 322double fixed_5c(__char5 *in) {323// CHECK: fixed_5c324// CHECK: call double @args_vec_5c(i32 noundef 5, <2 x i32> {{%.*}})325 return args_vec_5c(5, *in);326}327 328__attribute__((noinline)) double args_vec_9c(int fixed, __char9 c9) {329// CHECK: args_vec_9c330// CHECK: [[C9:%.*]] = alloca <9 x i8>, align 16331// CHECK: store <4 x i32> {{%.*}}, ptr [[C9]], align 16332 double sum = fixed;333 sum = sum + c9.x + c9.y;334 return sum;335}336 337double fixed_9c(__char9 *in) {338// CHECK: fixed_9c339// CHECK: call double @args_vec_9c(i32 noundef 9, <4 x i32> {{%.*}})340 return args_vec_9c(9, *in);341}342 343__attribute__((noinline)) double args_vec_19c(int fixed, __char19 c19) {344// CHECK: args_vec_19c345// CHECK: [[C19:%.*]] = load <19 x i8>, ptr {{.*}}, align 16346 double sum = fixed;347 sum = sum + c19.x + c19.y;348 return sum;349}350 351double fixed_19c(__char19 *in) {352// CHECK: fixed_19c353// CHECK: call double @args_vec_19c(i32 noundef 19, ptr dead_on_return noundef {{%.*}})354 return args_vec_19c(19, *in);355}356 357__attribute__((noinline)) double args_vec_3s(int fixed, __short3 c3) {358// CHECK: args_vec_3s359// CHECK: [[C3:%.*]] = alloca <3 x i16>, align 8360// CHECK: store <2 x i32> {{%.*}}, ptr [[C3]], align 8361 double sum = fixed;362 sum = sum + c3.x + c3.y;363 return sum;364}365 366double fixed_3s(__short3 *in) {367// CHECK: fixed_3s368// CHECK: call double @args_vec_3s(i32 noundef 3, <2 x i32> {{%.*}})369 return args_vec_3s(3, *in);370}371 372__attribute__((noinline)) double args_vec_5s(int fixed, __short5 c5) {373// CHECK: args_vec_5s374// CHECK: [[C5:%.*]] = alloca <5 x i16>, align 16375// CHECK: store <4 x i32> {{%.*}}, ptr [[C5]], align 16376 double sum = fixed;377 sum = sum + c5.x + c5.y;378 return sum;379}380 381double fixed_5s(__short5 *in) {382// CHECK: fixed_5s383// CHECK: call double @args_vec_5s(i32 noundef 5, <4 x i32> {{%.*}})384 return args_vec_5s(5, *in);385}386 387__attribute__((noinline)) double args_vec_3i(int fixed, __int3 c3) {388// CHECK: args_vec_3i389// CHECK: [[C3:%.*]] = alloca <3 x i32>, align 16390// CHECK: store <4 x i32> {{%.*}}, ptr [[C3]], align 16391 double sum = fixed;392 sum = sum + c3.x + c3.y;393 return sum;394}395 396double fixed_3i(__int3 *in) {397// CHECK: fixed_3i398// CHECK: call double @args_vec_3i(i32 noundef 3, <4 x i32> {{%.*}})399 return args_vec_3i(3, *in);400}401 402__attribute__((noinline)) double args_vec_5i(int fixed, __int5 c5) {403// CHECK: args_vec_5i404// CHECK: [[C5:%.*]] = load <5 x i32>, ptr {{%.*}}, align 16405 double sum = fixed;406 sum = sum + c5.x + c5.y;407 return sum;408}409 410double fixed_5i(__int5 *in) {411// CHECK: fixed_5i412// CHECK: call double @args_vec_5i(i32 noundef 5, ptr dead_on_return noundef {{%.*}})413 return args_vec_5i(5, *in);414}415 416__attribute__((noinline)) double args_vec_3d(int fixed, __double3 c3) {417 // CHECK: args_vec_3d418 // CHECK: [[LOAD:%.*]] = load <4 x double>, ptr {{%.*}}419 // CHECK: shufflevector <4 x double> [[LOAD]], <4 x double> poison, <3 x i32> <i32 0, i32 1, i32 2>420 double sum = fixed;421 sum = sum + c3.x + c3.y;422 return sum;423}424 425double fixed_3d(__double3 *in) {426// CHECK: fixed_3d427// CHECK: call double @args_vec_3d(i32 noundef 3, ptr dead_on_return noundef {{%.*}})428 return args_vec_3d(3, *in);429}430