Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-02-14 14:56:47 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Prevent implicit re-interpret casts between ExtVector and Scalar types.

Browse Source 
Previously, in certain cases lax vector conversions could occur between scalar floating-point values and ExtVector types; these conversions would be simple bitcasts.  We need to allow them with other vector types to support some common headers, but we don't need them for ExtVector.  Preventing them here makes them behave like other operations involving scalars and ExtVectors.

llvm-svn: 247643
This commit is contained in:
Stephen Canon 2015-09-15 00:21:56 +00:00
parent 1b76da6a6c
commit ca8eefddb7
2 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/lib/Sema/SemaExpr.cpp
View File

@ -5562,6 +5562,14 @@ static bool breakDownVectorType(QualType type, uint64_t &len,
/// vector nor a real type.
bool Sema::areLaxCompatibleVectorTypes(QualType srcTy, QualType destTy) {
assert(destTy->isVectorType() || srcTy->isVectorType());
// Disallow lax conversions between scalars and ExtVectors (these
// conversions are allowed for other vector types because common headers
// depend on them). Most scalar OP ExtVector cases are handled by the
// splat path anyway, which does what we want (convert, not bitcast).
// What this rules out for ExtVectors is crazy things like char4*float.
if (srcTy->isScalarType() && destTy->isExtVectorType()) return false;
if (destTy->isScalarType() && srcTy->isExtVectorType()) return false;
uint64_t srcLen, destLen;
QualType srcElt, destElt;

19
clang/test/Sema/ext_vector_conversions.c Normal file
View File

@ -0,0 +1,19 @@
// RUN: %clang_cc1 -triple x86_64-apple-macos10.7.0 -fsyntax-only -verify -Wconversion %s
typedef __attribute__((ext_vector_type(4))) char char4;
typedef __attribute__((ext_vector_type(4))) short short4;
typedef __attribute__((ext_vector_type(1))) float float1;
static void test() {
char4 vc4;
float f;
// Not allowed. There's no splatting conversion between float and int vector,
// and we don't want to bitcast f to vector-of-char (as would happen with the
// old-style vector types).
vc4 += f; // expected-error {{cannot convert between vector values of different size}}
short4 vs4;
long long ll;
// This one is OK; we don't re-interpret ll as short4, rather we splat its
// value, which should produce a warning about clamping.
vs4 += ll; // expected-warning {{implicit conversion loses integer precision}}
}