[mips][microMIPS] Implement ADDIUS5 instruction
[oota-llvm.git] / test / MC / Mips / mips-coprocessor-encodings.s
1 # RUN: llvm-mc %s -triple=mips64-unknown-freebsd -show-encoding \
2 # RUN:| FileCheck --check-prefix=MIPS64 %s
3
4 # MIPS64:       dmtc0   $12, $16, 2             # encoding: [0x40,0xac,0x80,0x02]
5 # MIPS64:       dmtc0   $12, $16, 0             # encoding: [0x40,0xac,0x80,0x00]
6 # MIPS64:       mtc0    $12, $16, 2             # encoding: [0x40,0x8c,0x80,0x02]
7 # MIPS64:       mtc0    $12, $16, 0             # encoding: [0x40,0x8c,0x80,0x00]
8 # MIPS64:       dmfc0   $12, $16, 2             # encoding: [0x40,0x2c,0x80,0x02]
9 # MIPS64:       dmfc0   $12, $16, 0             # encoding: [0x40,0x2c,0x80,0x00]
10 # MIPS64:       mfc0    $12, $16, 2             # encoding: [0x40,0x0c,0x80,0x02]
11 # MIPS64:       mfc0    $12, $16, 0             # encoding: [0x40,0x0c,0x80,0x00]
12
13         dmtc0   $12, $16, 2
14         dmtc0   $12, $16
15         mtc0    $12, $16, 2
16         mtc0    $12, $16
17         dmfc0   $12, $16, 2
18         dmfc0   $12, $16
19         mfc0    $12, $16, 2
20         mfc0    $12, $16
21
22 # MIPS64:       dmtc2   $12, $16, 2             # encoding: [0x48,0xac,0x80,0x02]
23 # MIPS64:       dmtc2   $12, $16, 0             # encoding: [0x48,0xac,0x80,0x00]
24 # MIPS64:       mtc2    $12, $16, 2             # encoding: [0x48,0x8c,0x80,0x02]
25 # MIPS64:       mtc2    $12, $16, 0             # encoding: [0x48,0x8c,0x80,0x00]
26 # MIPS64:       dmfc2   $12, $16, 2             # encoding: [0x48,0x2c,0x80,0x02]
27 # MIPS64:       dmfc2   $12, $16, 0             # encoding: [0x48,0x2c,0x80,0x00]
28 # MIPS64:       mfc2    $12, $16, 2             # encoding: [0x48,0x0c,0x80,0x02]
29 # MIPS64:       mfc2    $12, $16, 0             # encoding: [0x48,0x0c,0x80,0x00]
30
31         dmtc2   $12, $16, 2
32         dmtc2   $12, $16
33         mtc2    $12, $16, 2
34         mtc2    $12, $16
35         dmfc2   $12, $16, 2
36         dmfc2   $12, $16
37         mfc2    $12, $16, 2
38         mfc2    $12, $16