summaryrefslogtreecommitdiff
path: root/tests/micropython/viper_binop_bitwise_uint.py
blob: 3bc7ba8d1113f78dc6dcdbbd225de7184430f68d (plain)
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
# test bitwise operators on uint type


@micropython.viper
def shl(x: uint, y: uint) -> uint:
    return x << y


print("shl")
print(shl(1, 0))
print(shl(1, 30))
print(shl(-1, 10) & 0xFFFFFFFF)


@micropython.viper
def shr(x: uint, y: uint) -> uint:
    return x >> y


print("shr")
print(shr(1, 0))
print(shr(16, 3))
print(shr(-1, 1) in (0x7FFFFFFF, 0x7FFFFFFF_FFFFFFFF))


@micropython.viper
def and_(x: uint, y: uint):
    return x & y, y & x


print("and")
print(*and_(1, 0))
print(*and_(1, 3))
print(*and_(-1, 2))
print(*(x & 0xFFFFFFFF for x in and_(-1, -2)))


@micropython.viper
def or_(x: uint, y: uint):
    return x | y, y | x


print("or")
print(*or_(1, 0))
print(*or_(1, 2))
print(*(x & 0xFFFFFFFF for x in or_(-1, 2)))


@micropython.viper
def xor(x: uint, y: uint):
    return x ^ y, y ^ x


print("xor")
print(*xor(1, 0))
print(*xor(1, 3))
print(*(x & 0xFFFFFFFF for x in xor(-1, 3)))
print(*xor(-1, -3))