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