1# RUN: llvm-mc %s -triple=mips64-unknown-freebsd -show-encoding \
2# RUN:     -target-abi o32 | FileCheck %s
3
4# Check that the register names are mapped to their correct numbers for o32
5# Second byte of daddiu with $zero at rt contains the number of the source
6# register.
7
8.set noat
9daddiu	$zero, $zero, 0 # CHECK: encoding: [0x64,0x00,0x00,0x00]
10daddiu	$at, $zero, 0   # CHECK: encoding: [0x64,0x01,0x00,0x00]
11daddiu	$v0, $zero, 0   # CHECK: encoding: [0x64,0x02,0x00,0x00]
12daddiu	$v1, $zero, 0   # CHECK: encoding: [0x64,0x03,0x00,0x00]
13daddiu	$a0, $zero, 0   # CHECK: encoding: [0x64,0x04,0x00,0x00]
14daddiu	$a1, $zero, 0   # CHECK: encoding: [0x64,0x05,0x00,0x00]
15daddiu	$a2, $zero, 0   # CHECK: encoding: [0x64,0x06,0x00,0x00]
16daddiu	$a3, $zero, 0   # CHECK: encoding: [0x64,0x07,0x00,0x00]
17daddiu	$t0, $zero, 0   # CHECK: encoding: [0x64,0x08,0x00,0x00]
18daddiu	$t1, $zero, 0   # CHECK: encoding: [0x64,0x09,0x00,0x00]
19daddiu	$t2, $zero, 0   # CHECK: encoding: [0x64,0x0a,0x00,0x00]
20daddiu	$t3, $zero, 0   # CHECK: encoding: [0x64,0x0b,0x00,0x00]
21daddiu	$t4, $zero, 0   # CHECK: encoding: [0x64,0x0c,0x00,0x00]
22daddiu	$t5, $zero, 0   # CHECK: encoding: [0x64,0x0d,0x00,0x00]
23daddiu	$t6, $zero, 0   # CHECK: encoding: [0x64,0x0e,0x00,0x00]
24daddiu	$t7, $zero, 0   # CHECK: encoding: [0x64,0x0f,0x00,0x00]
25daddiu	$s0, $zero, 0   # CHECK: encoding: [0x64,0x10,0x00,0x00]
26daddiu	$s1, $zero, 0   # CHECK: encoding: [0x64,0x11,0x00,0x00]
27daddiu	$s2, $zero, 0   # CHECK: encoding: [0x64,0x12,0x00,0x00]
28daddiu	$s3, $zero, 0   # CHECK: encoding: [0x64,0x13,0x00,0x00]
29daddiu	$s4, $zero, 0   # CHECK: encoding: [0x64,0x14,0x00,0x00]
30daddiu	$s5, $zero, 0   # CHECK: encoding: [0x64,0x15,0x00,0x00]
31daddiu	$s6, $zero, 0   # CHECK: encoding: [0x64,0x16,0x00,0x00]
32daddiu	$s7, $zero, 0   # CHECK: encoding: [0x64,0x17,0x00,0x00]
33daddiu	$t8, $zero, 0   # CHECK: encoding: [0x64,0x18,0x00,0x00]
34daddiu	$t9, $zero, 0   # CHECK: encoding: [0x64,0x19,0x00,0x00]
35daddiu	$k0, $zero, 0   # CHECK: encoding: [0x64,0x1a,0x00,0x00]
36daddiu	$k1, $zero, 0   # CHECK: encoding: [0x64,0x1b,0x00,0x00]
37daddiu	$gp, $zero, 0   # CHECK: encoding: [0x64,0x1c,0x00,0x00]
38daddiu	$sp, $zero, 0   # CHECK: encoding: [0x64,0x1d,0x00,0x00]
39daddiu	$fp, $zero, 0   # CHECK: encoding: [0x64,0x1e,0x00,0x00]
40daddiu	$s8, $zero, 0   # CHECK: encoding: [0x64,0x1e,0x00,0x00]
41daddiu	$ra, $zero, 0   # CHECK: encoding: [0x64,0x1f,0x00,0x00]
42