aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/lib.py
blob: a363374fb0c4030a830e38e3bb3d52037e808a5e (plain) (blame)
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
import functools
import os
import sys
from pathlib import Path
from typing import Generator

def chunks[T](xs: list[T], n: int) -> Generator[list[T], None, None]:
	for i in range(0, len(xs), n):
		yield xs[i:i + n]

def powers_of_2() -> Generator[int, None, None]:
	i = 0
	while True:
		yield 2 ** i
		i += 1

def columns(n: int, m: int) -> int:
	xs = list(set(functools.reduce(list.__add__, (
		[i, n // i] for i in range(1, int(n ** 0.5) + 1) if n % i == 0)
	)))
	for x in sorted(xs, reverse=True):
		y = 5
		y += x * m
		y += x - 1
		if y <= 80:
			return x
	return 1

def isize(x: int) -> int:
	if x < 256:
		return 1
	if x < 65535:
		return 2
	if x < 4294967295:
		return 3
	if x < 18446744073709551615:
		return 4
	raise ValueError

def typename(x: int) -> str:
	if x < 256:
		return "uint8_t"
	if x < 65535:
		return "uint16_t"
	if x < 4294967295:
		return "uint32_t"
	if x < 18446744073709551615:
		return "uint64_t"
	raise ValueError

def cwd_init() -> None:
	dir = Path(os.path.dirname(sys.argv[0]))
	os.chdir(dir / '..' / '..')

def report_size(before: int, after: int) -> None:
	prefix = sys.argv[0].split('/')[-1].ljust(len('id_compat_math_continue') + 2)
	change = round((after - before) / before * 100, 1)
	before = '%d KiB' % round(before / 1024, 2)
	after  = ('%.2f KiB' % round(after / 1024, 2)).rjust(len('XXX.XX KiB'))
	print(f'%s%s%%, %s → %s' % (prefix, change, before, after), file=sys.stderr)