1; RUN: opt < %s -instcombine -S -o - | FileCheck %s
2
3; CHECK-LABEL: @a(
4define i32 @a(<4 x i64> %I) {
5entry:
6; CHECK-NOT: trunc <4 x i64>
7        %J = trunc <4 x i64> %I to <4 x i32>
8        %K = extractelement <4 x i32> %J, i32 3
9; CHECK: extractelement <4 x i64>
10; CHECK: trunc i64
11; CHECK: ret
12        ret i32 %K
13}
14
15
16; CHECK-LABEL: @b(
17define i32 @b(<4 x float> %I) {
18entry:
19; CHECK-NOT: fptosi <4 x float>
20        %J = fptosi <4 x float> %I to <4 x i32>
21        %K = extractelement <4 x i32> %J, i32 3
22; CHECK: extractelement <4 x float>
23; CHECK: fptosi float
24; CHECK: ret
25        ret i32 %K
26}
27
28