Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Android/bionic/bionic/tests/math_data/   (Android Betriebssystem Version 17©)  Datei vom 26.5.2026 mit Größe 20 kB image not shown  

Quelle  round_intel_data.h

  Sprache: C
 

/*
 * Copyright (C) 2014 The Android Open Source Project
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */


static data_1_1_t<doubledouble> g_round_intel_data[] = {
  { // Entry 0
    0x1.p0,
    0x1.0p-1
  },
  { // Entry 1
    0x1.0020p11,
    0x1.001p11
  },
  { // Entry 2
    0x1.80p1,
    0x1.4p1
  },
  { // Entry 3
    -0.0,
    -0x1.0p-1074
  },
  { // Entry 4
    -0.0,
    -0.0
  },
  { // Entry 5
    0.0,
    0x1.0p-1074
  },
  { // Entry 6
    0.0,
    0x1.fffffffffffffp-2
  },
  { // Entry 7
    0x1.p0,
    0x1.0p-1
  },
  { // Entry 8
    0x1.p0,
    0x1.0000000000001p-1
  },
  { // Entry 9
    0x1.p0,
    0x1.fffffffffffffp-1
  },
  { // Entry 10
    0x1.p0,
    0x1.0p0
  },
  { // Entry 11
    0x1.p0,
    0x1.0000000000001p0
  },
  { // Entry 12
    0x1.p0,
    0x1.7ffffffffffffp0
  },
  { // Entry 13
    0x1.p1,
    0x1.8p0
  },
  { // Entry 14
    0x1.p1,
    0x1.8000000000001p0
  },
  { // Entry 15
    0x1.p1,
    0x1.fffffffffffffp0
  },
  { // Entry 16
    0x1.p1,
    0x1.0p1
  },
  { // Entry 17
    0x1.p1,
    0x1.0000000000001p1
  },
  { // Entry 18
    0x1.p1,
    0x1.3ffffffffffffp1
  },
  { // Entry 19
    0x1.80p1,
    0x1.4p1
  },
  { // Entry 20
    0x1.80p1,
    0x1.4000000000001p1
  },
  { // Entry 21
    0x1.90p6,
    0x1.8ffffffffffffp6
  },
  { // Entry 22
    0x1.90p6,
    0x1.9p6
  },
  { // Entry 23
    0x1.90p6,
    0x1.9000000000001p6
  },
  { // Entry 24
    0x1.90p6,
    0x1.91fffffffffffp6
  },
  { // Entry 25
    0x1.94p6,
    0x1.920p6
  },
  { // Entry 26
    0x1.94p6,
    0x1.9200000000001p6
  },
  { // Entry 27
    0x1.f4p9,
    0x1.f3fffffffffffp9
  },
  { // Entry 28
    0x1.f4p9,
    0x1.f40p9
  },
  { // Entry 29
    0x1.f4p9,
    0x1.f400000000001p9
  },
  { // Entry 30
    0x1.f4p9,
    0x1.f43ffffffffffp9
  },
  { // Entry 31
    0x1.f480p9,
    0x1.f44p9
  },
  { // Entry 32
    0x1.f480p9,
    0x1.f440000000001p9
  },
  { // Entry 33
    0x1.p50,
    0x1.fffffffffffffp49
  },
  { // Entry 34
    0x1.p50,
    0x1.0p50
  },
  { // Entry 35
    0x1.p50,
    0x1.0000000000001p50
  },
  { // Entry 36
    0x1.p51,
    0x1.fffffffffffffp50
  },
  { // Entry 37
    0x1.p51,
    0x1.0p51
  },
  { // Entry 38
    0x1.00000000000020p51,
    0x1.0000000000001p51
  },
  { // Entry 39
    0x1.p52,
    0x1.fffffffffffffp51
  },
  { // Entry 40
    0x1.p52,
    0x1.0p52
  },
  { // Entry 41
    0x1.00000000000010p52,
    0x1.0000000000001p52
  },
  { // Entry 42
    0x1.fffffffffffff0p52,
    0x1.fffffffffffffp52
  },
  { // Entry 43
    0x1.p53,
    0x1.0p53
  },
  { // Entry 44
    0x1.00000000000010p53,
    0x1.0000000000001p53
  },
  { // Entry 45
    0x1.fffffffffffff0p53,
    0x1.fffffffffffffp53
  },
  { // Entry 46
    0x1.p54,
    0x1.0p54
  },
  { // Entry 47
    0x1.00000000000010p54,
    0x1.0000000000001p54
  },
  { // Entry 48
    0x1.fffffffffffff0p1023,
    0x1.fffffffffffffp1023
  },
  { // Entry 49
    -0x1.p0,
    -0x1.0000000000001p-1
  },
  { // Entry 50
    -0x1.p0,
    -0x1.0p-1
  },
  { // Entry 51
    -0.0,
    -0x1.fffffffffffffp-2
  },
  { // Entry 52
    -0x1.p0,
    -0x1.0000000000001p0
  },
  { // Entry 53
    -0x1.p0,
    -0x1.0p0
  },
  { // Entry 54
    -0x1.p0,
    -0x1.fffffffffffffp-1
  },
  { // Entry 55
    -0x1.p1,
    -0x1.8000000000001p0
  },
  { // Entry 56
    -0x1.p1,
    -0x1.8p0
  },
  { // Entry 57
    -0x1.p0,
    -0x1.7ffffffffffffp0
  },
  { // Entry 58
    -0x1.p1,
    -0x1.0000000000001p1
  },
  { // Entry 59
    -0x1.p1,
    -0x1.0p1
  },
  { // Entry 60
    -0x1.p1,
    -0x1.fffffffffffffp0
  },
  { // Entry 61
    -0x1.80p1,
    -0x1.4000000000001p1
  },
  { // Entry 62
    -0x1.80p1,
    -0x1.4p1
  },
  { // Entry 63
    -0x1.p1,
    -0x1.3ffffffffffffp1
  },
  { // Entry 64
    -0x1.90p6,
    -0x1.9000000000001p6
  },
  { // Entry 65
    -0x1.90p6,
    -0x1.9p6
  },
  { // Entry 66
    -0x1.90p6,
    -0x1.8ffffffffffffp6
  },
  { // Entry 67
    -0x1.94p6,
    -0x1.9200000000001p6
  },
  { // Entry 68
    -0x1.94p6,
    -0x1.920p6
  },
  { // Entry 69
    -0x1.90p6,
    -0x1.91fffffffffffp6
  },
  { // Entry 70
    -0x1.f4p9,
    -0x1.f400000000001p9
  },
  { // Entry 71
    -0x1.f4p9,
    -0x1.f40p9
  },
  { // Entry 72
    -0x1.f4p9,
    -0x1.f3fffffffffffp9
  },
  { // Entry 73
    -0x1.f480p9,
    -0x1.f440000000001p9
  },
  { // Entry 74
    -0x1.f480p9,
    -0x1.f44p9
  },
  { // Entry 75
    -0x1.f4p9,
    -0x1.f43ffffffffffp9
  },
  { // Entry 76
    -0x1.p50,
    -0x1.0000000000001p50
  },
  { // Entry 77
    -0x1.p50,
    -0x1.0p50
  },
  { // Entry 78
    -0x1.p50,
    -0x1.fffffffffffffp49
  },
  { // Entry 79
    -0x1.00000000000020p51,
    -0x1.0000000000001p51
  },
  { // Entry 80
    -0x1.p51,
    -0x1.0p51
  },
  { // Entry 81
    -0x1.p51,
    -0x1.fffffffffffffp50
  },
  { // Entry 82
    -0x1.00000000000010p52,
    -0x1.0000000000001p52
  },
  { // Entry 83
    -0x1.p52,
    -0x1.0p52
  },
  { // Entry 84
    -0x1.p52,
    -0x1.fffffffffffffp51
  },
  { // Entry 85
    -0x1.00000000000010p53,
    -0x1.0000000000001p53
  },
  { // Entry 86
    -0x1.p53,
    -0x1.0p53
  },
  { // Entry 87
    -0x1.fffffffffffff0p52,
    -0x1.fffffffffffffp52
  },
  { // Entry 88
    -0x1.00000000000010p54,
    -0x1.0000000000001p54
  },
  { // Entry 89
    -0x1.p54,
    -0x1.0p54
  },
  { // Entry 90
    -0x1.fffffffffffff0p53,
    -0x1.fffffffffffffp53
  },
  { // Entry 91
    -0x1.fffffffffffff0p1023,
    -0x1.fffffffffffffp1023
  },
  { // Entry 92
    0x1.p30,
    0x1.fffffffffffffp29
  },
  { // Entry 93
    0x1.p30,
    0x1.0p30
  },
  { // Entry 94
    0x1.p30,
    0x1.0000000000001p30
  },
  { // Entry 95
    0x1.fffffff8p30,
    0x1.fffffff7ffffep30
  },
  { // Entry 96
    0x1.fffffff8p30,
    0x1.fffffff7fffffp30
  },
  { // Entry 97
    0x1.fffffff8p30,
    0x1.fffffff80p30
  },
  { // Entry 98
    0x1.fffffff8p30,
    0x1.fffffff800001p30
  },
  { // Entry 99
    0x1.fffffff8p30,
    0x1.fffffff800002p30
  },
  { // Entry 100
    0x1.fffffff8p30,
    0x1.fffffff9ffffep30
  },
  { // Entry 101
    0x1.fffffff8p30,
    0x1.fffffff9fffffp30
  },
  { // Entry 102
    0x1.fffffffcp30,
    0x1.fffffffa0p30
  },
  { // Entry 103
    0x1.fffffffcp30,
    0x1.fffffffa00001p30
  },
  { // Entry 104
    0x1.fffffffcp30,
    0x1.fffffffa00002p30
  },
  { // Entry 105
    0x1.fffffffcp30,
    0x1.fffffffbffffep30
  },
  { // Entry 106
    0x1.fffffffcp30,
    0x1.fffffffbfffffp30
  },
  { // Entry 107
    0x1.fffffffcp30,
    0x1.fffffffc0p30
  },
  { // Entry 108
    0x1.fffffffcp30,
    0x1.fffffffc00001p30
  },
  { // Entry 109
    0x1.fffffffcp30,
    0x1.fffffffc00002p30
  },
  { // Entry 110
    0x1.fffffffcp30,
    0x1.fffffffdffffep30
  },
  { // Entry 111
    0x1.fffffffcp30,
    0x1.fffffffdfffffp30
  },
  { // Entry 112
    0x1.p31,
    0x1.fffffffe0p30
  },
  { // Entry 113
    0x1.p31,
    0x1.fffffffe00001p30
  },
  { // Entry 114
    0x1.p31,
    0x1.fffffffe00002p30
  },
  { // Entry 115
    0x1.p31,
    0x1.ffffffffffffep30
  },
  { // Entry 116
    0x1.p31,
    0x1.fffffffffffffp30
  },
  { // Entry 117
    0x1.p31,
    0x1.0p31
  },
  { // Entry 118
    0x1.p31,
    0x1.0000000000001p31
  },
  { // Entry 119
    0x1.p31,
    0x1.0000000000002p31
  },
  { // Entry 120
    0x1.p31,
    0x1.00000000ffffep31
  },
  { // Entry 121
    0x1.p31,
    0x1.00000000fffffp31
  },
  { // Entry 122
    0x1.00000002p31,
    0x1.000000010p31
  },
  { // Entry 123
    0x1.00000002p31,
    0x1.0000000100001p31
  },
  { // Entry 124
    0x1.00000002p31,
    0x1.0000000100002p31
  },
  { // Entry 125
    0x1.ffffffe0p30,
    0x1.ffffffep30
  },
  { // Entry 126
    0x1.ffffffe4p30,
    0x1.ffffffe40p30
  },
  { // Entry 127
    0x1.ffffffe8p30,
    0x1.ffffffe80p30
  },
  { // Entry 128
    0x1.ffffffecp30,
    0x1.ffffffec0p30
  },
  { // Entry 129
    0x1.fffffff0p30,
    0x1.fffffffp30
  },
  { // Entry 130
    0x1.fffffff4p30,
    0x1.fffffff40p30
  },
  { // Entry 131
    0x1.fffffff8p30,
    0x1.fffffff80p30
  },
  { // Entry 132
    0x1.fffffffcp30,
    0x1.fffffffc0p30
  },
  { // Entry 133
    0x1.p31,
    0x1.0p31
  },
  { // Entry 134
    0x1.00000002p31,
    0x1.000000020p31
  },
  { // Entry 135
    -0x1.p30,
    -0x1.0000000000001p30
  },
  { // Entry 136
    -0x1.p30,
    -0x1.0p30
  },
  { // Entry 137
    -0x1.p30,
    -0x1.fffffffffffffp29
  },
  { // Entry 138
    -0x1.fffffff8p30,
    -0x1.fffffff800002p30
  },
  { // Entry 139
    -0x1.fffffff8p30,
    -0x1.fffffff800001p30
  },
  { // Entry 140
    -0x1.fffffff8p30,
    -0x1.fffffff80p30
  },
  { // Entry 141
    -0x1.fffffff8p30,
    -0x1.fffffff7fffffp30
  },
  { // Entry 142
    -0x1.fffffff8p30,
    -0x1.fffffff7ffffep30
  },
  { // Entry 143
    -0x1.fffffffcp30,
    -0x1.fffffffa00002p30
  },
  { // Entry 144
    -0x1.fffffffcp30,
    -0x1.fffffffa00001p30
  },
  { // Entry 145
    -0x1.fffffffcp30,
    -0x1.fffffffa0p30
  },
  { // Entry 146
    -0x1.fffffff8p30,
    -0x1.fffffff9fffffp30
  },
  { // Entry 147
    -0x1.fffffff8p30,
    -0x1.fffffff9ffffep30
  },
  { // Entry 148
    -0x1.fffffffcp30,
    -0x1.fffffffc00002p30
  },
  { // Entry 149
    -0x1.fffffffcp30,
    -0x1.fffffffc00001p30
  },
  { // Entry 150
    -0x1.fffffffcp30,
    -0x1.fffffffc0p30
  },
  { // Entry 151
    -0x1.fffffffcp30,
    -0x1.fffffffbfffffp30
  },
  { // Entry 152
    -0x1.fffffffcp30,
    -0x1.fffffffbffffep30
  },
  { // Entry 153
    -0x1.p31,
    -0x1.fffffffe00002p30
  },
  { // Entry 154
    -0x1.p31,
    -0x1.fffffffe00001p30
  },
  { // Entry 155
    -0x1.p31,
    -0x1.fffffffe0p30
  },
  { // Entry 156
    -0x1.fffffffcp30,
    -0x1.fffffffdfffffp30
  },
  { // Entry 157
    -0x1.fffffffcp30,
    -0x1.fffffffdffffep30
  },
  { // Entry 158
    -0x1.p31,
    -0x1.0000000000002p31
  },
  { // Entry 159
    -0x1.p31,
    -0x1.0000000000001p31
  },
  { // Entry 160
    -0x1.p31,
    -0x1.0p31
  },
  { // Entry 161
    -0x1.p31,
    -0x1.fffffffffffffp30
  },
  { // Entry 162
    -0x1.p31,
    -0x1.ffffffffffffep30
  },
  { // Entry 163
    -0x1.00000002p31,
    -0x1.0000000100002p31
  },
  { // Entry 164
    -0x1.00000002p31,
    -0x1.0000000100001p31
  },
  { // Entry 165
    -0x1.00000002p31,
    -0x1.000000010p31
  },
  { // Entry 166
    -0x1.p31,
    -0x1.00000000fffffp31
  },
  { // Entry 167
    -0x1.p31,
    -0x1.00000000ffffep31
  },
  { // Entry 168
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 169
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 170
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 171
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 172
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 173
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 174
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 175
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 176
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 177
    -0x1.ffffffe0p30,
    -0x1.ffffffep30
  },
  { // Entry 178
    0x1.ffffffffffffe0p61,
    0x1.ffffffffffffep61
  },
  { // Entry 179
    0x1.fffffffffffff0p61,
    0x1.fffffffffffffp61
  },
  { // Entry 180
    0x1.p62,
    0x1.0p62
  },
  { // Entry 181
    0x1.00000000000010p62,
    0x1.0000000000001p62
  },
  { // Entry 182
    0x1.00000000000020p62,
    0x1.0000000000002p62
  },
  { // Entry 183
    0x1.ffffffffffffe0p62,
    0x1.ffffffffffffep62
  },
  { // Entry 184
    0x1.fffffffffffff0p62,
    0x1.fffffffffffffp62
  },
  { // Entry 185
    0x1.p63,
    0x1.0p63
  },
  { // Entry 186
    0x1.00000000000010p63,
    0x1.0000000000001p63
  },
  { // Entry 187
    0x1.00000000000020p63,
    0x1.0000000000002p63
  },
  { // Entry 188
    0x1.ffffffffffffe0p63,
    0x1.ffffffffffffep63
  },
  { // Entry 189
    0x1.fffffffffffff0p63,
    0x1.fffffffffffffp63
  },
  { // Entry 190
    0x1.p64,
    0x1.0p64
  },
  { // Entry 191
    0x1.00000000000010p64,
    0x1.0000000000001p64
  },
  { // Entry 192
    0x1.00000000000020p64,
    0x1.0000000000002p64
  },
  { // Entry 193
    -0x1.00000000000020p62,
    -0x1.0000000000002p62
  },
  { // Entry 194
    -0x1.00000000000010p62,
    -0x1.0000000000001p62
  },
  { // Entry 195
    -0x1.p62,
    -0x1.0p62
  },
  { // Entry 196
    -0x1.fffffffffffff0p61,
    -0x1.fffffffffffffp61
  },
  { // Entry 197
    -0x1.ffffffffffffe0p61,
    -0x1.ffffffffffffep61
  },
  { // Entry 198
    -0x1.00000000000020p63,
    -0x1.0000000000002p63
  },
  { // Entry 199
    -0x1.00000000000010p63,
    -0x1.0000000000001p63
  },
  { // Entry 200
    -0x1.p63,
    -0x1.0p63
  },
  { // Entry 201
    -0x1.fffffffffffff0p62,
    -0x1.fffffffffffffp62
  },
  { // Entry 202
    -0x1.ffffffffffffe0p62,
    -0x1.ffffffffffffep62
  },
  { // Entry 203
    -0x1.00000000000020p64,
    -0x1.0000000000002p64
  },
  { // Entry 204
    -0x1.00000000000010p64,
    -0x1.0000000000001p64
  },
  { // Entry 205
    -0x1.p64,
    -0x1.0p64
  },
  { // Entry 206
    -0x1.fffffffffffff0p63,
    -0x1.fffffffffffffp63
  },
  { // Entry 207
    -0x1.ffffffffffffe0p63,
    -0x1.ffffffffffffep63
  },
  { // Entry 208
    0x1.p62,
    0x1.0p62
  },
  { // Entry 209
    0x1.p63,
    0x1.0p63
  },
  { // Entry 210
    -0x1.p62,
    -0x1.0p62
  },
  { // Entry 211
    -0x1.p63,
    -0x1.0p63
  },
  { // Entry 212
    0x1.fffffffcp30,
    0x1.fffffffbfffffp30
  },
  { // Entry 213
    0x1.fffffffcp30,
    0x1.fffffffc0p30
  },
  { // Entry 214
    0x1.fffffffcp30,
    0x1.fffffffc00001p30
  },
  { // Entry 215
    -0x1.p31,
    -0x1.0000000000001p31
  },
  { // Entry 216
    -0x1.p31,
    -0x1.0p31
  },
  { // Entry 217
    -0x1.p31,
    -0x1.fffffffffffffp30
  },
  { // Entry 218
    0x1.p2,
    0x1.fffffffffffffp1
  },
  { // Entry 219
    0x1.p2,
    0x1.0p2
  },
  { // Entry 220
    0x1.p2,
    0x1.0000000000001p2
  },
  { // Entry 221
    0x1.p3,
    0x1.fffffffffffffp2
  },
  { // Entry 222
    0x1.p3,
    0x1.0p3
  },
  { // Entry 223
    0x1.p3,
    0x1.0000000000001p3
  },
  { // Entry 224
    0x1.p4,
    0x1.fffffffffffffp3
  },
  { // Entry 225
    0x1.p4,
    0x1.0p4
  },
  { // Entry 226
    0x1.p4,
    0x1.0000000000001p4
  },
  { // Entry 227
    0x1.p5,
    0x1.fffffffffffffp4
  },
  { // Entry 228
    0x1.p5,
    0x1.0p5
  },
  { // Entry 229
    0x1.p5,
    0x1.0000000000001p5
  },
  { // Entry 230
    0x1.p6,
    0x1.fffffffffffffp5
  },
  { // Entry 231
    0x1.p6,
    0x1.0p6
  },
  { // Entry 232
    0x1.p6,
    0x1.0000000000001p6
  },
  { // Entry 233
    0x1.p7,
    0x1.fffffffffffffp6
  },
  { // Entry 234
    0x1.p7,
    0x1.0p7
  },
  { // Entry 235
    0x1.p7,
    0x1.0000000000001p7
  },
  { // Entry 236
    0x1.p8,
    0x1.fffffffffffffp7
  },
  { // Entry 237
    0x1.p8,
    0x1.0p8
  },
  { // Entry 238
    0x1.p8,
    0x1.0000000000001p8
  },
  { // Entry 239
    0x1.p9,
    0x1.fffffffffffffp8
  },
  { // Entry 240
    0x1.p9,
    0x1.0p9
  },
  { // Entry 241
    0x1.p9,
    0x1.0000000000001p9
  },
  { // Entry 242
    0x1.p10,
    0x1.fffffffffffffp9
  },
  { // Entry 243
    0x1.p10,
    0x1.0p10
  },
  { // Entry 244
    0x1.p10,
    0x1.0000000000001p10
  },
  { // Entry 245
    0x1.p11,
    0x1.fffffffffffffp10
  },
  { // Entry 246
    0x1.p11,
    0x1.0p11
  },
  { // Entry 247
    0x1.p11,
    0x1.0000000000001p11
  },
  { // Entry 248
    0x1.p12,
    0x1.fffffffffffffp11
  },
  { // Entry 249
    0x1.p12,
    0x1.0p12
  },
  { // Entry 250
    0x1.p12,
    0x1.0000000000001p12
  },
  { // Entry 251
    0x1.p2,
    0x1.1ffffffffffffp2
  },
  { // Entry 252
    0x1.40p2,
    0x1.2p2
  },
  { // Entry 253
    0x1.40p2,
    0x1.2000000000001p2
  },
  { // Entry 254
    0x1.p3,
    0x1.0ffffffffffffp3
  },
  { // Entry 255
    0x1.20p3,
    0x1.1p3
  },
  { // Entry 256
    0x1.20p3,
    0x1.1000000000001p3
  },
  { // Entry 257
    0x1.p4,
    0x1.07fffffffffffp4
  },
  { // Entry 258
    0x1.10p4,
    0x1.080p4
  },
  { // Entry 259
    0x1.10p4,
    0x1.0800000000001p4
  },
  { // Entry 260
    0x1.p5,
    0x1.03fffffffffffp5
  },
  { // Entry 261
    0x1.08p5,
    0x1.040p5
  },
  { // Entry 262
    0x1.08p5,
    0x1.0400000000001p5
  },
  { // Entry 263
    0x1.p6,
    0x1.01fffffffffffp6
  },
  { // Entry 264
    0x1.04p6,
    0x1.020p6
  },
  { // Entry 265
    0x1.04p6,
    0x1.0200000000001p6
  },
  { // Entry 266
    0x1.p7,
    0x1.00fffffffffffp7
  },
  { // Entry 267
    0x1.02p7,
    0x1.010p7
  },
  { // Entry 268
    0x1.02p7,
    0x1.0100000000001p7
  },
  { // Entry 269
    0x1.p8,
    0x1.007ffffffffffp8
  },
  { // Entry 270
    0x1.01p8,
    0x1.008p8
  },
  { // Entry 271
    0x1.01p8,
    0x1.0080000000001p8
  },
  { // Entry 272
    0x1.p9,
    0x1.003ffffffffffp9
  },
  { // Entry 273
    0x1.0080p9,
    0x1.004p9
  },
  { // Entry 274
    0x1.0080p9,
    0x1.0040000000001p9
  },
  { // Entry 275
    0x1.p10,
    0x1.001ffffffffffp10
  },
  { // Entry 276
    0x1.0040p10,
    0x1.002p10
  },
  { // Entry 277
    0x1.0040p10,
    0x1.0020000000001p10
  },
  { // Entry 278
    0x1.0040p10,
    0x1.005ffffffffffp10
  },
  { // Entry 279
    0x1.0080p10,
    0x1.006p10
  },
  { // Entry 280
    0x1.0080p10,
    0x1.0060000000001p10
  },
  { // Entry 281
    0x1.p11,
    0x1.000ffffffffffp11
  },
  { // Entry 282
    0x1.0020p11,
    0x1.001p11
  },
  { // Entry 283
    0x1.0020p11,
    0x1.0010000000001p11
  },
  { // Entry 284
    0x1.p12,
    0x1.0007fffffffffp12
  },
  { // Entry 285
    0x1.0010p12,
    0x1.00080p12
  },
  { // Entry 286
    0x1.0010p12,
    0x1.0008000000001p12
  },
  { // Entry 287
    HUGE_VAL,
    HUGE_VAL
  },
  { // Entry 288
    -HUGE_VAL,
    -HUGE_VAL
  },
  { // Entry 289
    0x1.fffffffffffff0p1023,
    0x1.fffffffffffffp1023
  },
  { // Entry 290
    -0x1.fffffffffffff0p1023,
    -0x1.fffffffffffffp1023
  },
  { // Entry 291
    0x1.ffffffffffffe0p1023,
    0x1.ffffffffffffep1023
  },
  { // Entry 292
    -0x1.ffffffffffffe0p1023,
    -0x1.ffffffffffffep1023
  },
  { // Entry 293
    0x1.80p1,
    0x1.921fb54442d18p1
  },
  { // Entry 294
    -0x1.80p1,
    -0x1.921fb54442d18p1
  },
  { // Entry 295
    0x1.p1,
    0x1.921fb54442d18p0
  },
  { // Entry 296
    -0x1.p1,
    -0x1.921fb54442d18p0
  },
  { // Entry 297
    0x1.p0,
    0x1.0000000000001p0
  },
  { // Entry 298
    -0x1.p0,
    -0x1.0000000000001p0
  },
  { // Entry 299
    0x1.p0,
    0x1.0p0
  },
  { // Entry 300
    -0x1.p0,
    -0x1.0p0
  },
  { // Entry 301
    0x1.p0,
    0x1.fffffffffffffp-1
  },
  { // Entry 302
    -0x1.p0,
    -0x1.fffffffffffffp-1
  },
  { // Entry 303
    0x1.p0,
    0x1.921fb54442d18p-1
  },
  { // Entry 304
    -0x1.p0,
    -0x1.921fb54442d18p-1
  },
  { // Entry 305
    0.0,
    0x1.0000000000001p-1022
  },
  { // Entry 306
    -0.0,
    -0x1.0000000000001p-1022
  },
  { // Entry 307
    0.0,
    0x1.0p-1022
  },
  { // Entry 308
    -0.0,
    -0x1.0p-1022
  },
  { // Entry 309
    0.0,
    0x1.ffffffffffffep-1023
  },
  { // Entry 310
    -0.0,
    -0x1.ffffffffffffep-1023
  },
  { // Entry 311
    0.0,
    0x1.ffffffffffffcp-1023
  },
  { // Entry 312
    -0.0,
    -0x1.ffffffffffffcp-1023
  },
  { // Entry 313
    0.0,
    0x1.0p-1073
  },
  { // Entry 314
    -0.0,
    -0x1.0p-1073
  },
  { // Entry 315
    0.0,
    0x1.0p-1074
  },
  { // Entry 316
    -0.0,
    -0x1.0p-1074
  },
  { // Entry 317
    0.0,
    0.0
  },
  { // Entry 318
    -0.0,
    -0.0
  },
  { // Entry 319
    0x1.p1,
    0x1.8p0
  },
  { // Entry 320
    -0x1.p1,
    -0x1.8p0
  },
  { // Entry 321
    0x1.80p1,
    0x1.4p1
  },
  { // Entry 322
    -0x1.80p1,
    -0x1.4p1
  },
  { // Entry 323
    0.0,
    0x1.fffffp-2
  },
  { // Entry 324
    0x1.p0,
    0x1.0p-1
  },
  { // Entry 325
    0x1.p0,
    0x1.00001p-1
  },
  { // Entry 326
    -0.0,
    -0x1.fffffp-2
  },
  { // Entry 327
    -0x1.p0,
    -0x1.0p-1
  },
  { // Entry 328
    -0x1.p0,
    -0x1.00001p-1
  },
  { // Entry 329
    0x1.p1,
    0x1.80001p0
  },
  { // Entry 330
    0x1.p0,
    0x1.7ffffp0
  },
  { // Entry 331
    -0x1.p1,
    -0x1.80001p0
  },
  { // Entry 332
    -0x1.p0,
    -0x1.7ffffp0
  }
};

Messung V0.5 in Prozent
C=82 H=98 G=90

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-06-28) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.