Lines Matching refs:CHECK
3 # Check that the register names are mapped to their correct numbers for n64
7 # CHECK: encoding: [0x64,0x00,0x00,0x00]
8 # CHECK: encoding: [0x64,0x01,0x00,0x00]
9 # CHECK: encoding: [0x64,0x02,0x00,0x00]
10 # CHECK: encoding: [0x64,0x03,0x00,0x00]
11 # CHECK: encoding: [0x64,0x04,0x00,0x00]
12 # CHECK: encoding: [0x64,0x05,0x00,0x00]
13 # CHECK: encoding: [0x64,0x06,0x00,0x00]
14 # CHECK: encoding: [0x64,0x07,0x00,0x00]
15 # CHECK: encoding: [0x64,0x08,0x00,0x00]
16 # CHECK: encoding: [0x64,0x09,0x00,0x00]
17 # CHECK: encoding: [0x64,0x0a,0x00,0x00]
18 # CHECK: encoding: [0x64,0x0b,0x00,0x00]
19 # CHECK: encoding: [0x64,0x0c,0x00,0x00]
20 # CHECK: encoding: [0x64,0x0d,0x00,0x00]
21 # CHECK: encoding: [0x64,0x0e,0x00,0x00]
22 # CHECK: encoding: [0x64,0x0f,0x00,0x00]
23 # CHECK: encoding: [0x64,0x10,0x00,0x00]
24 # CHECK: encoding: [0x64,0x11,0x00,0x00]
25 # CHECK: encoding: [0x64,0x12,0x00,0x00]
26 # CHECK: encoding: [0x64,0x13,0x00,0x00]
27 # CHECK: encoding: [0x64,0x14,0x00,0x00]
28 # CHECK: encoding: [0x64,0x15,0x00,0x00]
29 # CHECK: encoding: [0x64,0x16,0x00,0x00]
30 # CHECK: encoding: [0x64,0x17,0x00,0x00]
31 # CHECK: encoding: [0x64,0x18,0x00,0x00]
32 # CHECK: encoding: [0x64,0x19,0x00,0x00]
33 # CHECK: encoding: [0x64,0x1a,0x00,0x00]
34 # CHECK: encoding: [0x64,0x1b,0x00,0x00]
35 # CHECK: encoding: [0x64,0x1c,0x00,0x00]
36 # CHECK: encoding: [0x64,0x1d,0x00,0x00]
37 # CHECK: encoding: [0x64,0x1e,0x00,0x00]
38 # CHECK: encoding: [0x64,0x1f,0x00,0x00]
