1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define void @test(<4 x i32> %v, i64 *%r1, i64 *%r2) {
4;CHECK: %1 = extractelement <4 x i32> %v, i32 0
5;CHECK: %2 = zext i32 %1 to i64
6        %1 = zext <4 x i32> %v to <4 x i64>
7        %2 = extractelement <4 x i64> %1, i32 0
8        store i64 %2, i64 *%r1
9        store i64 %2, i64 *%r2
10        ret void
11}
12
13