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