1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4define void @test(<4 x i32> %v, ptr %r1, ptr %r2) { 5; CHECK-LABEL: @test( 6; CHECK-NEXT: [[TMP1:%.*]] = extractelement <4 x i32> [[V:%.*]], i64 0 7; CHECK-NEXT: [[TMP2:%.*]] = zext i32 [[TMP1]] to i64 8; CHECK-NEXT: store i64 [[TMP2]], ptr [[R1:%.*]], align 4 9; CHECK-NEXT: store i64 [[TMP2]], ptr [[R2:%.*]], align 4 10; CHECK-NEXT: ret void 11; 12 %1 = zext <4 x i32> %v to <4 x i64> 13 %2 = extractelement <4 x i64> %1, i32 0 14 store i64 %2, ptr %r1 15 store i64 %2, ptr %r2 16 ret void 17} 18 19