| ; RUN: opt < %s -instcombine -S | grep {fadd float} | |
| define float @test(<4 x float> %A, <4 x float> %B, float %f) { | |
| %C = insertelement <4 x float> %A, float %f, i32 0 ; <%V> [#uses=1] | |
| %D = fadd <4 x float> %C, %B ; <%V> [#uses=1] | |
| %E = extractelement <4 x float> %D, i32 0 ; <float> [#uses=1] | |
| ret float %E | |
| } | |