From 1ef75f53e9e6aeb35a1d46798b3063192ee86f0f Mon Sep 17 00:00:00 2001 From: Cullen Rhodes Date: Fri, 26 Jun 2020 17:25:56 +0000 Subject: [PATCH] [AArch64][SVE] clang: Add missing svbfloat16_t tests Summary: Patch adds tests for mangling of svbfloat16_t and several other type related tests. Reviewers: sdesmalen, kmclaughlin, fpetrogalli, efriedma Reviewed By: sdesmalen, fpetrogalli Differential Revision: https://reviews.llvm.org/D82668 --- clang/test/CodeGen/aarch64-sve.c | 4 ++++ clang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp | 14 +++++++++++--- clang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp | 7 ++++++- clang/test/CodeGenObjC/aarch64-sve-types.m | 5 ++++- clang/test/PCH/aarch64-sve-types.c | 2 ++ clang/test/Sema/aarch64-sve-types.c | 5 ++++- clang/test/SemaObjC/aarch64-sve-types.m | 2 ++ 7 files changed, 33 insertions(+), 6 deletions(-) diff --git a/clang/test/CodeGen/aarch64-sve.c b/clang/test/CodeGen/aarch64-sve.c index 790b3a1..d21af74 100644 --- a/clang/test/CodeGen/aarch64-sve.c +++ b/clang/test/CodeGen/aarch64-sve.c @@ -14,6 +14,7 @@ // CHECK-DEBUG: cannot yet generate debug info for SVE type '__SVFloat16_t' // CHECK-DEBUG: cannot yet generate debug info for SVE type '__SVFloat32_t' // CHECK-DEBUG: cannot yet generate debug info for SVE type '__SVFloat64_t' +// CHECK-DEBUG: cannot yet generate debug info for SVE type '__SVBFloat16_t' // CHECK-DEBUG: cannot yet generate debug info for SVE type '__SVBool_t' // CHECK: @ptr = global * null, align 8 @@ -28,6 +29,7 @@ // CHECK: %f16 = alloca , align 16 // CHECK: %f32 = alloca , align 16 // CHECK: %f64 = alloca , align 16 +// CHECK: %bf16 = alloca , align 16 // CHECK: %b8 = alloca , align 2 __SVInt8_t *ptr; @@ -47,5 +49,7 @@ void test_locals(void) { __SVFloat32_t f32; __SVFloat64_t f64; + __SVBFloat16_t bf16; + __SVBool_t b8; } diff --git a/clang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp b/clang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp index 66e3c13..d75efbd 100644 --- a/clang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp +++ b/clang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp @@ -1,7 +1,7 @@ // RUN: %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ // RUN: | FileCheck %s // RUN: %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ -// RUN: -target-feature +sve | FileCheck %s +// RUN: -target-feature +sve,+bf16 | FileCheck %s template struct S {}; @@ -27,8 +27,10 @@ void f9(S<__SVFloat16_t>) {} void f10(S<__SVFloat32_t>) {} // CHECK: _Z3f111SIu13__SVFloat64_tE void f11(S<__SVFloat64_t>) {} -// CHECK: _Z3f121SIu10__SVBool_tE -void f12(S<__SVBool_t>) {} +// CHECK: _Z3f121SIu14__SVBFloat16_tE +void f12(S<__SVBFloat16_t>) {} +// CHECK: _Z3f131SIu10__SVBool_tE +void f13(S<__SVBool_t>) {} // The tuple types don't use the internal name for mangling. @@ -98,3 +100,9 @@ void f43(S<__clang_svfloat64x2_t>) {} void f44(S<__clang_svfloat64x3_t>) {} // CHECK: _Z3f451SI13svfloat64x4_tE void f45(S<__clang_svfloat64x4_t>) {} +// CHECK: _Z3f461SI14svbfloat16x2_tE +void f46(S<__clang_svbfloat16x2_t>) {} +// CHECK: _Z3f471SI14svbfloat16x3_tE +void f47(S<__clang_svbfloat16x3_t>) {} +// CHECK: _Z3f481SI14svbfloat16x4_tE +void f48(S<__clang_svbfloat16x4_t>) {} diff --git a/clang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp b/clang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp index 5627efa..6081ab6 100644 --- a/clang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp +++ b/clang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp @@ -1,7 +1,7 @@ // RUN: %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ // RUN: | FileCheck %s // RUN: %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ -// RUN: -target-feature +sve | FileCheck %s +// RUN: -target-feature +sve,+bf16 | FileCheck %s namespace std { class type_info; }; @@ -19,6 +19,8 @@ auto &f16 = typeid(__SVFloat16_t); auto &f32 = typeid(__SVFloat32_t); auto &f64 = typeid(__SVFloat64_t); +auto &bf16 = typeid(__SVBFloat16_t); + auto &b8 = typeid(__SVBool_t); // CHECK-DAG: @_ZTSu10__SVInt8_t = {{.*}} c"u10__SVInt8_t\00" @@ -53,6 +55,9 @@ auto &b8 = typeid(__SVBool_t); // CHECK-DAG: @_ZTSu13__SVFloat64_t = {{.*}} c"u13__SVFloat64_t\00" // CHECK-DAG: @_ZTIu13__SVFloat64_t = {{.*}} @_ZTVN10__cxxabiv123__fundamental_type_infoE, {{.*}} @_ZTSu13__SVFloat64_t +// +// CHECK-DAG: @_ZTSu14__SVBFloat16_t = {{.*}} c"u14__SVBFloat16_t\00" +// CHECK-DAG: @_ZTIu14__SVBFloat16_t = {{.*}} @_ZTVN10__cxxabiv123__fundamental_type_infoE, {{.*}} @_ZTSu14__SVBFloat16_t // CHECK-DAG: @_ZTSu10__SVBool_t = {{.*}} c"u10__SVBool_t\00" // CHECK-DAG: @_ZTIu10__SVBool_t = {{.*}} @_ZTVN10__cxxabiv123__fundamental_type_infoE, {{.*}} @_ZTSu10__SVBool_t diff --git a/clang/test/CodeGenObjC/aarch64-sve-types.m b/clang/test/CodeGenObjC/aarch64-sve-types.m index 625c752..cc0a95a 100644 --- a/clang/test/CodeGenObjC/aarch64-sve-types.m +++ b/clang/test/CodeGenObjC/aarch64-sve-types.m @@ -1,7 +1,7 @@ // RUN: not %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ // RUN: 2>&1 | FileCheck %s // RUN: not %clang_cc1 -triple aarch64-none-linux-gnu %s -emit-llvm -o - \ -// RUN: -target-feature +sve 2>&1 | FileCheck %s +// RUN: -target-feature +sve,+bf16 2>&1 | FileCheck %s // CHECK: error: cannot yet @encode type __SVInt8_t const char s8[] = @encode(__SVInt8_t); @@ -28,5 +28,8 @@ const char f32[] = @encode(__SVFloat32_t); // CHECK: error: cannot yet @encode type __SVFloat64_t const char f64[] = @encode(__SVFloat64_t); +// CHECK: error: cannot yet @encode type __SVBFloat16_t +const char bf16[] = @encode(__SVBFloat16_t); + // CHECK: error: cannot yet @encode type __SVBool_t const char b8[] = @encode(__SVBool_t); diff --git a/clang/test/PCH/aarch64-sve-types.c b/clang/test/PCH/aarch64-sve-types.c index 27f1630..d9be6da 100644 --- a/clang/test/PCH/aarch64-sve-types.c +++ b/clang/test/PCH/aarch64-sve-types.c @@ -18,4 +18,6 @@ __SVFloat16_t *f16; __SVFloat32_t *f32; __SVFloat64_t *f64; +__SVBFloat16_t *bf16; + __SVBool_t *b8; diff --git a/clang/test/Sema/aarch64-sve-types.c b/clang/test/Sema/aarch64-sve-types.c index 989bc71..5423300 100644 --- a/clang/test/Sema/aarch64-sve-types.c +++ b/clang/test/Sema/aarch64-sve-types.c @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 %s -triple aarch64-none-linux-gnu -target-feature +sve -fsyntax-only -verify +// RUN: %clang_cc1 %s -triple aarch64-none-linux-gnu -target-feature +sve,+bf16 -fsyntax-only -verify void f() { int size_s8[sizeof(__SVInt8_t) == 0 ? 1 : -1]; // expected-error {{invalid application of 'sizeof' to sizeless type '__SVInt8_t'}} @@ -34,6 +34,9 @@ void f() { int size_f64[sizeof(__SVFloat64_t) == 0 ? 1 : -1]; // expected-error {{invalid application of 'sizeof' to sizeless type '__SVFloat64_t'}} int align_f64[__alignof__(__SVFloat64_t) == 16 ? 1 : -1]; // expected-error {{invalid application of '__alignof' to sizeless type '__SVFloat64_t'}} + int size_bf16[sizeof(__SVBFloat16_t) == 0 ? 1 : -1]; // expected-error {{invalid application of 'sizeof' to sizeless type '__SVBFloat16_t'}} + int align_bf16[__alignof__(__SVBFloat16_t) == 16 ? 1 : -1]; // expected-error {{invalid application of '__alignof' to sizeless type '__SVBFloat16_t'}} + int size_b8[sizeof(__SVBool_t) == 0 ? 1 : -1]; // expected-error {{invalid application of 'sizeof' to sizeless type '__SVBool_t'}} int align_b8[__alignof__(__SVBool_t) == 2 ? 1 : -1]; // expected-error {{invalid application of '__alignof' to sizeless type '__SVBool_t'}} } diff --git a/clang/test/SemaObjC/aarch64-sve-types.m b/clang/test/SemaObjC/aarch64-sve-types.m index 9e1af31..376ffe6 100644 --- a/clang/test/SemaObjC/aarch64-sve-types.m +++ b/clang/test/SemaObjC/aarch64-sve-types.m @@ -18,5 +18,7 @@ @property(nullable) __SVFloat32_t f32; // expected-error {{cannot be applied to non-pointer type}} @property(nullable) __SVFloat64_t f64; // expected-error {{cannot be applied to non-pointer type}} +@property(nullable) __SVBFloat16_t bf16; // expected-error {{cannot be applied to non-pointer type}} + @property(nullable) __SVBool_t b8; // expected-error {{cannot be applied to non-pointer type}} @end -- 2.7.4