1; RUN: opt -S -instsimplify < %s | FileCheck %s
2
3define <4 x i32> @test1(<4 x i32> %A) {
4  %I = insertelement <4 x i32> %A, i32 5, i64 4294967296
5  ; CHECK: ret <4 x i32> undef
6  ret <4 x i32> %I
7}
8
9define <4 x i32> @test2(<4 x i32> %A) {
10  %I = insertelement <4 x i32> %A, i32 5, i64 4
11  ; CHECK: ret <4 x i32> undef
12  ret <4 x i32> %I
13}
14
15define <4 x i32> @test3(<4 x i32> %A) {
16  %I = insertelement <4 x i32> %A, i32 5, i64 1
17  ; CHECK: ret <4 x i32> %I
18  ret <4 x i32> %I
19}
20
21define <4 x i32> @test4(<4 x i32> %A) {
22  %I = insertelement <4 x i32> %A, i32 5, i128 100
23  ; CHECK: ret <4 x i32> undef
24  ret <4 x i32> %I
25}
26
27define <4 x i32> @test5(<4 x i32> %A) {
28  %I = insertelement <4 x i32> %A, i32 5, i64 undef
29  ; CHECK: ret <4 x i32> undef
30  ret <4 x i32> %I
31}
32