; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s

define <4 x i16*> @PR41270([4 x i16]* %x) {
; CHECK-LABEL: @PR41270(
; CHECK-NEXT:    [[T3:%.*]] = getelementptr inbounds [4 x i16], [4 x i16]* [[X:%.*]], i64 0, i64 3
; CHECK-NEXT:    [[INS2:%.*]] = insertelement <4 x i16*> poison, i16* [[T3]], i32 0
; CHECK-NEXT:    ret <4 x i16*> [[INS2]]
;
  %ins = insertelement <4 x [4 x i16]*> poison, [4 x i16]* %x, i32 0
  %splat = shufflevector <4 x [4 x i16]*> %ins, <4 x [4 x i16]*> poison, <4 x i32> zeroinitializer
  %t2 = getelementptr inbounds [4 x i16], <4 x [4 x i16]*> %splat, i32 0, i32 3
  %t3 = extractelement <4 x i16*> %t2, i32 3
  %ins2 = insertelement <4 x i16*> poison, i16* %t3, i32 0
  ret <4 x i16*> %ins2
}