  %double0 = fadd double 0.000000e+00, 0.000000e+00  ; <double> [#uses=0]  %double0 = fadd double 0.000000e+00, 0.000000e+00  ; <double> [#uses=0]  %float0 = fadd float 0.000000e+00, 0.000000e+00  ; <float> [#uses=0]  %float0 = fadd float 0.000000e+00, 0.000000e+00  ; <float> [#uses=0]  %