39 lines · c
1// RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,AVX2// RUN: %clang_cc1 -w -ffreestanding -triple x86_64-linux-gnu -target-feature +avx512f -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,AVX5123 4// Test Clang 11 and earlier behavior5// 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,AVX6// 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-LEGACY7// RUN: %clang_cc1 -w -ffreestanding -triple x86_64-scei-ps4 -target-feature +avx -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK-LEGACY8// RUN: %clang_cc1 -w -ffreestanding -triple x86_64-sie-ps5 -target-feature +avx -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK-LEGACY9 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 12typedef int __m256 __attribute__ ((__vector_size__ (32)));13typedef int __m512 __attribute__ ((__vector_size__ (64)));14 15union M256 {16 double d;17 __m256 m;18};19 20union M512 {21 double d;22 __m512 m;23};24 25extern void foo1(union M256 A);26extern void foo2(union M512 A);27union M256 m1;28union 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 3232// AVX: call void @foo2(ptr noundef byval(%union.M512) align 6433// AVX512: call void @foo2(<8 x double>34// AVX512-LEGACY: call void @foo2(ptr noundef byval(%union.M512) align 6435void test(void) {36 foo1(m1);37 foo2(m2);38}39