t/op/sprintf.t

   1 #!./perl
   2
   3 # Tests sprintf, excluding handling of 64-bit integers or long
   4 # doubles (if supported), of machine-specific short and long
   5 # integers, machine-specific floating point exceptions (infinity,
   6 # not-a-number ...), of the effects of locale, and of features
   7 # specific to multi-byte characters (under the utf8 pragma and such).
   8
   9 BEGIN {
  10     chdir 't' if -d 't';
  11     @INC = '../lib';
  12 }
  13 use warnings;
  14 # we do not load %Config since this test resides in op and needs
  15 # to run under the minitest target even without Config.pm working.
  16
  17 # strictness
  18 my @tests = ();
  19 my ($i, $template, $data, $result, $comment, $w, $x, $evalData, $n, $p);
  20
  21 while (<DATA>) {
  22     s/^\s*>//; s/<\s*$//;
  23     push @tests, [split(/<\s*>/, $_, 4)];
  24 }
  25
  26 print '1..', scalar @tests, "\n";
  27
  28 $SIG{__WARN__} = sub {
  29     if ($_[0] =~ /^Invalid conversion/) {
  30         $w = ' INVALID';
  31     } elsif ($_[0] =~ /^Use of uninitialized value/) {
  32         $w = ' UNINIT';
  33     } else {
  34         warn @_;
  35     }
  36 };
  37
  38 my $Is_VMS_VAX = 0;
  39 # We use HW_MODEL since ARCH_NAME was not in VMS V5.*
  40 if ($^O eq 'VMS') {
  41     my $hw_model;
  42     chomp($hw_model = `write sys\$output f\$getsyi("HW_MODEL")`);
  43     $Is_VMS_VAX = $hw_model < 1024 ? 1 : 0;
  44 }
  45
  46 for ($i = 1; @tests; $i++) {
  47     ($template, $data, $result, $comment) = @{shift @tests};
  48     if ($^O eq 'os390' || $^O eq 's390') { # non-IEEE (s390 is UTS)
  49         $data   =~ s/([eE])96$/${1}63/;      # smaller exponents
  50         $result =~ s/([eE]\+)102$/${1}69/;   #  "       "
  51         $data   =~ s/([eE])\-101$/${1}-56/;  # larger exponents
  52         $result =~ s/([eE])\-102$/${1}-57/;  #  "       "
  53     }
  54     if ($Is_VMS_VAX) { # VAX DEC C 5.3 at least since there is no
  55                        # ccflags =~ /float=ieee/ on VAX.
  56                        # AXP is unaffected whether or not it's using ieee.
  57         $data   =~ s/([eE])96$/${1}26/;      # smaller exponents
  58         $result =~ s/([eE]\+)102$/${1}32/;   #  "       "
  59         $data   =~ s/([eE])\-101$/${1}-24/;  # larger exponents
  60         $result =~ s/([eE])\-102$/${1}-25/;  #  "       "
  61     }
  62     $evalData = eval $data;
  63     $w = undef;
  64     $x = sprintf(">$template<",
  65                  defined @$evalData ? @$evalData : $evalData);
  66     substr($x, -1, 0) = $w if $w;
  67     # $x may have 3 exponent digits, not 2
  68     my $y = $x;
  69     if ($y =~ s/([Ee][-+])0(\d)/$1$2/) {
  70         # if result is left-adjusted, append extra space
  71         if ($template =~ /%\+?\-/ and $result =~ / $/) {
  72             $y =~ s/<$/ </;
  73         }
  74         # if result is zero-filled, add extra zero
  75         elsif ($template =~ /%\+?0/ and $result =~ /^0/) {
  76             $y =~ s/^>0/>00/;
  77         }
  78         # if result is right-adjusted, prepend extra space
  79         elsif ($result =~ /^ /) {
  80             $y =~ s/^>/> /;
  81         }
  82     }
  83
  84     if ($x eq ">$result<") {
  85         print "ok $i\n";
  86     }
  87     elsif ($y eq ">$result<")   # Some C libraries always give
  88     {                           # three-digit exponent
  89                 print("ok $i # >$result< $x three-digit exponent accepted\n");
  90     }
  91         elsif ($result =~ /[-+]\d{3}$/ &&
  92                    # Suppress tests with modulo of exponent >= 100 on platforms
  93                    # which can't handle such magnitudes (or where we can't tell).
  94                    ((!eval {require POSIX}) || # Costly: only do this if we must!
  95                         (length(&POSIX::DBL_MAX) - rindex(&POSIX::DBL_MAX, '+')) == 3))
  96         {
  97                 print("ok $i # >$template< >$data< >$result<",
  98                           " Suppressed: exponent out of range?\n")
  99         }
 100     else {
 101         $y = ($x eq $y ? "" : " => $y");
 102         print("not ok $i >$template< >$data< >$result< $x$y",
 103             $comment ? " # $comment\n" : "\n");
 104     }
 105 }
 106
 107 # In each of the the following lines, there are three required fields:
 108 # printf template, data to be formatted (as a Perl expression), and
 109 # expected result of formatting.  An optional fourth field can contain
 110 # a comment.  Each field is delimited by a starting '>' and a
 111 # finishing '<'; any whitespace outside these start and end marks is
 112 # not part of the field.  If formatting requires more than one data
 113 # item (for example, if variable field widths are used), the Perl data
 114 # expression should return a reference to an array having the requisite
 115 # number of elements.  Even so, subterfuge is sometimes required: see
 116 # tests for %n and %p.
 117 #
 118 # The following tests are not currently run, for the reasons stated:
 119
 120 =pod
 121
 122 =begin problematic
 123
 124 >%.0f<      >-0.1<        >-0<  >C library bug: no minus on VMS, HP-UX<
 125 >%.0f<      >1.5<         >2<   >Standard vague: no rounding rules<
 126 >%.0f<      >2.5<         >2<   >Standard vague: no rounding rules<
 127 >%G<        >1234567e96<  >1.23457E+102<        >exponent too big for OS/390<
 128 >%G<        >.1234567e-101< >1.23457E-102<      >exponent too small for OS/390<
 129 >%e<        >1234567E96<  >1.234567e+102<       >exponent too big for OS/390<
 130 >%e<        >.1234567E-101< >1.234567e-102<     >exponent too small for OS/390<
 131 >%g<        >.1234567E-101< >1.23457e-102<      >exponent too small for OS/390<
 132 >%g<        >1234567E96<  >1.23457e+102<        >exponent too big for OS/390<
 133
 134 =end problematic
 135
 136 =cut
 137
 138 # template    data          result
 139 __END__
 140 >%6. 6s<    >''<          >%6. 6s INVALID< >(See use of $w in code above)<
 141 >%6 .6s<    >''<          >%6 .6s INVALID<
 142 >%6.6 s<    >''<          >%6.6 s INVALID<
 143 >%A<        >''<          >%A INVALID<
 144 >%B<        >''<          >%B INVALID<
 145 >%C<        >''<          >%C INVALID<
 146 >%D<        >0x7fffffff<  >2147483647<     >Synonym for %ld<
 147 >%E<        >123456.789<  >1.234568E+05<   >Like %e, but using upper-case "E"<
 148 >%F<        >123456.789<  >123456.789000<  >Synonym for %f<
 149 >%G<        >1234567.89<  >1.23457E+06<    >Like %g, but using upper-case "E"<
 150 >%G<        >1234567e96<  >1.23457E+102<
 151 >%G<        >.1234567e-101< >1.23457E-102<
 152 >%G<        >12345.6789<  >12345.7<
 153 >%H<        >''<          >%H INVALID<
 154 >%I<        >''<          >%I INVALID<
 155 >%J<        >''<          >%J INVALID<
 156 >%K<        >''<          >%K INVALID<
 157 >%L<        >''<          >%L INVALID<
 158 >%M<        >''<          >%M INVALID<
 159 >%N<        >''<          >%N INVALID<
 160 >%O<        >2**32-1<     >37777777777<    >Synonym for %lo<
 161 >%P<        >''<          >%P INVALID<
 162 >%Q<        >''<          >%Q INVALID<
 163 >%R<        >''<          >%R INVALID<
 164 >%S<        >''<          >%S INVALID<
 165 >%T<        >''<          >%T INVALID<
 166 >%U<        >2**32-1<     >4294967295<     >Synonym for %lu<
 167 >%V<        >''<          >%V INVALID<
 168 >%W<        >''<          >%W INVALID<
 169 >%X<        >2**32-1<     >FFFFFFFF<       >Like %x, but with u/c letters<
 170 >%#X<       >2**32-1<     >0XFFFFFFFF<
 171 >%Y<        >''<          >%Y INVALID<
 172 >%Z<        >''<          >%Z INVALID<
 173 >%a<        >''<          >%a INVALID<
 174 >%b<        >2**32-1<     >11111111111111111111111111111111<
 175 >%+b<       >2**32-1<     >11111111111111111111111111111111<
 176 >%#b<       >2**32-1<     >0b11111111111111111111111111111111<
 177 >%34b<      >2**32-1<     >  11111111111111111111111111111111<
 178 >%034b<     >2**32-1<     >0011111111111111111111111111111111<
 179 >%-34b<     >2**32-1<     >11111111111111111111111111111111  <
 180 >%-034b<    >2**32-1<     >11111111111111111111111111111111  <
 181 >%c<        >ord('A')<    >A<
 182 >%10c<      >ord('A')<    >         A<
 183 >%#10c<     >ord('A')<    >         A<     ># modifier: no effect<
 184 >%010c<     >ord('A')<    >000000000A<
 185 >%10lc<     >ord('A')<    >         A<     >l modifier: no effect<
 186 >%10hc<     >ord('A')<    >         A<     >h modifier: no effect<
 187 >%10.5c<    >ord('A')<    >         A<     >precision: no effect<
 188 >%-10c<     >ord('A')<    >A         <
 189 >%d<        >123456.789<  >123456<
 190 >%d<        >-123456.789< >-123456<
 191 >%d<        >0<           >0<
 192 >%+d<       >0<           >+0<
 193 >%0d<       >0<           >0<
 194 >%.0d<      >0<           ><
 195 >%+.0d<     >0<           >+<
 196 >%.0d<      >1<           >1<
 197 >%d<        >1<           >1<
 198 >%+d<       >1<           >+1<
 199 >%#3.2d<    >1<           > 01<            ># modifier: no effect<
 200 >%3.2d<     >1<           > 01<
 201 >%03.2d<    >1<           >001<
 202 >%-3.2d<    >1<           >01 <
 203 >%-03.2d<   >1<           >01 <            >zero pad + left just.: no effect<
 204 >%d<        >-1<          >-1<
 205 >%+d<       >-1<          >-1<
 206 >%hd<       >1<           >1<              >More extensive testing of<
 207 >%ld<       >1<           >1<              >length modifiers would be<
 208 >%Vd<       >1<           >1<              >platform-specific<
 209 >%vd<       >chr(1)<      >1<
 210 >%+vd<      >chr(1)<      >+1<
 211 >%#vd<      >chr(1)<      >1<
 212 >%vd<       >"\01\02\03"< >1.2.3<
 213 >%v.3d<     >"\01\02\03"< >001.002.003<
 214 >%0v3d<     >"\01\02\03"< >001.002.003<
 215 >%-v3d<     >"\01\02\03"< >1  .2  .3  <
 216 >%+-v3d<    >"\01\02\03"< >+1 .2  .3  <
 217 >%v4.3d<    >"\01\02\03"< > 001. 002. 003<
 218 >%0v4.3d<   >"\01\02\03"< >0001.0002.0003<
 219 >%0*v2d<    >['-', "\0\7\14"]< >00-07-12<
 220 >%v.*d<     >["\01\02\03", 3]< >001.002.003<
 221 >%0v*d<     >["\01\02\03", 3]< >001.002.003<
 222 >%-v*d<     >["\01\02\03", 3]< >1  .2  .3  <
 223 >%+-v*d<    >["\01\02\03", 3]< >+1 .2  .3  <
 224 >%v*.*d<    >["\01\02\03", 4, 3]< > 001. 002. 003<
 225 >%0v*.*d<   >["\01\02\03", 4, 3]< >0001.0002.0003<
 226 >%0*v*d<    >['-', "\0\7\13", 2]< >00-07-11<
 227 >%e<        >1234.875<    >1.234875e+03<
 228 >%e<        >0.000012345< >1.234500e-05<
 229 >%e<        >1234567E96<  >1.234567e+102<
 230 >%e<        >0<           >0.000000e+00<
 231 >%e<        >.1234567E-101< >1.234567e-102<
 232 >%+e<       >1234.875<    >+1.234875e+03<
 233 >%#e<       >1234.875<    >1.234875e+03<
 234 >%e<        >-1234.875<   >-1.234875e+03<
 235 >%+e<       >-1234.875<   >-1.234875e+03<
 236 >%#e<       >-1234.875<   >-1.234875e+03<
 237 >%.0e<      >1234.875<    >1e+03<
 238 >%#.0e<     >1234.875<    >1.e+03<
 239 >%.0e<      >1.875<       >2e+00<
 240 >%.0e<      >0.875<       >9e-01<
 241 >%.*e<      >[0, 1234.875]< >1e+03<
 242 >%.1e<      >1234.875<    >1.2e+03<
 243 >%-12.4e<   >1234.875<    >1.2349e+03  <
 244 >%12.4e<    >1234.875<    >  1.2349e+03<
 245 >%+-12.4e<  >1234.875<    >+1.2349e+03 <
 246 >%+12.4e<   >1234.875<    > +1.2349e+03<
 247 >%+-12.4e<  >-1234.875<   >-1.2349e+03 <
 248 >%+12.4e<   >-1234.875<   > -1.2349e+03<
 249 >%f<        >1234.875<    >1234.875000<
 250 >%+f<       >1234.875<    >+1234.875000<
 251 >%#f<       >1234.875<    >1234.875000<
 252 >%f<        >-1234.875<   >-1234.875000<
 253 >%+f<       >-1234.875<   >-1234.875000<
 254 >%#f<       >-1234.875<   >-1234.875000<
 255 >%6f<       >1234.875<    >1234.875000<
 256 >%*f<       >[6, 1234.875]< >1234.875000<
 257 >%.0f<      >1234.875<    >1235<
 258 >%.1f<      >1234.875<    >1234.9<
 259 >%-8.1f<    >1234.875<    >1234.9  <
 260 >%8.1f<     >1234.875<    >  1234.9<
 261 >%+-8.1f<   >1234.875<    >+1234.9 <
 262 >%+8.1f<    >1234.875<    > +1234.9<
 263 >%+-8.1f<   >-1234.875<   >-1234.9 <
 264 >%+8.1f<    >-1234.875<   > -1234.9<
 265 >%*.*f<     >[5, 2, 12.3456]< >12.35<
 266 >%f<        >0<           >0.000000<
 267 >%.0f<      >0<           >0<
 268 >%.0f<      >2**38<       >274877906944<   >Should have exact int'l rep'n<
 269 >%.0f<      >0.1<         >0<
 270 >%.0f<      >0.6<         >1<              >Known to fail with sfio, (irix|nonstop-ux|powerux); -DHAS_LDBL_SPRINTF_BUG may fix<
 271 >%.0f<      >-0.6<        >-1<             >Known to fail with sfio, (irix|nonstop-ux|powerux); -DHAS_LDBL_SPRINTF_BUG may fix<
 272 >%.0f<      >1.6<         >2<
 273 >%.0f<      >-1.6<        >-2<
 274 >%.0f<      >1<           >1<
 275 >%#.0f<     >1<           >1.<
 276 >%.0lf<     >1<           >1<              >'l' should have no effect<
 277 >%.0hf<     >1<           >%.0hf INVALID<  >'h' should be rejected<
 278 >%g<        >12345.6789<  >12345.7<
 279 >%+g<       >12345.6789<  >+12345.7<
 280 >%#g<       >12345.6789<  >12345.7<
 281 >%.0g<      >12345.6789<  >1e+04<
 282 >%#.0g<     >12345.6789<  >1.e+04<
 283 >%.2g<      >12345.6789<  >1.2e+04<
 284 >%.*g<      >[2, 12345.6789]< >1.2e+04<
 285 >%.9g<      >12345.6789<  >12345.6789<
 286 >%12.9g<    >12345.6789<  >  12345.6789<
 287 >%012.9g<   >12345.6789<  >0012345.6789<
 288 >%-12.9g<   >12345.6789<  >12345.6789  <
 289 >%*.*g<     >[-12, 9, 12345.6789]< >12345.6789  <
 290 >%-012.9g<  >12345.6789<  >12345.6789  <
 291 >%g<        >-12345.6789< >-12345.7<
 292 >%+g<       >-12345.6789< >-12345.7<
 293 >%g<        >1234567.89<  >1.23457e+06<
 294 >%+g<       >1234567.89<  >+1.23457e+06<
 295 >%#g<       >1234567.89<  >1.23457e+06<
 296 >%g<        >-1234567.89< >-1.23457e+06<
 297 >%+g<       >-1234567.89< >-1.23457e+06<
 298 >%#g<       >-1234567.89< >-1.23457e+06<
 299 >%g<        >0.00012345<  >0.00012345<
 300 >%g<        >0.000012345< >1.2345e-05<
 301 >%g<        >1234567E96<  >1.23457e+102<
 302 >%g<        >.1234567E-101< >1.23457e-102<
 303 >%g<        >0<           >0<
 304 >%13g<      >1234567.89<  >  1.23457e+06<
 305 >%+13g<     >1234567.89<  > +1.23457e+06<
 306 >%013g<      >1234567.89< >001.23457e+06<
 307 >%-13g<      >1234567.89< >1.23457e+06  <
 308 >%h<        >''<          >%h INVALID<
 309 >%i<        >123456.789<  >123456<         >Synonym for %d<
 310 >%j<        >''<          >%j INVALID<
 311 >%k<        >''<          >%k INVALID<
 312 >%l<        >''<          >%l INVALID<
 313 >%m<        >''<          >%m INVALID<
 314 >%s< >sprintf('%%n%n %d', $n, $n)< >%n 2< >Slight sneakiness to test %n<
 315 >%o<        >2**32-1<     >37777777777<
 316 >%+o<       >2**32-1<     >37777777777<
 317 >%#o<       >2**32-1<     >037777777777<
 318 >%o<        >642<         >1202<          >check smaller octals across platforms<
 319 >%+o<       >642<         >1202<
 320 >%#o<       >642<         >01202<
 321 >%d< >$p=sprintf('%p',$p);$p=~/^[0-9a-f]+$/< >1< >Coarse hack: hex from %p?<
 322 >%#p<       >''<          >%#p INVALID<
 323 >%q<        >''<          >%q INVALID<
 324 >%r<        >''<          >%r INVALID<
 325 >%s<        >'string'<    >string<
 326 >%10s<      >'string'<    >    string<
 327 >%+10s<     >'string'<    >    string<
 328 >%#10s<     >'string'<    >    string<
 329 >%010s<     >'string'<    >0000string<
 330 >%0*s<      >[10, 'string']< >0000string<
 331 >%-10s<     >'string'<    >string    <
 332 >%3s<       >'string'<    >string<
 333 >%.3s<      >'string'<    >str<
 334 >%.*s<      >[3, 'string']< >str<
 335 >%t<        >''<          >%t INVALID<
 336 >%u<        >2**32-1<     >4294967295<
 337 >%+u<       >2**32-1<     >4294967295<
 338 >%#u<       >2**32-1<     >4294967295<
 339 >%12u<      >2**32-1<     >  4294967295<
 340 >%012u<     >2**32-1<     >004294967295<
 341 >%-12u<     >2**32-1<     >4294967295  <
 342 >%-012u<    >2**32-1<     >4294967295  <
 343 >%v<        >''<          >%v INVALID<
 344 >%w<        >''<          >%w INVALID<
 345 >%x<        >2**32-1<     >ffffffff<
 346 >%+x<       >2**32-1<     >ffffffff<
 347 >%#x<       >2**32-1<     >0xffffffff<
 348 >%10x<      >2**32-1<     >  ffffffff<
 349 >%010x<     >2**32-1<     >00ffffffff<
 350 >%-10x<     >2**32-1<     >ffffffff  <
 351 >%-010x<    >2**32-1<     >ffffffff  <
 352 >%0-10x<    >2**32-1<     >ffffffff  <
 353 >%0*x<      >[-10, ,2**32-1]< >ffffffff  <
 354 >%y<        >''<          >%y INVALID<
 355 >%z<        >''<          >%z INVALID<
 356 >%2$d %1$d<     >[12, 34]<      >34 12<
 357 >%*2$d<         >[12, 3]<       > 12<
 358 >%2$d %d<       >[12, 34]<      >34 12<
 359 >%2$d %d %d<    >[12, 34]<      >34 12 34<
 360 >%3$d %d %d<    >[12, 34, 56]<  >56 12 34<
 361 >%2$*3$d %d<    >[12, 34, 3]<   > 34 12<
 362 >%*3$2$d %d<    >[12, 34, 3]<   >%*3$2$d 34 INVALID<
 363 >%2$d<          >12<    >0 UNINIT<
 364 >%0$d<          >12<    >%0$d INVALID<
 365 >%1$$d<         >12<    >%1$$d INVALID<
 366 >%1$1$d<        >12<    >%1$1$d INVALID<
 367 >%*2$*2$d<      >[12, 3]<       >%*2$*2$d INVALID<
 368 >%*2*2$d<       >[12, 3]<       >%*2*2$d INVALID<
 369 >%0v2.2d<       >''<    ><
 370 >%vc,%d<        >[63, 64, 65]<  >?,64<
 371 >%vd,%d<        >[1, 2, 3]<     >49,2<
 372 >%vf,%d<        >[1, 2, 3]<     >1.000000,2<
 373 >%vp<   >''<    >%vp INVALID<
 374 >%vs,%d<        >[1, 2, 3]<     >1,2<
 375 >%v_<   >''<    >%v_ INVALID<
 376 >%v#x<  >''<    >%v#x INVALID<
 377 >%v02x< >"foo\n"<       >66.6f.6f.0a<