820     static uint32 *specifics = NULL;  in float32_case()  local
823         if (specifics)  in float32_case()
824             free(specifics);  in float32_case()
825         specifics = NULL;  in float32_case()
830     if (!specifics) {  in float32_case()
851         specifics = malloc(4400 * sizeof(*specifics));  in float32_case()
859                 specifics[preptr++] = se | 0;  in float32_case()
863                 specifics[preptr++] = se | 0x7FFFFF;  in float32_case()
868                     specifics[preptr++] = se | j;  in float32_case()
873                     specifics[preptr++] = se | (0x7FFFFF ^ j);  in float32_case()
878                     specifics[preptr++] = se | (2*j-1);  in float32_case()
883                     specifics[preptr++] = se | (0x7FFFFF ^ (j-1));  in float32_case()
902         t = specifics[n];  in float32_case()
903         specifics[n] = specifics[preptr-1];  in float32_case()
904         specifics[preptr-1] = t;        /* (not really needed) */  in float32_case()
947     static uint32 (*specifics)[2] = NULL;  in float64_case()  local
950         if (specifics)  in float64_case()
951             free(specifics);  in float64_case()
952         specifics = NULL;  in float64_case()
957     if (!specifics) {  in float64_case()
979         specifics = malloc(13056 * sizeof(*specifics));  in float64_case()
987                 specifics[preptr][0] = 0;  in float64_case()
988                 specifics[preptr][1] = 0;  in float64_case()
989                 specifics[preptr++][0] |= se;  in float64_case()
993                 specifics[preptr][0] = 0xFFFFF;  in float64_case()
994                 specifics[preptr][1] = ~0;  in float64_case()
995                 specifics[preptr++][0] |= se;  in float64_case()
1000                     specifics[preptr][0] = 0;  in float64_case()
1001                     specifics[preptr][1] = j;  in float64_case()
1002                     specifics[preptr++][0] |= se;  in float64_case()
1004                         specifics[preptr][0] = j;  in float64_case()
1005                         specifics[preptr][1] = 0;  in float64_case()
1006                         specifics[preptr++][0] |= se;  in float64_case()
1013                     specifics[preptr][0] = 0xFFFFF;  in float64_case()
1014                     specifics[preptr][1] = ~j;  in float64_case()
1015                     specifics[preptr++][0] |= se;  in float64_case()
1017                         specifics[preptr][0] = 0xFFFFF ^ j;  in float64_case()
1018                         specifics[preptr][1] = ~0;  in float64_case()
1019                         specifics[preptr++][0] |= se;  in float64_case()
1026                     specifics[preptr][0] = 0;  in float64_case()
1027                     specifics[preptr][1] = 2*j-1;  in float64_case()
1028                     specifics[preptr++][0] |= se;  in float64_case()
1031                     specifics[preptr][0] = 2*j-1;  in float64_case()
1032                     specifics[preptr][1] = ~0;  in float64_case()
1033                     specifics[preptr++][0] |= se;  in float64_case()
1039                     specifics[preptr][0] = 0xFFFFF;  in float64_case()
1040                     specifics[preptr][1] = ~(j-1);  in float64_case()
1041                     specifics[preptr++][0] |= se;  in float64_case()
1044                     specifics[preptr][0] = 0xFFFFF ^ (j-1);  in float64_case()
1045                     specifics[preptr][1] = 0;  in float64_case()
1046                     specifics[preptr++][0] |= se;  in float64_case()
1066         t = specifics[n][0];  in float64_case()
1067         specifics[n][0] = specifics[preptr-1][0];  in float64_case()
1068         specifics[preptr-1][0] = t;     /* (not really needed) */  in float64_case()
1070         t = specifics[n][1];  in float64_case()
1071         specifics[n][1] = specifics[preptr-1][1];  in float64_case()
1072         specifics[preptr-1][1] = t;     /* (not really needed) */  in float64_case()