From e7c49ce6b50918f9bdb7fdaf474d676621694595 Mon Sep 17 00:00:00 2001 From: d00573793 Date: Thu, 9 Mar 2023 15:51:30 +0800 Subject: [PATCH 1/2] [Pin-server] Fix VectorType diff --git a/lib/Dialect/PluginTypes.cpp b/lib/Dialect/PluginTypes.cpp index 89e4b1a..6035c4f 100644 --- a/lib/Dialect/PluginTypes.cpp +++ b/lib/Dialect/PluginTypes.cpp @@ -415,7 +415,7 @@ unsigned PluginArrayType::getNumElements() PluginTypeID PluginVectorType::getPluginTypeID() { - return PluginTypeID::ArrayTyID; + return PluginTypeID::VectorTyID; } bool PluginVectorType::isValidElementType(Type type) -- 2.33.0