1 //===----------- ValueTypes.cpp - Implementation of EVT methods -----------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "llvm/CodeGen/ValueTypes.h"
10 #include "llvm/ADT/StringExtras.h"
11 #include "llvm/IR/DerivedTypes.h"
12 #include "llvm/IR/Type.h"
13 #include "llvm/Support/ErrorHandling.h"
14 #include "llvm/Support/TypeSize.h"
15 using namespace llvm;
16 
17 EVT EVT::changeExtendedTypeToInteger() const {
18   LLVMContext &Context = LLVMTy->getContext();
19   return getIntegerVT(Context, getSizeInBits());
20 }
21 
22 EVT EVT::changeExtendedVectorElementTypeToInteger() const {
23   LLVMContext &Context = LLVMTy->getContext();
24   EVT IntTy = getIntegerVT(Context, getScalarSizeInBits());
25   return getVectorVT(Context, IntTy, getVectorNumElements(),
26                      isScalableVector());
27 }
28 
29 EVT EVT::changeExtendedVectorElementType(EVT EltVT) const {
30   LLVMContext &Context = LLVMTy->getContext();
31   return getVectorVT(Context, EltVT, getVectorElementCount());
32 }
33 
34 EVT EVT::getExtendedIntegerVT(LLVMContext &Context, unsigned BitWidth) {
35   EVT VT;
36   VT.LLVMTy = IntegerType::get(Context, BitWidth);
37   assert(VT.isExtended() && "Type is not extended!");
38   return VT;
39 }
40 
41 EVT EVT::getExtendedVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements,
42                              bool IsScalable) {
43   EVT ResultVT;
44   ResultVT.LLVMTy =
45       VectorType::get(VT.getTypeForEVT(Context), NumElements, IsScalable);
46   assert(ResultVT.isExtended() && "Type is not extended!");
47   return ResultVT;
48 }
49 
50 EVT EVT::getExtendedVectorVT(LLVMContext &Context, EVT VT, ElementCount EC) {
51   EVT ResultVT;
52   ResultVT.LLVMTy =
53       VectorType::get(VT.getTypeForEVT(Context), {EC.Min, EC.Scalable});
54   assert(ResultVT.isExtended() && "Type is not extended!");
55   return ResultVT;
56 }
57 
58 bool EVT::isExtendedFloatingPoint() const {
59   assert(isExtended() && "Type is not extended!");
60   return LLVMTy->isFPOrFPVectorTy();
61 }
62 
63 bool EVT::isExtendedInteger() const {
64   assert(isExtended() && "Type is not extended!");
65   return LLVMTy->isIntOrIntVectorTy();
66 }
67 
68 bool EVT::isExtendedScalarInteger() const {
69   assert(isExtended() && "Type is not extended!");
70   return LLVMTy->isIntegerTy();
71 }
72 
73 bool EVT::isExtendedVector() const {
74   assert(isExtended() && "Type is not extended!");
75   return LLVMTy->isVectorTy();
76 }
77 
78 bool EVT::isExtended16BitVector() const {
79   return isExtendedVector() && getExtendedSizeInBits() == 16;
80 }
81 
82 bool EVT::isExtended32BitVector() const {
83   return isExtendedVector() && getExtendedSizeInBits() == 32;
84 }
85 
86 bool EVT::isExtended64BitVector() const {
87   return isExtendedVector() && getExtendedSizeInBits() == 64;
88 }
89 
90 bool EVT::isExtended128BitVector() const {
91   return isExtendedVector() && getExtendedSizeInBits() == 128;
92 }
93 
94 bool EVT::isExtended256BitVector() const {
95   return isExtendedVector() && getExtendedSizeInBits() == 256;
96 }
97 
98 bool EVT::isExtended512BitVector() const {
99   return isExtendedVector() && getExtendedSizeInBits() == 512;
100 }
101 
102 bool EVT::isExtended1024BitVector() const {
103   return isExtendedVector() && getExtendedSizeInBits() == 1024;
104 }
105 
106 bool EVT::isExtended2048BitVector() const {
107   return isExtendedVector() && getExtendedSizeInBits() == 2048;
108 }
109 
110 bool EVT::isExtendedFixedLengthVector() const {
111   return isExtendedVector() && isa<FixedVectorType>(LLVMTy);
112 }
113 
114 bool EVT::isExtendedScalableVector() const {
115   return isExtendedVector() && isa<ScalableVectorType>(LLVMTy);
116 }
117 
118 EVT EVT::getExtendedVectorElementType() const {
119   assert(isExtended() && "Type is not extended!");
120   return EVT::getEVT(cast<VectorType>(LLVMTy)->getElementType());
121 }
122 
123 unsigned EVT::getExtendedVectorNumElements() const {
124   assert(isExtended() && "Type is not extended!");
125   return cast<VectorType>(LLVMTy)->getNumElements();
126 }
127 
128 ElementCount EVT::getExtendedVectorElementCount() const {
129   assert(isExtended() && "Type is not extended!");
130   return cast<VectorType>(LLVMTy)->getElementCount();
131 }
132 
133 TypeSize EVT::getExtendedSizeInBits() const {
134   assert(isExtended() && "Type is not extended!");
135   if (IntegerType *ITy = dyn_cast<IntegerType>(LLVMTy))
136     return TypeSize::Fixed(ITy->getBitWidth());
137   if (VectorType *VTy = dyn_cast<VectorType>(LLVMTy))
138     return VTy->getPrimitiveSizeInBits();
139   llvm_unreachable("Unrecognized extended type!");
140 }
141 
142 /// getEVTString - This function returns value type as a string, e.g. "i32".
143 std::string EVT::getEVTString() const {
144   switch (V.SimpleTy) {
145   default:
146     if (isVector())
147       return (isScalableVector() ? "nxv" : "v")
148              + utostr(getVectorElementCount().Min)
149              + getVectorElementType().getEVTString();
150     if (isInteger())
151       return "i" + utostr(getSizeInBits());
152     if (isFloatingPoint())
153       return "f" + utostr(getSizeInBits());
154     llvm_unreachable("Invalid EVT!");
155   case MVT::bf16:    return "bf16";
156   case MVT::ppcf128: return "ppcf128";
157   case MVT::isVoid:  return "isVoid";
158   case MVT::Other:   return "ch";
159   case MVT::Glue:    return "glue";
160   case MVT::x86mmx:  return "x86mmx";
161   case MVT::Metadata:return "Metadata";
162   case MVT::Untyped: return "Untyped";
163   case MVT::exnref : return "exnref";
164   }
165 }
166 
167 /// getTypeForEVT - This method returns an LLVM type corresponding to the
168 /// specified EVT.  For integer types, this returns an unsigned type.  Note
169 /// that this will abort for types that cannot be represented.
170 Type *EVT::getTypeForEVT(LLVMContext &Context) const {
171   switch (V.SimpleTy) {
172   default:
173     assert(isExtended() && "Type is not extended!");
174     return LLVMTy;
175   case MVT::isVoid:  return Type::getVoidTy(Context);
176   case MVT::i1:      return Type::getInt1Ty(Context);
177   case MVT::i8:      return Type::getInt8Ty(Context);
178   case MVT::i16:     return Type::getInt16Ty(Context);
179   case MVT::i32:     return Type::getInt32Ty(Context);
180   case MVT::i64:     return Type::getInt64Ty(Context);
181   case MVT::i128:    return IntegerType::get(Context, 128);
182   case MVT::f16:     return Type::getHalfTy(Context);
183   case MVT::bf16:     return Type::getBFloatTy(Context);
184   case MVT::f32:     return Type::getFloatTy(Context);
185   case MVT::f64:     return Type::getDoubleTy(Context);
186   case MVT::f80:     return Type::getX86_FP80Ty(Context);
187   case MVT::f128:    return Type::getFP128Ty(Context);
188   case MVT::ppcf128: return Type::getPPC_FP128Ty(Context);
189   case MVT::x86mmx:  return Type::getX86_MMXTy(Context);
190   case MVT::v1i1:
191     return FixedVectorType::get(Type::getInt1Ty(Context), 1);
192   case MVT::v2i1:
193     return FixedVectorType::get(Type::getInt1Ty(Context), 2);
194   case MVT::v4i1:
195     return FixedVectorType::get(Type::getInt1Ty(Context), 4);
196   case MVT::v8i1:
197     return FixedVectorType::get(Type::getInt1Ty(Context), 8);
198   case MVT::v16i1:
199     return FixedVectorType::get(Type::getInt1Ty(Context), 16);
200   case MVT::v32i1:
201     return FixedVectorType::get(Type::getInt1Ty(Context), 32);
202   case MVT::v64i1:
203     return FixedVectorType::get(Type::getInt1Ty(Context), 64);
204   case MVT::v128i1:
205     return FixedVectorType::get(Type::getInt1Ty(Context), 128);
206   case MVT::v256i1:
207     return FixedVectorType::get(Type::getInt1Ty(Context), 256);
208   case MVT::v512i1:
209     return FixedVectorType::get(Type::getInt1Ty(Context), 512);
210   case MVT::v1024i1:
211     return FixedVectorType::get(Type::getInt1Ty(Context), 1024);
212   case MVT::v1i8:
213     return FixedVectorType::get(Type::getInt8Ty(Context), 1);
214   case MVT::v2i8:
215     return FixedVectorType::get(Type::getInt8Ty(Context), 2);
216   case MVT::v4i8:
217     return FixedVectorType::get(Type::getInt8Ty(Context), 4);
218   case MVT::v8i8:
219     return FixedVectorType::get(Type::getInt8Ty(Context), 8);
220   case MVT::v16i8:
221     return FixedVectorType::get(Type::getInt8Ty(Context), 16);
222   case MVT::v32i8:
223     return FixedVectorType::get(Type::getInt8Ty(Context), 32);
224   case MVT::v64i8:
225     return FixedVectorType::get(Type::getInt8Ty(Context), 64);
226   case MVT::v128i8:
227     return FixedVectorType::get(Type::getInt8Ty(Context), 128);
228   case MVT::v256i8:
229     return FixedVectorType::get(Type::getInt8Ty(Context), 256);
230   case MVT::v1i16:
231     return FixedVectorType::get(Type::getInt16Ty(Context), 1);
232   case MVT::v2i16:
233     return FixedVectorType::get(Type::getInt16Ty(Context), 2);
234   case MVT::v3i16:
235     return FixedVectorType::get(Type::getInt16Ty(Context), 3);
236   case MVT::v4i16:
237     return FixedVectorType::get(Type::getInt16Ty(Context), 4);
238   case MVT::v8i16:
239     return FixedVectorType::get(Type::getInt16Ty(Context), 8);
240   case MVT::v16i16:
241     return FixedVectorType::get(Type::getInt16Ty(Context), 16);
242   case MVT::v32i16:
243     return FixedVectorType::get(Type::getInt16Ty(Context), 32);
244   case MVT::v64i16:
245     return FixedVectorType::get(Type::getInt16Ty(Context), 64);
246   case MVT::v128i16:
247     return FixedVectorType::get(Type::getInt16Ty(Context), 128);
248   case MVT::v1i32:
249     return FixedVectorType::get(Type::getInt32Ty(Context), 1);
250   case MVT::v2i32:
251     return FixedVectorType::get(Type::getInt32Ty(Context), 2);
252   case MVT::v3i32:
253     return FixedVectorType::get(Type::getInt32Ty(Context), 3);
254   case MVT::v4i32:
255     return FixedVectorType::get(Type::getInt32Ty(Context), 4);
256   case MVT::v5i32:
257     return FixedVectorType::get(Type::getInt32Ty(Context), 5);
258   case MVT::v8i32:
259     return FixedVectorType::get(Type::getInt32Ty(Context), 8);
260   case MVT::v16i32:
261     return FixedVectorType::get(Type::getInt32Ty(Context), 16);
262   case MVT::v32i32:
263     return FixedVectorType::get(Type::getInt32Ty(Context), 32);
264   case MVT::v64i32:
265     return FixedVectorType::get(Type::getInt32Ty(Context), 64);
266   case MVT::v128i32:
267     return FixedVectorType::get(Type::getInt32Ty(Context), 128);
268   case MVT::v256i32:
269     return FixedVectorType::get(Type::getInt32Ty(Context), 256);
270   case MVT::v512i32:
271     return FixedVectorType::get(Type::getInt32Ty(Context), 512);
272   case MVT::v1024i32:
273     return FixedVectorType::get(Type::getInt32Ty(Context), 1024);
274   case MVT::v2048i32:
275     return FixedVectorType::get(Type::getInt32Ty(Context), 2048);
276   case MVT::v1i64:
277     return FixedVectorType::get(Type::getInt64Ty(Context), 1);
278   case MVT::v2i64:
279     return FixedVectorType::get(Type::getInt64Ty(Context), 2);
280   case MVT::v4i64:
281     return FixedVectorType::get(Type::getInt64Ty(Context), 4);
282   case MVT::v8i64:
283     return FixedVectorType::get(Type::getInt64Ty(Context), 8);
284   case MVT::v16i64:
285     return FixedVectorType::get(Type::getInt64Ty(Context), 16);
286   case MVT::v32i64:
287     return FixedVectorType::get(Type::getInt64Ty(Context), 32);
288   case MVT::v1i128:
289     return FixedVectorType::get(Type::getInt128Ty(Context), 1);
290   case MVT::v2f16:
291     return FixedVectorType::get(Type::getHalfTy(Context), 2);
292   case MVT::v3f16:
293     return FixedVectorType::get(Type::getHalfTy(Context), 3);
294   case MVT::v4f16:
295     return FixedVectorType::get(Type::getHalfTy(Context), 4);
296   case MVT::v8f16:
297     return FixedVectorType::get(Type::getHalfTy(Context), 8);
298   case MVT::v16f16:
299     return FixedVectorType::get(Type::getHalfTy(Context), 16);
300   case MVT::v32f16:
301     return FixedVectorType::get(Type::getHalfTy(Context), 32);
302   case MVT::v64f16:
303     return FixedVectorType::get(Type::getBFloatTy(Context), 64);
304   case MVT::v128f16:
305     return FixedVectorType::get(Type::getBFloatTy(Context), 128);
306   case MVT::v2bf16:
307     return FixedVectorType::get(Type::getBFloatTy(Context), 2);
308   case MVT::v3bf16:
309     return FixedVectorType::get(Type::getBFloatTy(Context), 3);
310   case MVT::v4bf16:
311     return FixedVectorType::get(Type::getBFloatTy(Context), 4);
312   case MVT::v8bf16:
313     return FixedVectorType::get(Type::getBFloatTy(Context), 8);
314   case MVT::v16bf16:
315     return FixedVectorType::get(Type::getBFloatTy(Context), 16);
316   case MVT::v32bf16:
317     return FixedVectorType::get(Type::getBFloatTy(Context), 32);
318   case MVT::v64bf16:
319     return FixedVectorType::get(Type::getBFloatTy(Context), 64);
320   case MVT::v128bf16:
321     return FixedVectorType::get(Type::getBFloatTy(Context), 128);
322   case MVT::v1f32:
323     return FixedVectorType::get(Type::getFloatTy(Context), 1);
324   case MVT::v2f32:
325     return FixedVectorType::get(Type::getFloatTy(Context), 2);
326   case MVT::v3f32:
327     return FixedVectorType::get(Type::getFloatTy(Context), 3);
328   case MVT::v4f32:
329     return FixedVectorType::get(Type::getFloatTy(Context), 4);
330   case MVT::v5f32:
331     return FixedVectorType::get(Type::getFloatTy(Context), 5);
332   case MVT::v8f32:
333     return FixedVectorType::get(Type::getFloatTy(Context), 8);
334   case MVT::v16f32:
335     return FixedVectorType::get(Type::getFloatTy(Context), 16);
336   case MVT::v32f32:
337     return FixedVectorType::get(Type::getFloatTy(Context), 32);
338   case MVT::v64f32:
339     return FixedVectorType::get(Type::getFloatTy(Context), 64);
340   case MVT::v128f32:
341     return FixedVectorType::get(Type::getFloatTy(Context), 128);
342   case MVT::v256f32:
343     return FixedVectorType::get(Type::getFloatTy(Context), 256);
344   case MVT::v512f32:
345     return FixedVectorType::get(Type::getFloatTy(Context), 512);
346   case MVT::v1024f32:
347     return FixedVectorType::get(Type::getFloatTy(Context), 1024);
348   case MVT::v2048f32:
349     return FixedVectorType::get(Type::getFloatTy(Context), 2048);
350   case MVT::v1f64:
351     return FixedVectorType::get(Type::getDoubleTy(Context), 1);
352   case MVT::v2f64:
353     return FixedVectorType::get(Type::getDoubleTy(Context), 2);
354   case MVT::v4f64:
355     return FixedVectorType::get(Type::getDoubleTy(Context), 4);
356   case MVT::v8f64:
357     return FixedVectorType::get(Type::getDoubleTy(Context), 8);
358   case MVT::v16f64:
359     return FixedVectorType::get(Type::getDoubleTy(Context), 16);
360   case MVT::v32f64:
361     return FixedVectorType::get(Type::getDoubleTy(Context), 32);
362   case MVT::nxv1i1:
363     return ScalableVectorType::get(Type::getInt1Ty(Context), 1);
364   case MVT::nxv2i1:
365     return ScalableVectorType::get(Type::getInt1Ty(Context), 2);
366   case MVT::nxv4i1:
367     return ScalableVectorType::get(Type::getInt1Ty(Context), 4);
368   case MVT::nxv8i1:
369     return ScalableVectorType::get(Type::getInt1Ty(Context), 8);
370   case MVT::nxv16i1:
371     return ScalableVectorType::get(Type::getInt1Ty(Context), 16);
372   case MVT::nxv32i1:
373     return ScalableVectorType::get(Type::getInt1Ty(Context), 32);
374   case MVT::nxv1i8:
375     return ScalableVectorType::get(Type::getInt8Ty(Context), 1);
376   case MVT::nxv2i8:
377     return ScalableVectorType::get(Type::getInt8Ty(Context), 2);
378   case MVT::nxv4i8:
379     return ScalableVectorType::get(Type::getInt8Ty(Context), 4);
380   case MVT::nxv8i8:
381     return ScalableVectorType::get(Type::getInt8Ty(Context), 8);
382   case MVT::nxv16i8:
383     return ScalableVectorType::get(Type::getInt8Ty(Context), 16);
384   case MVT::nxv32i8:
385     return ScalableVectorType::get(Type::getInt8Ty(Context), 32);
386   case MVT::nxv1i16:
387     return ScalableVectorType::get(Type::getInt16Ty(Context), 1);
388   case MVT::nxv2i16:
389     return ScalableVectorType::get(Type::getInt16Ty(Context), 2);
390   case MVT::nxv4i16:
391     return ScalableVectorType::get(Type::getInt16Ty(Context), 4);
392   case MVT::nxv8i16:
393     return ScalableVectorType::get(Type::getInt16Ty(Context), 8);
394   case MVT::nxv16i16:
395     return ScalableVectorType::get(Type::getInt16Ty(Context), 16);
396   case MVT::nxv32i16:
397     return ScalableVectorType::get(Type::getInt16Ty(Context), 32);
398   case MVT::nxv1i32:
399     return ScalableVectorType::get(Type::getInt32Ty(Context), 1);
400   case MVT::nxv2i32:
401     return ScalableVectorType::get(Type::getInt32Ty(Context), 2);
402   case MVT::nxv4i32:
403     return ScalableVectorType::get(Type::getInt32Ty(Context), 4);
404   case MVT::nxv8i32:
405     return ScalableVectorType::get(Type::getInt32Ty(Context), 8);
406   case MVT::nxv16i32:
407     return ScalableVectorType::get(Type::getInt32Ty(Context), 16);
408   case MVT::nxv32i32:
409     return ScalableVectorType::get(Type::getInt32Ty(Context), 32);
410   case MVT::nxv1i64:
411     return ScalableVectorType::get(Type::getInt64Ty(Context), 1);
412   case MVT::nxv2i64:
413     return ScalableVectorType::get(Type::getInt64Ty(Context), 2);
414   case MVT::nxv4i64:
415     return ScalableVectorType::get(Type::getInt64Ty(Context), 4);
416   case MVT::nxv8i64:
417     return ScalableVectorType::get(Type::getInt64Ty(Context), 8);
418   case MVT::nxv16i64:
419     return ScalableVectorType::get(Type::getInt64Ty(Context), 16);
420   case MVT::nxv32i64:
421     return ScalableVectorType::get(Type::getInt64Ty(Context), 32);
422   case MVT::nxv2f16:
423     return ScalableVectorType::get(Type::getHalfTy(Context), 2);
424   case MVT::nxv4f16:
425     return ScalableVectorType::get(Type::getHalfTy(Context), 4);
426   case MVT::nxv8f16:
427     return ScalableVectorType::get(Type::getHalfTy(Context), 8);
428   case MVT::nxv2bf16:
429     return ScalableVectorType::get(Type::getBFloatTy(Context), 2);
430   case MVT::nxv4bf16:
431     return ScalableVectorType::get(Type::getBFloatTy(Context), 4);
432   case MVT::nxv8bf16:
433     return ScalableVectorType::get(Type::getBFloatTy(Context), 8);
434   case MVT::nxv1f32:
435     return ScalableVectorType::get(Type::getFloatTy(Context), 1);
436   case MVT::nxv2f32:
437     return ScalableVectorType::get(Type::getFloatTy(Context), 2);
438   case MVT::nxv4f32:
439     return ScalableVectorType::get(Type::getFloatTy(Context), 4);
440   case MVT::nxv8f32:
441     return ScalableVectorType::get(Type::getFloatTy(Context), 8);
442   case MVT::nxv16f32:
443     return ScalableVectorType::get(Type::getFloatTy(Context), 16);
444   case MVT::nxv1f64:
445     return ScalableVectorType::get(Type::getDoubleTy(Context), 1);
446   case MVT::nxv2f64:
447     return ScalableVectorType::get(Type::getDoubleTy(Context), 2);
448   case MVT::nxv4f64:
449     return ScalableVectorType::get(Type::getDoubleTy(Context), 4);
450   case MVT::nxv8f64:
451     return ScalableVectorType::get(Type::getDoubleTy(Context), 8);
452   case MVT::Metadata: return Type::getMetadataTy(Context);
453   }
454 }
455 
456 /// Return the value type corresponding to the specified type.  This returns all
457 /// pointers as MVT::iPTR.  If HandleUnknown is true, unknown types are returned
458 /// as Other, otherwise they are invalid.
459 MVT MVT::getVT(Type *Ty, bool HandleUnknown){
460   switch (Ty->getTypeID()) {
461   default:
462     if (HandleUnknown) return MVT(MVT::Other);
463     llvm_unreachable("Unknown type!");
464   case Type::VoidTyID:
465     return MVT::isVoid;
466   case Type::IntegerTyID:
467     return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth());
468   case Type::HalfTyID:      return MVT(MVT::f16);
469   case Type::BFloatTyID:    return MVT(MVT::bf16);
470   case Type::FloatTyID:     return MVT(MVT::f32);
471   case Type::DoubleTyID:    return MVT(MVT::f64);
472   case Type::X86_FP80TyID:  return MVT(MVT::f80);
473   case Type::X86_MMXTyID:   return MVT(MVT::x86mmx);
474   case Type::FP128TyID:     return MVT(MVT::f128);
475   case Type::PPC_FP128TyID: return MVT(MVT::ppcf128);
476   case Type::PointerTyID:   return MVT(MVT::iPTR);
477   case Type::FixedVectorTyID:
478   case Type::ScalableVectorTyID: {
479     VectorType *VTy = cast<VectorType>(Ty);
480     return getVectorVT(
481       getVT(VTy->getElementType(), /*HandleUnknown=*/ false),
482             VTy->getElementCount());
483   }
484   }
485 }
486 
487 /// getEVT - Return the value type corresponding to the specified type.  This
488 /// returns all pointers as MVT::iPTR.  If HandleUnknown is true, unknown types
489 /// are returned as Other, otherwise they are invalid.
490 EVT EVT::getEVT(Type *Ty, bool HandleUnknown){
491   switch (Ty->getTypeID()) {
492   default:
493     return MVT::getVT(Ty, HandleUnknown);
494   case Type::IntegerTyID:
495     return getIntegerVT(Ty->getContext(), cast<IntegerType>(Ty)->getBitWidth());
496   case Type::FixedVectorTyID:
497   case Type::ScalableVectorTyID: {
498     VectorType *VTy = cast<VectorType>(Ty);
499     return getVectorVT(Ty->getContext(),
500                        getEVT(VTy->getElementType(), /*HandleUnknown=*/ false),
501                        VTy->getElementCount());
502   }
503   }
504 }
505