Print this page
11972 resync smatch
   1 typedef unsigned int uint;
   2 typedef unsigned long ulong;
   3 
   4 double f1(void) { return -1; }
   5 double f2(void) { return (double)-1; }
   6 double f3(void) { return -1.0; }
   7 
   8 /*
   9  * check-name: cast-constant-to-float
  10  * check-command: test-linearize -Wno-decl $file
  11  *
  12  * check-output-start
  13 f1:
  14 .L0:
  15         <entry-point>
  16         set.64      %r1 <- -1.000000
  17         ret.64      %r1
  18 
  19 
  20 f2:
  21 .L2:
  22         <entry-point>
  23         set.64      %r3 <- -1.000000
  24         ret.64      %r3
  25 
  26 
  27 f3:
  28 .L4:
  29         <entry-point>
  30         set.64      %r5 <- -1.000000
  31         ret.64      %r5
  32 
  33 
  34  * check-output-end
  35  */
   1 typedef unsigned int uint;
   2 typedef unsigned long ulong;
   3 
   4 double f1(void) { return -1; }
   5 double f2(void) { return (double)-1; }
   6 double f3(void) { return -1.0; }
   7 
   8 /*
   9  * check-name: cast-constant-to-float
  10  * check-command: test-linearize -Wno-decl $file
  11  *
  12  * check-output-start
  13 f1:
  14 .L0:
  15         <entry-point>
  16         setfval.64  %r1 <- -1.000000e+00
  17         ret.64      %r1
  18 
  19 
  20 f2:
  21 .L2:
  22         <entry-point>
  23         setfval.64  %r3 <- -1.000000e+00
  24         ret.64      %r3
  25 
  26 
  27 f3:
  28 .L4:
  29         <entry-point>
  30         setfval.64  %r5 <- -1.000000e+00
  31         ret.64      %r5
  32 
  33 
  34  * check-output-end
  35  */