11972 resync smatch

@@ -11,25 +11,25 @@
  *
  * check-output-start
 f1:
 .L0:
         <entry-point>
-        set.64      %r1 <- -1.000000
+        setfval.64  %r1 <- -1.000000e+00
         ret.64      %r1
 
 
 f2:
 .L2:
         <entry-point>
-        set.64      %r3 <- -1.000000
+        setfval.64  %r3 <- -1.000000e+00
         ret.64      %r3
 
 
 f3:
 .L4:
         <entry-point>
-        set.64      %r5 <- -1.000000
+        setfval.64  %r5 <- -1.000000e+00
         ret.64      %r5
 
 
  * check-output-end
  */