1 /* Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
2 Contributed by Andy Vaught
4 This file is part of the GNU Fortran 95 runtime library (libgfortran).
6 Libgfortran is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 In addition to the permissions in the GNU General Public License, the
12 Free Software Foundation gives you unlimited permission to link the
13 compiled version of this file into combinations with other programs,
14 and to distribute those combinations without any restriction coming
15 from the use of this file. (The General Public License restrictions
16 do apply in other respects; for example, they cover modification of
17 the file, and distribution when not linked into a combine
20 Libgfortran is distributed in the hope that it will be useful,
21 but WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
23 GNU General Public License for more details.
25 You should have received a copy of the GNU General Public License
26 along with Libgfortran; see the file COPYING. If not, write to
27 the Free Software Foundation, 59 Temple Place - Suite 330,
28 Boston, MA 02111-1307, USA. */
35 #include "libgfortran.h"
39 #define star_fill(p, n) memset(p, '*', n)
43 { SIGN_NONE
, SIGN_MINUS
, SIGN_PLUS
}
48 write_a (fnode
* f
, const char *source
, int len
)
53 wlen
= f
->u
.string
.length
< 0 ? len
: f
->u
.string
.length
;
55 p
= write_block (wlen
);
60 memcpy (p
, source
, wlen
);
63 memset (p
, ' ', wlen
- len
);
64 memcpy (p
+ wlen
- len
, source
, len
);
69 extract_int (const void *p
, int len
)
79 i
= *((const int8_t *) p
);
82 i
= *((const int16_t *) p
);
85 i
= *((const int32_t *) p
);
88 i
= *((const int64_t *) p
);
91 internal_error ("bad integer kind");
98 extract_real (const void *p
, int len
)
104 i
= *((const float *) p
);
107 i
= *((const double *) p
);
110 internal_error ("bad real kind");
117 /* Given a flag that indicate if a value is negative or not, return a
118 sign_t that gives the sign that we need to produce. */
121 calculate_sign (int negative_flag
)
123 sign_t s
= SIGN_NONE
;
128 switch (g
.sign_status
)
137 s
= options
.optional_plus
? SIGN_PLUS
: SIGN_NONE
;
145 /* Returns the value of 10**d. */
148 calculate_exp (int d
)
153 for (i
= 0; i
< (d
>= 0 ? d
: -d
); i
++)
156 r
= (d
>= 0) ? r
: 1.0 / r
;
162 /* Generate corresponding I/O format for FMT_G output.
163 The rules to translate FMT_G to FMT_E or FMT_F from DEC fortran
164 LRM (table 11-2, Chapter 11, "I/O Formatting", P11-25) is:
166 Data Magnitude Equivalent Conversion
167 0< m < 0.1-0.5*10**(-d-1) Ew.d[Ee]
168 m = 0 F(w-n).(d-1), n' '
169 0.1-0.5*10**(-d-1)<= m < 1-0.5*10**(-d) F(w-n).d, n' '
170 1-0.5*10**(-d)<= m < 10-0.5*10**(-d+1) F(w-n).(d-1), n' '
171 10-0.5*10**(-d+1)<= m < 100-0.5*10**(-d+2) F(w-n).(d-2), n' '
172 ................ ..........
173 10**(d-1)-0.5*10**(-1)<= m <10**d-0.5 F(w-n).0,n(' ')
174 m >= 10**d-0.5 Ew.d[Ee]
176 notes: for Gw.d , n' ' means 4 blanks
177 for Gw.dEe, n' ' means e+2 blanks */
180 calculate_G_format (fnode
*f
, double value
, int len
, int *num_blank
)
190 newf
= get_mem (sizeof (fnode
));
192 /* Absolute value. */
193 m
= (value
> 0.0) ? value
: -value
;
195 /* In case of the two data magnitude ranges,
196 generate E editing, Ew.d[Ee]. */
197 exp_d
= calculate_exp (d
);
198 if ((m
> 0.0 && m
< 0.1 - 0.05 / (double) exp_d
)
199 || (m
>= (double) exp_d
- 0.5 ))
201 newf
->format
= FMT_E
;
209 /* Use binary search to find the data magnitude range. */
219 mid
= (low
+ high
) / 2;
221 /* 0.1 * 10**mid - 0.5 * 10**(mid-d-1) */
222 temp
= 0.1 * calculate_exp (mid
) - 0.5 * calculate_exp (mid
- d
- 1);
227 if (ubound
== lbound
+ 1)
234 if (ubound
== lbound
+ 1)
245 /* Pad with blanks where the exponent would be. */
251 /* Generate the F editing. F(w-n).(-(mid-d-1)), n' '. */
252 newf
->format
= FMT_F
;
253 newf
->u
.real
.w
= f
->u
.real
.w
- *num_blank
;
257 newf
->u
.real
.d
= d
- 1;
259 newf
->u
.real
.d
= - (mid
- d
- 1);
261 /* For F editing, the scale factor is ignored. */
267 /* Output a real number according to its format which is FMT_G free. */
270 output_float (fnode
*f
, double value
, int len
)
272 /* This must be large enough to accurately hold any value. */
283 /* Number of digits before the decimal point. */
285 /* Number of zeros after the decimal point. */
287 /* Number of digits after the decimal point. */
298 /* We should always know the field width and precision. */
300 internal_error ("Unspecified precision");
302 /* Use sprintf to print the number in the format +D.DDDDe+ddd
303 For an N digit exponent, this gives us (32-6)-N digits after the
304 decimal point, plus another one before the decimal point. */
305 sign
= calculate_sign (value
< 0.0);
309 /* Printf always prints at least two exponent digits. */
314 edigits
= 1 + (int) log10 (fabs(log10 (value
)));
319 if (ft
== FMT_F
|| ft
== FMT_EN
320 || ((ft
== FMT_D
|| ft
== FMT_E
) && g
.scale_factor
!= 0))
322 /* Always convert at full precision to avoid double rounding. */
323 ndigits
= 27 - edigits
;
327 /* We know the number of digits, so can let printf do the rounding
333 if (ndigits
> 27 - edigits
)
334 ndigits
= 27 - edigits
;
337 sprintf (buffer
, "%+-#31.*e", ndigits
- 1, value
);
339 /* Check the resulting string has punctuation in the correct places. */
340 if (buffer
[2] != '.' || buffer
[ndigits
+ 2] != 'e')
341 internal_error ("printf is broken");
343 /* Read the exponent back in. */
344 e
= atoi (&buffer
[ndigits
+ 3]) + 1;
346 /* Make sure zero comes out as 0.0e0. */
350 /* Normalize the fractional component. */
351 buffer
[2] = buffer
[1];
354 /* Figure out where to place the decimal point. */
358 nbefore
= e
+ g
.scale_factor
;
390 nafter
= (d
- i
) + 1;
406 /* The exponent must be a multiple of three, with 1-3 digits before
407 the decimal point. */
415 nbefore
= 3 - nbefore
;
433 /* Should never happen. */
434 internal_error ("Unexpected format token");
437 /* Round the value. */
438 if (nbefore
+ nafter
== 0)
440 else if (nbefore
+ nafter
< ndigits
)
442 ndigits
= nbefore
+ nafter
;
444 if (digits
[i
] >= '5')
446 /* Propagate the carry. */
447 for (i
--; i
>= 0; i
--)
449 if (digits
[i
] != '9')
459 /* The carry overflowed. Fortunately we have some spare space
460 at the start of the buffer. We may discard some digits, but
461 this is ok because we already know they are zero. */
474 else if (ft
== FMT_EN
)
489 /* Calculate the format of the exponent field. */
493 for (i
= abs (e
); i
>= 10; i
/= 10)
498 /* Width not specified. Must be no more than 3 digits. */
499 if (e
> 999 || e
< -999)
504 if (e
> 99 || e
< -99)
510 /* Exponent width specified, check it is wide enough. */
511 if (edigits
> f
->u
.real
.e
)
514 edigits
= f
->u
.real
.e
+ 2;
520 /* Pick a field size if none was specified. */
522 w
= nbefore
+ nzero
+ nafter
+ 2;
524 /* Create the ouput buffer. */
525 out
= write_block (w
);
529 /* Zero values always output as positive, even if the value was negative
531 for (i
= 0; i
< ndigits
; i
++)
533 if (digits
[i
] != '0')
537 sign
= calculate_sign (0);
539 /* Work out how much padding is needed. */
540 nblanks
= w
- (nbefore
+ nzero
+ nafter
+ edigits
+ 1);
541 if (sign
!= SIGN_NONE
)
544 /* Check the value fits in the specified field width. */
545 if (nblanks
< 0 || edigits
== -1)
551 /* See if we have space for a zero before the decimal point. */
552 if (nbefore
== 0 && nblanks
> 0)
560 /* Padd to full field width. */
563 memset (out
, ' ', nblanks
);
567 /* Output the initial sign (if any). */
568 if (sign
== SIGN_PLUS
)
570 else if (sign
== SIGN_MINUS
)
573 /* Output an optional leading zero. */
577 /* Output the part before the decimal point, padding with zeros. */
580 if (nbefore
> ndigits
)
585 memcpy (out
, digits
, i
);
593 /* Output the decimal point. */
596 /* Output leading zeros after the decimal point. */
599 for (i
= 0; i
< nzero
; i
++)
603 /* Output digits after the decimal point, padding with zeros. */
606 if (nafter
> ndigits
)
611 memcpy (out
, digits
, i
);
620 /* Output the exponent. */
629 snprintf (buffer
, 32, "%+0*d", edigits
, e
);
631 sprintf (buffer
, "%+0*d", edigits
, e
);
633 memcpy (out
, buffer
, edigits
);
639 write_l (fnode
* f
, char *source
, int len
)
644 p
= write_block (f
->u
.w
);
648 memset (p
, ' ', f
->u
.w
- 1);
649 n
= extract_int (source
, len
);
650 p
[f
->u
.w
- 1] = (n
) ? 'T' : 'F';
653 /* Output a real number according to its format. */
656 write_float (fnode
*f
, const char *source
, int len
)
663 n
= extract_real (source
, len
);
665 if (f
->format
!= FMT_B
&& f
->format
!= FMT_O
&& f
->format
!= FMT_Z
)
671 p
= write_block (nb
);
688 memcpy(p
+ nb
- 8, "Infinity", 8);
690 memcpy(p
+ nb
- 3, "Inf", 3);
691 if (nb
< 8 && nb
> 3)
697 memcpy(p
+ nb
- 3, "NaN", 3);
702 if (f
->format
!= FMT_G
)
704 output_float (f
, n
, len
);
708 f2
= calculate_G_format(f
, n
, len
, &nb
);
709 output_float (f2
, n
, len
);
715 p
= write_block (nb
);
723 write_int (fnode
*f
, const char *source
, int len
, char *(*conv
) (uint64_t))
727 int w
, m
, digits
, nzero
, nblank
;
733 n
= extract_int (source
, len
);
737 if (m
== 0 && n
== 0)
761 /* Select a width if none was specified. The idea here is to always
765 w
= ((digits
< m
) ? m
: digits
);
775 /* See if things will work. */
777 nblank
= w
- (nzero
+ digits
);
785 memset (p
, ' ', nblank
);
788 memset (p
, '0', nzero
);
791 memcpy (p
, q
, digits
);
798 write_decimal (fnode
*f
, const char *source
, int len
, char *(*conv
) (int64_t))
801 int w
, m
, digits
, nsign
, nzero
, nblank
;
808 n
= extract_int (source
, len
);
812 if (m
== 0 && n
== 0)
825 sign
= calculate_sign (n
< 0);
829 nsign
= sign
== SIGN_NONE
? 0 : 1;
834 /* Select a width if none was specified. The idea here is to always
838 w
= ((digits
< m
) ? m
: digits
) + nsign
;
848 /* See if things will work. */
850 nblank
= w
- (nsign
+ nzero
+ digits
);
858 memset (p
, ' ', nblank
);
873 memset (p
, '0', nzero
);
876 memcpy (p
, q
, digits
);
883 /* Convert unsigned octal to ascii. */
897 p
= scratch
+ sizeof (SCRATCH_SIZE
) - 1;
911 /* Convert unsigned binary to ascii. */
925 p
= scratch
+ sizeof (SCRATCH_SIZE
) - 1;
930 *p
-- = '0' + (n
& 1);
939 write_i (fnode
* f
, const char *p
, int len
)
941 write_decimal (f
, p
, len
, (void *) gfc_itoa
);
946 write_b (fnode
* f
, const char *p
, int len
)
948 write_int (f
, p
, len
, btoa
);
953 write_o (fnode
* f
, const char *p
, int len
)
955 write_int (f
, p
, len
, otoa
);
959 write_z (fnode
* f
, const char *p
, int len
)
961 write_int (f
, p
, len
, xtoa
);
966 write_d (fnode
*f
, const char *p
, int len
)
968 write_float (f
, p
, len
);
973 write_e (fnode
*f
, const char *p
, int len
)
975 write_float (f
, p
, len
);
980 write_f (fnode
*f
, const char *p
, int len
)
982 write_float (f
, p
, len
);
987 write_en (fnode
*f
, const char *p
, int len
)
989 write_float (f
, p
, len
);
994 write_es (fnode
*f
, const char *p
, int len
)
996 write_float (f
, p
, len
);
1000 /* Take care of the X/TR descriptor. */
1007 p
= write_block (f
->u
.n
);
1011 memset (p
, ' ', f
->u
.n
);
1015 /* List-directed writing. */
1018 /* Write a single character to the output. Returns nonzero if
1019 something goes wrong. */
1026 p
= write_block (1);
1036 /* Write a list-directed logical value. */
1039 write_logical (const char *source
, int length
)
1041 write_char (extract_int (source
, length
) ? 'T' : 'F');
1045 /* Write a list-directed integer value. */
1048 write_integer (const char *source
, int length
)
1055 q
= gfc_itoa (extract_int (source
, length
));
1080 digits
= strlen (q
);
1084 p
= write_block (width
) ;
1086 memset(p
,' ', width
- digits
) ;
1087 memcpy (p
+ width
- digits
, q
, digits
);
1091 /* Write a list-directed string. We have to worry about delimiting
1092 the strings if the file has been opened in that mode. */
1095 write_character (const char *source
, int length
)
1100 switch (current_unit
->flags
.delim
)
1102 case DELIM_APOSTROPHE
:
1119 for (i
= 0; i
< length
; i
++)
1124 p
= write_block (length
+ extra
);
1129 memcpy (p
, source
, length
);
1134 for (i
= 0; i
< length
; i
++)
1146 /* Output a real number with default format.
1147 This is 1PG14.7E2 for REAL(4) and 1PG23.15E3 for REAL(8). */
1150 write_real (const char *source
, int length
)
1153 int org_scale
= g
.scale_factor
;
1168 write_float (&f
, source
, length
);
1169 g
.scale_factor
= org_scale
;
1174 write_complex (const char *source
, int len
)
1176 if (write_char ('('))
1178 write_real (source
, len
);
1180 if (write_char (','))
1182 write_real (source
+ len
, len
);
1188 /* Write the separator between items. */
1191 write_separator (void)
1195 p
= write_block (options
.separator_len
);
1199 memcpy (p
, options
.separator
, options
.separator_len
);
1203 /* Write an item with list formatting.
1204 TODO: handle skipping to the next record correctly, particularly
1208 list_formatted_write (bt type
, void *p
, int len
)
1210 static int char_flag
;
1212 if (current_unit
== NULL
)
1223 if (type
!= BT_CHARACTER
|| !char_flag
||
1224 current_unit
->flags
.delim
!= DELIM_NONE
)
1231 write_integer (p
, len
);
1234 write_logical (p
, len
);
1237 write_character (p
, len
);
1240 write_real (p
, len
);
1243 write_complex (p
, len
);
1246 internal_error ("list_formatted_write(): Bad type");
1249 char_flag
= (type
== BT_CHARACTER
);
1253 namelist_write (void)
1255 namelist_info
* t1
, *t2
;
1260 write_character("&",1);
1261 write_character (ioparm
.namelist_name
, ioparm
.namelist_name_len
);
1262 write_character("\n",1);
1274 write_character(t2
->var_name
, strlen(t2
->var_name
));
1275 write_character("=",1);
1282 write_integer (p
, len
);
1285 write_logical (p
, len
);
1288 write_character (p
, t2
->string_length
);
1291 write_real (p
, len
);
1294 write_complex (p
, len
);
1297 internal_error ("Bad type for namelist write");
1299 write_character(",",1);
1303 write_character("\n",1);
1307 write_character("/",1);