mirror of
https://github.com/micropython/micropython.git
synced 2025-09-06 01:40:34 +02:00
0d435959e0
This commit reworks the Viper pointer boundary tests in order to make them more accurate and easier to extend. The tests are now easier to reason about in their output, using easier to read values, and bit thresholds are now more configurable. If a new conditional code sequence is introduced, adding a new bit threshold is just a matter of adding a value into a tuple at the beginning of the relevant test file. Load tests have also been made more accurate, with better function templates to test register-indexed operations. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
54 lines
1.3 KiB
Python
54 lines
1.3 KiB
Python
# Test boundary conditions for various architectures
|
|
|
|
SET_TEMPLATE = """
|
|
@micropython.viper
|
|
def set{off}(dest: ptr16):
|
|
dest[{off}] = {val}
|
|
set{off}(buffer)
|
|
print(hex(get_index(buffer, {off})))
|
|
"""
|
|
|
|
BIT_THRESHOLDS = (5, 8, 11, 12)
|
|
SIZE = 2
|
|
MASK = (1 << (8 * SIZE)) - 1
|
|
|
|
|
|
@micropython.viper
|
|
def set_index(dest: ptr16, i: int, val: uint):
|
|
dest[i] = val
|
|
|
|
|
|
def get_index(src, i):
|
|
return src[i * SIZE] + (src[(i * SIZE) + 1] << 8)
|
|
|
|
|
|
buffer = bytearray(((1 << max(BIT_THRESHOLDS) + 1) // 1024) * 1024)
|
|
next = 1
|
|
val = 0
|
|
for bit in BIT_THRESHOLDS:
|
|
print("---", bit)
|
|
pre, idx, post = (
|
|
(((1 << bit) - (2 * SIZE)) // SIZE),
|
|
(((1 << bit) - (1 * SIZE)) // SIZE),
|
|
((1 << bit) // SIZE),
|
|
)
|
|
val = (val << 8) + next
|
|
next += 1
|
|
set_index(buffer, pre, val & MASK)
|
|
val = (val << 8) + next
|
|
next += 1
|
|
set_index(buffer, idx, val & MASK)
|
|
val = (val << 8) + next
|
|
next += 1
|
|
set_index(buffer, post, val & MASK)
|
|
val = (val << 8) + next
|
|
next += 1
|
|
print(hex(get_index(buffer, pre)), hex(get_index(buffer, idx)), hex(get_index(buffer, post)))
|
|
exec(SET_TEMPLATE.format(off=pre, val=val & MASK))
|
|
val = (val << 8) + next
|
|
next += 1
|
|
exec(SET_TEMPLATE.format(off=idx, val=val & MASK))
|
|
val = (val << 8) + next
|
|
next += 1
|
|
exec(SET_TEMPLATE.format(off=post, val=val & MASK))
|