root / tests / tcg / lm32 / test_muli.S @ c09015dd
History | View | Annotate | Download (487 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 MULI_1 |
6 | d65f0831 | Michael Walle | mvi r1, 0 |
7 | d65f0831 | Michael Walle | muli r3, r1, 0 |
8 | d65f0831 | Michael Walle | check_r3 0 |
9 | d65f0831 | Michael Walle | |
10 | d65f0831 | Michael Walle | test_name MULI_2 |
11 | d65f0831 | Michael Walle | mvi r1, 1 |
12 | d65f0831 | Michael Walle | muli r3, r1, 0 |
13 | d65f0831 | Michael Walle | check_r3 0 |
14 | d65f0831 | Michael Walle | |
15 | d65f0831 | Michael Walle | test_name MULI_3 |
16 | d65f0831 | Michael Walle | mvi r1, 0 |
17 | d65f0831 | Michael Walle | muli r3, r1, 1 |
18 | d65f0831 | Michael Walle | check_r3 0 |
19 | d65f0831 | Michael Walle | |
20 | d65f0831 | Michael Walle | test_name MULI_4 |
21 | d65f0831 | Michael Walle | mvi r1, 1 |
22 | d65f0831 | Michael Walle | muli r3, r1, 1 |
23 | d65f0831 | Michael Walle | check_r3 1 |
24 | d65f0831 | Michael Walle | |
25 | d65f0831 | Michael Walle | test_name MULI_5 |
26 | d65f0831 | Michael Walle | mvi r1, 2 |
27 | d65f0831 | Michael Walle | muli r3, r1, -1 |
28 | d65f0831 | Michael Walle | check_r3 -2 |
29 | d65f0831 | Michael Walle | |
30 | d65f0831 | Michael Walle | test_name MULI_6 |
31 | d65f0831 | Michael Walle | mvi r1, -2 |
32 | d65f0831 | Michael Walle | muli r3, r1, -1 |
33 | d65f0831 | Michael Walle | check_r3 2 |
34 | d65f0831 | Michael Walle | |
35 | d65f0831 | Michael Walle | test_name MULI_7 |
36 | d65f0831 | Michael Walle | mvi r1, 0x1234 |
37 | d65f0831 | Michael Walle | muli r3, r1, 0x789 |
38 | d65f0831 | Michael Walle | check_r3 0x8929d4 |
39 | d65f0831 | Michael Walle | |
40 | d65f0831 | Michael Walle | test_name MULI_8 |
41 | d65f0831 | Michael Walle | mvi r3, 4 |
42 | d65f0831 | Michael Walle | muli r3, r3, 4 |
43 | d65f0831 | Michael Walle | check_r3 16 |
44 | d65f0831 | Michael Walle | |
45 | d65f0831 | Michael Walle | end |