[SYCLomatic] Fix the issue that vector type member access is not migrated in the uninstantiated template function #2863

Signed-off-by: intwanghao <hao3.wang@intel.com>

Author: intwanghao

clang/lib/DPCT/RuleInfra/ExprAnalysis.cpp

@@ -686,6 +686,26 @@ void ExprAnalysis::analyzeExpr(const CXXConstructExpr *Ctor) {
   }
 }
 
+void ExprAnalysis::analyzeExpr(const CXXDependentScopeMemberExpr *CDSME) {
+  if (auto AE = dyn_cast<ArraySubscriptExpr>(CDSME->getBase())) {
+    auto Base = AE->getBase();
+    if (auto BT =
+            dyn_cast<DependentSizedArrayType>(Base->getType().getTypePtr())) {
+      auto ET = BT->getElementType();
+      if (isTypeInAnalysisScope(ET.getTypePtr()))
+        return;
+      std::string BaseType = dpct::DpctGlobalInfo::getUnqualifiedTypeName(ET);
+      if (MapNamesLang::SupportedVectorTypes.find(BaseType) !=
+          MapNamesLang::SupportedVectorTypes.end()) {
+        std::string MemberName = CDSME->getMemberNameInfo().getAsString();
+        if (MapNames::replaceName(MapNamesLang::MemberNamesMap, MemberName)) {
+          addReplacement(CDSME->getMemberLoc(), CDSME->getEndLoc(), MemberName);
+        }
+      }
+    }
+  }
+}
+
 void ExprAnalysis::analyzeExpr(const MemberExpr *ME) {
   const auto BaseType = getBaseTypeRemoveTemplateArguments(ME);
 

clang/lib/DPCT/RuleInfra/ExprAnalysis.h

@@ -631,7 +631,7 @@ class ExprAnalysis {
   inline void analyzeExpr(const ExprWithCleanups *EWC) {
     dispatch(EWC->getSubExpr());
   }
-
+  void analyzeExpr(const CXXDependentScopeMemberExpr *CDSME);
   void analyzeExpr(const CXXConstructExpr *Ctor);
   void analyzeExpr(const CXXTemporaryObjectExpr *Temp);
   void analyzeExpr(const CXXUnresolvedConstructExpr *Ctor);

clang/test/dpct/vector_type.cu

@@ -14,6 +14,16 @@ void func_char1(char1 a) {
 __global__ void kernel_char1(char1 *a, char1 *b) {
 }
 
+template <int np> __global__ void kernel_foo() {
+  constexpr int nmeta = np;
+  float2 meta[nmeta];
+  float KQ_cmn;
+  for (int imeta = 1; imeta < nmeta; ++imeta) {
+    // CHECK: KQ_cmn = sycl::fmax(KQ_cmn, (float)(meta[imeta].x()));
+    KQ_cmn = fmaxf(KQ_cmn, meta[imeta].x);
+  }
+}
+
 int main_char1() {
   // range default constructor does the right thing.
   // CHECK: int8_t char1_a;