File: put_si.dat

package info (click to toggle)
mpfi 1.5.3%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 2,400 kB
  • sloc: ansic: 14,992; makefile: 155; sh: 6
file content (51 lines) | stat: -rw-r--r-- 1,984 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
# data file for mpfi_put_ui
#
# fields:
# 1: initial precision of interval
# 2: initial left point value of interval
# 3: initial right endpoint value of interval
#
# 4: inexact flag (returned value)
# 5: precision of result (must be the same as in field 1)
# 6: left endpoint value of result
# 7: right endpoint value of result
#
# 8: precision of argument
# 9: value of argument

# special values
53  nan  nan     0 53  nan  nan      -8
53  nan  nan     0 53  nan  nan      -0
53  nan  nan     0 53  nan  nan       0
53  nan  nan     0 53  nan  nan       5
53 -inf -inf     0 53 -inf   -8      -8
53 -inf -inf     0 53 -inf   -0      -0
53 -inf -inf     0 53 -inf   -0       0
53 -inf -inf     0 53 -inf   +5       5
53   +0   -0     0 53   -8   -0      -8
53   +0   -0     0 53   +0   -0      -0
53   +0   -0     0 53   +0   -0       0
53   +0   -0     0 53   +0   +5       5
53 +inf +inf     0 53   -8 +inf      -8
53 +inf +inf     0 53   +0 +inf      -0
53 +inf +inf     0 53   +0 +inf       0
53 +inf +inf     0 53   +5 +inf       5

# regular values
53 +10              +20    0 53 +5               +20  5
16 +0x123400   0xdada00    1 16 +0x111100   0xdada00  0x111101
53 +10              +20    0 53 +10              +20  15
16 +0x123400   0xdada00    0 16 +0x123400   0xdddd00  0xdddd00
16 +0x123400   0xdada00    2 16 +0x123400   0xdadb00  0xdadada

53 -0x888888  -0x888887    0 53 -0xbaffe0  -0x888887 -0xbaffe0
16 -0x888800  -0x888700    1 16 -0x888900  -0x888700 -0x888801
53 -0x888800  -0x888700    0 53 -0x888800  -0x888700 -0x888701
16 -0x888800  -0x888700    0 16 -0x888800  -0x100000 -0x100000
16 -0x888800  -0x888700    2 16 -0x888800  -0x100000 -0x100001

16 -0x888800       +0x1    0 16 -0xfedc00       +0x1 -0xfedc00
16 -0x888800       +0x1    1 16 -0xfedc00       +0x1 -0xfedb01
16 -0x888800       +0x1    0 16 -0x888800       +0x1 -1
16 -0x888800       +0x1    0 16 -0x888800  +0x888800  0x888800
16 -0x888800       +0x1    2 16 -0x888800  +0x888900  0x888801