File: viper_addr.py

package info (click to toggle)
giac 1.6.0.41%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 64,540 kB
  • sloc: cpp: 351,842; ansic: 105,138; python: 30,545; javascript: 8,675; yacc: 2,690; lex: 2,449; makefile: 1,243; sh: 579; perl: 314; lisp: 216; asm: 62; java: 41; 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))