1 // RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,AVX
2 // RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx512f -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,AVX512
3
4 // Test Clang 11 and earlier behavior
5 // RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx -fclang-abi-compat=10.0 -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK-LEGACY,AVX
6 // RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx512f -fclang-abi-compat=11.0 -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK-LEGACY,AVX512-LEGACY
7 // RUN: %clang_cc1 -w -ffreestanding -triple x86_64-scei-ps4 -target-feature +avx -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK-LEGACY
8
9 // This tests verifies that a union parameter should pass by a vector regitster whose first eightbyte is SSE and the other eightbytes are SSEUP.
10
11 typedef int __m256 __attribute__ ((__vector_size__ (32)));
12 typedef int __m512 __attribute__ ((__vector_size__ (64)));
13
14 union M256 {
15 double d;
16 __m256 m;
17 };
18
19 union M512 {
20 double d;
21 __m512 m;
22 };
23
24 extern void foo1(union M256 A);
25 extern void foo2(union M512 A);
26 union M256 m1;
27 union M512 m2;
28 // CHECK-LABEL: define void @test()
29 // CHECK: call void @foo1(<4 x double>
30 // CHECK-LEGACY: call void @foo1(%union.M256* byval(%union.M256) align 32
31 // AVX: call void @foo2(%union.M512* byval(%union.M512) align 64
32 // AVX512: call void @foo2(<8 x double>
33 // AVX512-LEGACY: call void @foo2(%union.M512* byval(%union.M512) align 64
test()34 void test() {
35 foo1(m1);
36 foo2(m2);
37 }
38