1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2
3; CHECK: insertvalue operand and field disagree in type: 'i32' instead of 'i64'
4
5define <{ i32 }> @test() {
6  ret <{ i32 }> insertvalue (<{ i64 }> zeroinitializer, i32 4, 0)
7}
8