b1d5c656de
This commit provides an implementation for viper boundary tests that can work even without big int support. Since it uses a fixed-size buffer to hold values to work with, this should work on any platform as long as its integers are at least 32 bits wide, regardless its configuration on how big integers can get. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
64 lines
1.6 KiB
Python
64 lines
1.6 KiB
Python
# Test boundary conditions for various architectures
|
|
|
|
SET_TEMPLATE = """
|
|
@micropython.viper
|
|
def set{off}(dest: ptr32):
|
|
saved = dest
|
|
dest[{off}] = {val}
|
|
assert int(saved) == int(dest)
|
|
set{off}(buffer)
|
|
print(hex(get_index(buffer, {off})))
|
|
"""
|
|
|
|
BIT_THRESHOLDS = (5, 8, 11, 12)
|
|
SIZE = 4
|
|
MASK = (1 << (8 * SIZE)) - 1
|
|
|
|
next_int = 1
|
|
test_buffer = bytearray(SIZE)
|
|
|
|
|
|
def next_value() -> uint:
|
|
global next_int
|
|
global test_buffer
|
|
for index in range(1, SIZE):
|
|
test_buffer[index - 1] = test_buffer[index]
|
|
test_buffer[SIZE - 1] = next_int
|
|
next_int += 1
|
|
output = 0
|
|
for byte in test_buffer:
|
|
output = (output << 8) | byte
|
|
return output & MASK
|
|
|
|
|
|
@micropython.viper
|
|
def set_index(dest: ptr32, i: int, val: uint):
|
|
saved = dest
|
|
dest[i] = val
|
|
assert int(saved) == int(dest)
|
|
|
|
|
|
def get_index(src, i):
|
|
return (
|
|
src[i * SIZE]
|
|
+ (src[(i * SIZE) + 1] << 8)
|
|
+ (src[(i * SIZE) + 2] << 16)
|
|
+ (src[(i * SIZE) + 3] << 24)
|
|
)
|
|
|
|
|
|
buffer = bytearray(((1 << max(BIT_THRESHOLDS) + 1) // 1024) * 1024)
|
|
for bit in BIT_THRESHOLDS:
|
|
print("---", bit)
|
|
pre, idx, post = (
|
|
(((1 << bit) - (2 * SIZE)) // SIZE),
|
|
(((1 << bit) - (1 * SIZE)) // SIZE),
|
|
((1 << bit) // SIZE),
|
|
)
|
|
set_index(buffer, pre, next_value())
|
|
set_index(buffer, idx, next_value())
|
|
set_index(buffer, post, next_value())
|
|
print(hex(get_index(buffer, pre)), hex(get_index(buffer, idx)), hex(get_index(buffer, post)))
|
|
exec(SET_TEMPLATE.format(off=pre, val=next_value()))
|
|
exec(SET_TEMPLATE.format(off=idx, val=next_value()))
|
|
exec(SET_TEMPLATE.format(off=post, val=next_value()))
|