[PATCH] D136511: [RISCV][clang] Support RISC-V vectors in UninitializedValues.
Craig Topper via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Oct 24 12:39:18 PDT 2022
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rGc3ead85e2f1c: [RISCV][clang] Support RISC-V vectors in UninitializedValues. (authored by craig.topper).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D136511/new/
https://reviews.llvm.org/D136511
Files:
clang/include/clang/AST/Type.h
clang/lib/Analysis/UninitializedValues.cpp
clang/test/Sema/uninit-variables-riscv-vector.c
Index: clang/test/Sema/uninit-variables-riscv-vector.c
===================================================================
--- /dev/null
+++ clang/test/Sema/uninit-variables-riscv-vector.c
@@ -0,0 +1,14 @@
+// RUN: %clang_cc1 -triple riscv64 -fsyntax-only -Wuninitialized -fsyntax-only -target-feature +v %s -verify
+
+#pragma clang riscv intrinsic vector
+
+void test1(int *input, long vl) {
+ __rvv_int32m1_t x, y, z, w, X; // expected-note {{variable 'x' is declared here}} expected-note {{variable 'y' is declared here}} expected-note {{variable 'w' is declared here}} expected-note {{variable 'z' is declared here}}
+ x = vxor_vv_i32m1(x,x, vl); // expected-warning {{variable 'x' is uninitialized when used here}}
+ y = vxor_vv_i32m1(y,y, vl); // expected-warning {{variable 'y' is uninitialized when used here}}
+ z = vxor_vv_i32m1(z,z, vl); // expected-warning {{variable 'z' is uninitialized when used here}}
+ w = vxor_vv_i32m1(w,w, vl); // expected-warning {{variable 'w' is uninitialized when used here}}
+ X = vle32_v_i32m1(&input[0], vl);
+ X = vxor_vv_i32m1(X,X, vl); // no-warning
+}
+
Index: clang/lib/Analysis/UninitializedValues.cpp
===================================================================
--- clang/lib/Analysis/UninitializedValues.cpp
+++ clang/lib/Analysis/UninitializedValues.cpp
@@ -46,7 +46,8 @@
!vd->isExceptionVariable() && !vd->isInitCapture() &&
!vd->isImplicit() && vd->getDeclContext() == dc) {
QualType ty = vd->getType();
- return ty->isScalarType() || ty->isVectorType() || ty->isRecordType();
+ return ty->isScalarType() || ty->isVectorType() || ty->isRecordType() ||
+ ty->isRVVType();
}
return false;
}
Index: clang/include/clang/AST/Type.h
===================================================================
--- clang/include/clang/AST/Type.h
+++ clang/include/clang/AST/Type.h
@@ -2269,6 +2269,8 @@
/// Check if the type is the CUDA device builtin texture type.
bool isCUDADeviceBuiltinTextureType() const;
+ bool isRVVType() const;
+
/// Return the implicit lifetime for this type, which must not be dependent.
Qualifiers::ObjCLifetime getObjCARCImplicitLifetime() const;
@@ -7201,6 +7203,14 @@
isQueueT() || isReserveIDT() || isPipeType() || isOCLExtOpaqueType();
}
+inline bool Type::isRVVType() const {
+#define RVV_TYPE(Name, Id, SingletonId) \
+ isSpecificBuiltinType(BuiltinType::Id) ||
+ return
+#include "clang/Basic/RISCVVTypes.def"
+ false; // end of boolean or operation.
+}
+
inline bool Type::isTemplateTypeParmType() const {
return isa<TemplateTypeParmType>(CanonicalType);
}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D136511.470263.patch
Type: text/x-patch
Size: 2631 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221024/5f75ee0c/attachment.bin>
More information about the cfe-commits
mailing list