RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 10:42:39 +01:00
Code Issues Projects Releases Wiki Activity

[SVE] Reject vector struct indexes for scalable vectors.

Browse Source 
It's messy to pattern-match, and completely unnecessary: scalar indexes
work equally well.

See also discussion on D81620 and D82061.

Differential Revision: https://reviews.llvm.org/D82430
This commit is contained in:
Eli Friedman 2020-06-23 20:01:07 -07:00
parent ccb803369c
commit 24a885401b
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/IR/Type.cpp
View File

@ -548,6 +548,8 @@ bool StructType::indexValid(const Value *V) const {
// vector case all of the indices must be equal.
if (!V->getType()->isIntOrIntVectorTy(32))
return false;
if (isa<ScalableVectorType>(V->getType()))
return false;
const Constant *C = dyn_cast<Constant>(V);
if (C && V->getType()->isVectorTy())
C = C->getSplatValue();

10
test/Assembler/getelementptr_vscale_struct.ll Normal file
View File

@ -0,0 +1,10 @@
; RUN: not llvm-as < %s >/dev/null 2> %t
; RUN: FileCheck %s < %t
; Test that a scalable vector struct index is rejected.
; CHECK: invalid getelementptr indices
define <vscale x 2 x i32*> @test7(<vscale x 2 x {i32, i32}*> %a) {
%w = getelementptr {i32, i32}, <vscale x 2 x {i32, i32}*> %a, <vscale x 2 x i32> zeroinitializer, <vscale x 2 x i32> zeroinitializer
ret <vscale x 2 x i32*> %w
}