; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | grep 0x7FF0000000000000
define float @test() {
- %tmp = mul float 0x7FF0000000000000, 1.000000e+01 ; <float> [#uses=1]
+ %tmp = fmul float 0x7FF0000000000000, 1.000000e+01 ; <float> [#uses=1]
ret float %tmp
}