Statistics
| Branch: | Revision:

root / tests / lm32 / test_addi.S @ d65f0831

History | View | Annotate | Download (585 Bytes)

1 d65f0831 Michael Walle
.include "macros.inc"
2 d65f0831 Michael Walle
3 d65f0831 Michael Walle
start
4 d65f0831 Michael Walle
5 d65f0831 Michael Walle
test_name ADDI_1
6 d65f0831 Michael Walle
mvi r1, 0
7 d65f0831 Michael Walle
addi r3, r1, 0
8 d65f0831 Michael Walle
check_r3 0
9 d65f0831 Michael Walle
10 d65f0831 Michael Walle
test_name ADDI_2
11 d65f0831 Michael Walle
mvi r1, 0
12 d65f0831 Michael Walle
addi r3, r1, 1
13 d65f0831 Michael Walle
check_r3 1
14 d65f0831 Michael Walle
15 d65f0831 Michael Walle
test_name ADDI_3
16 d65f0831 Michael Walle
mvi r1, 1
17 d65f0831 Michael Walle
addi r3, r1, 0
18 d65f0831 Michael Walle
check_r3 1
19 d65f0831 Michael Walle
20 d65f0831 Michael Walle
test_name ADDI_4
21 d65f0831 Michael Walle
mvi r1, 1
22 d65f0831 Michael Walle
addi r3, r1, -1
23 d65f0831 Michael Walle
check_r3 0
24 d65f0831 Michael Walle
25 d65f0831 Michael Walle
test_name ADDI_5
26 d65f0831 Michael Walle
mvi r1, -1
27 d65f0831 Michael Walle
addi r3, r1, 1
28 d65f0831 Michael Walle
check_r3 0
29 d65f0831 Michael Walle
30 d65f0831 Michael Walle
test_name ADDI_6
31 d65f0831 Michael Walle
mvi r1, -1
32 d65f0831 Michael Walle
addi r3, r1, 0
33 d65f0831 Michael Walle
check_r3 -1
34 d65f0831 Michael Walle
35 d65f0831 Michael Walle
test_name ADDI_7
36 d65f0831 Michael Walle
mvi r1, 0
37 d65f0831 Michael Walle
addi r3, r1, -1
38 d65f0831 Michael Walle
check_r3 -1
39 d65f0831 Michael Walle
40 d65f0831 Michael Walle
test_name ADDI_8
41 d65f0831 Michael Walle
mvi r3, 4
42 d65f0831 Michael Walle
addi r3, r3, 4
43 d65f0831 Michael Walle
check_r3 8
44 d65f0831 Michael Walle
45 d65f0831 Michael Walle
test_name ADDI_9
46 d65f0831 Michael Walle
mvi r3, 4
47 d65f0831 Michael Walle
addi r3, r3, -4
48 d65f0831 Michael Walle
check_r3 0
49 d65f0831 Michael Walle
50 d65f0831 Michael Walle
test_name ADDI_10
51 d65f0831 Michael Walle
mvi r3, 4
52 d65f0831 Michael Walle
addi r3, r3, -5
53 d65f0831 Michael Walle
check_r3 -1
54 d65f0831 Michael Walle
55 d65f0831 Michael Walle
end