pysylva/sylva_numbers.py at master · camgunz/pysylva · GitHub

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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
#!/usr/bin/env python

import re
import pprint
import itertools

rx = re.compile(
    r'^[+-]?'
    r'('
    r'('
      r'(\d+)'
      r'(([iu])(8|16|32|64|128|256))'
      r'([cw])?'
    r')'
    r'|'
    r'('
      r'('
        r'(((\d+\.\d+)|(\d+\.)|(\.\d+))([Ee][+-]?\d+)?)|'
        r'(\d+[Ee][+-]?\d+)|'
        r'(\d+)'
      r')'
      r'(f(16|32|64|128|256))?'
      r'(ra|rd|ru|rz)?'
    r')'
    r')'
)

signs = ('', '+', '-')
exp_indicators = ('e', 'E')
rounds = ('', 'ra', 'rd', 'ru', 'rz')

dec_ints = ('', '3', '35')
dec_fracs = ('', '4', '46')
dec_vals = (
    list(dec_ints[1:]) +
    [f'{int}.{frac}' for int, frac in itertools.product(
        dec_ints,
        dec_fracs
    ) if int or frac]
)
dec_exp_vals = ('5', '57')
dec_exps = [''] + [f'{x}{y}{z}' for x, y, z in itertools.product(
    exp_indicators,
    signs,
    dec_exp_vals
)]

float_ints = ('', '4', '46')
float_fracs = ('', '5', '57')
float_vals = (
    list(float_ints[1:]) +
    [f'{int}.{frac}' for int, frac in itertools.product(
        float_ints,
        float_fracs
    ) if int or frac]
)
float_exp_vals = ('6', '68')
float_exps = [''] + [f'{x}{y}{z}' for x, y, z in itertools.product(
    exp_indicators,
    signs,
    float_exp_vals
)]
float_types = ('', 'f16', 'f32', 'f64', 'f128', 'f256')

int_vals = ('1', '12')
int_types = ('i', 'u')
int_sizes = ('8', '16', '32', '64', '128', '256')
int_overflows = ('', 'w', 'c')

numbers = (
    [
        f'{sign}{val}{exp}{round}'
        for sign, val, exp, round in itertools.product(
            signs,
            dec_vals,
            dec_exps,
            rounds
        )
    ] +
    [
        f'{sign}{val}{exp}{type}{round}'
        for sign, val, exp, type, round in itertools.product(
            signs,
            float_vals,
            float_exps,
            float_types,
            rounds
        )
    ] +
    [
        f'{sign}{val}{type}{size}{overflow}'
        for sign, val, type, size, overflow in itertools.product(
            signs,
            int_vals,
            int_types,
            int_sizes,
            int_overflows
        )
    ]
)

def pdir(x):
    pprint.pprint(dir(x))

def main():
    for number in numbers:
        match = rx.match(number)
        if not match:
            print(f"Couldn't match {number}")
            continue
        if match.group() != number:
            print(f'{match.group()} != {number}')

main()