| ; RUN: not opt -S -verify < %s 2>&1 | FileCheck %s | |
| define void @store({ i32, <vscale x 1 x i32> }* %x, i32 %y, <vscale x 1 x i32> %z) { | |
| ; CHECK: error: storing unsized types is not allowed | |
| %a = insertvalue { i32, <vscale x 1 x i32> } undef, i32 %y, 0 | |
| %b = insertvalue { i32, <vscale x 1 x i32> } %a, <vscale x 1 x i32> %z, 1 | |
| store { i32, <vscale x 1 x i32> } %b, { i32, <vscale x 1 x i32> }* %x | |
| ret void | |
| } |