File: viper_addr.py

package info (click to toggle)
giac 1.9.0.93%2Bdfsg2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 117,732 kB
  • sloc: cpp: 404,272; ansic: 205,462; python: 30,548; javascript: 28,788; makefile: 17,997; yacc: 2,690; lex: 2,464; sh: 705; perl: 314; lisp: 216; asm: 62; java: 41; xml: 36; sed: 16; csh: 7; pascal: 6
file content (39 lines) | stat: -rw-r--r-- 764 bytes parent folder | download | duplicates (3)
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
# test passing addresses to viper

@micropython.viper
def get_addr(x:ptr) -> ptr:
    return x

@micropython.viper
def memset(dest:ptr8, c:int, n:int):
    for i in range(n):
        dest[i] = c

@micropython.viper
def memsum(src:ptr8, n:int) -> int:
    s = 0
    for i in range(n):
        s += src[i]
    return s

# create array and get its address
ar = bytearray('0000')
addr = get_addr(ar)
print(type(ar))
print(type(addr))
print(ar)

# pass array as an object
memset(ar, ord('1'), len(ar))
print(ar)

# pass direct pointer to array buffer
memset(addr, ord('2'), len(ar))
print(ar)

# pass direct pointer to array buffer, with offset
memset(addr + 2, ord('3'), len(ar) - 2)
print(ar)

# pass a read-only bytes object in
print(memsum(b'\x01\x02\x03\x04', 4))