xref: /openbmc/linux/arch/s390/kernel/dis.c (revision 0ca37273)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Disassemble s390 instructions.
4  *
5  * Copyright IBM Corp. 2007
6  * Author(s): Martin Schwidefsky (schwidefsky@de.ibm.com),
7  */
8 
9 #include <linux/sched.h>
10 #include <linux/kernel.h>
11 #include <linux/string.h>
12 #include <linux/errno.h>
13 #include <linux/ptrace.h>
14 #include <linux/timer.h>
15 #include <linux/mm.h>
16 #include <linux/smp.h>
17 #include <linux/init.h>
18 #include <linux/interrupt.h>
19 #include <linux/delay.h>
20 #include <linux/export.h>
21 #include <linux/kallsyms.h>
22 #include <linux/reboot.h>
23 #include <linux/kprobes.h>
24 #include <linux/kdebug.h>
25 #include <linux/uaccess.h>
26 #include <linux/atomic.h>
27 #include <asm/dis.h>
28 #include <asm/io.h>
29 #include <asm/cpcmd.h>
30 #include <asm/lowcore.h>
31 #include <asm/debug.h>
32 #include <asm/irq.h>
33 
34 /* Type of operand */
35 #define OPERAND_GPR	0x1	/* Operand printed as %rx */
36 #define OPERAND_FPR	0x2	/* Operand printed as %fx */
37 #define OPERAND_AR	0x4	/* Operand printed as %ax */
38 #define OPERAND_CR	0x8	/* Operand printed as %cx */
39 #define OPERAND_VR	0x10	/* Operand printed as %vx */
40 #define OPERAND_DISP	0x20	/* Operand printed as displacement */
41 #define OPERAND_BASE	0x40	/* Operand printed as base register */
42 #define OPERAND_INDEX	0x80	/* Operand printed as index register */
43 #define OPERAND_PCREL	0x100	/* Operand printed as pc-relative symbol */
44 #define OPERAND_SIGNED	0x200	/* Operand printed as signed value */
45 #define OPERAND_LENGTH	0x400	/* Operand printed as length (+1) */
46 
47 struct s390_operand {
48 	unsigned char bits;	/* The number of bits in the operand. */
49 	unsigned char shift;	/* The number of bits to shift. */
50 	unsigned short flags;	/* One bit syntax flags. */
51 };
52 
53 struct s390_insn {
54 	union {
55 		const char name[5];
56 		struct {
57 			unsigned char zero;
58 			unsigned int offset;
59 		} __packed;
60 	};
61 	unsigned char opfrag;
62 	unsigned char format;
63 };
64 
65 struct s390_opcode_offset {
66 	unsigned char opcode;
67 	unsigned char mask;
68 	unsigned char byte;
69 	unsigned short offset;
70 	unsigned short count;
71 } __packed;
72 
73 enum {
74 	UNUSED,
75 	A_8,	/* Access reg. starting at position 8 */
76 	A_12,	/* Access reg. starting at position 12 */
77 	A_24,	/* Access reg. starting at position 24 */
78 	A_28,	/* Access reg. starting at position 28 */
79 	B_16,	/* Base register starting at position 16 */
80 	B_32,	/* Base register starting at position 32 */
81 	C_8,	/* Control reg. starting at position 8 */
82 	C_12,	/* Control reg. starting at position 12 */
83 	D20_20, /* 20 bit displacement starting at 20 */
84 	D_20,	/* Displacement starting at position 20 */
85 	D_36,	/* Displacement starting at position 36 */
86 	F_8,	/* FPR starting at position 8 */
87 	F_12,	/* FPR starting at position 12 */
88 	F_16,	/* FPR starting at position 16 */
89 	F_24,	/* FPR starting at position 24 */
90 	F_28,	/* FPR starting at position 28 */
91 	F_32,	/* FPR starting at position 32 */
92 	I8_8,	/* 8 bit signed value starting at 8 */
93 	I8_32,	/* 8 bit signed value starting at 32 */
94 	I16_16, /* 16 bit signed value starting at 16 */
95 	I16_32, /* 16 bit signed value starting at 32 */
96 	I32_16, /* 32 bit signed value starting at 16 */
97 	J12_12, /* 12 bit PC relative offset at 12 */
98 	J16_16, /* 16 bit PC relative offset at 16 */
99 	J16_32, /* 16 bit PC relative offset at 32 */
100 	J24_24, /* 24 bit PC relative offset at 24 */
101 	J32_16, /* 32 bit PC relative offset at 16 */
102 	L4_8,	/* 4 bit length starting at position 8 */
103 	L4_12,	/* 4 bit length starting at position 12 */
104 	L8_8,	/* 8 bit length starting at position 8 */
105 	R_8,	/* GPR starting at position 8 */
106 	R_12,	/* GPR starting at position 12 */
107 	R_16,	/* GPR starting at position 16 */
108 	R_24,	/* GPR starting at position 24 */
109 	R_28,	/* GPR starting at position 28 */
110 	U4_8,	/* 4 bit unsigned value starting at 8 */
111 	U4_12,	/* 4 bit unsigned value starting at 12 */
112 	U4_16,	/* 4 bit unsigned value starting at 16 */
113 	U4_20,	/* 4 bit unsigned value starting at 20 */
114 	U4_24,	/* 4 bit unsigned value starting at 24 */
115 	U4_28,	/* 4 bit unsigned value starting at 28 */
116 	U4_32,	/* 4 bit unsigned value starting at 32 */
117 	U4_36,	/* 4 bit unsigned value starting at 36 */
118 	U8_8,	/* 8 bit unsigned value starting at 8 */
119 	U8_16,	/* 8 bit unsigned value starting at 16 */
120 	U8_24,	/* 8 bit unsigned value starting at 24 */
121 	U8_28,	/* 8 bit unsigned value starting at 28 */
122 	U8_32,	/* 8 bit unsigned value starting at 32 */
123 	U12_16, /* 12 bit unsigned value starting at 16 */
124 	U16_16, /* 16 bit unsigned value starting at 16 */
125 	U16_32, /* 16 bit unsigned value starting at 32 */
126 	U32_16, /* 32 bit unsigned value starting at 16 */
127 	VX_12,	/* Vector index register starting at position 12 */
128 	V_8,	/* Vector reg. starting at position 8 */
129 	V_12,	/* Vector reg. starting at position 12 */
130 	V_16,	/* Vector reg. starting at position 16 */
131 	V_32,	/* Vector reg. starting at position 32 */
132 	X_12,	/* Index register starting at position 12 */
133 };
134 
135 static const struct s390_operand operands[] = {
136 	[UNUSED] = {  0,  0, 0 },
137 	[A_8]	 = {  4,  8, OPERAND_AR },
138 	[A_12]	 = {  4, 12, OPERAND_AR },
139 	[A_24]	 = {  4, 24, OPERAND_AR },
140 	[A_28]	 = {  4, 28, OPERAND_AR },
141 	[B_16]	 = {  4, 16, OPERAND_BASE | OPERAND_GPR },
142 	[B_32]	 = {  4, 32, OPERAND_BASE | OPERAND_GPR },
143 	[C_8]	 = {  4,  8, OPERAND_CR },
144 	[C_12]	 = {  4, 12, OPERAND_CR },
145 	[D20_20] = { 20, 20, OPERAND_DISP | OPERAND_SIGNED },
146 	[D_20]	 = { 12, 20, OPERAND_DISP },
147 	[D_36]	 = { 12, 36, OPERAND_DISP },
148 	[F_8]	 = {  4,  8, OPERAND_FPR },
149 	[F_12]	 = {  4, 12, OPERAND_FPR },
150 	[F_16]	 = {  4, 16, OPERAND_FPR },
151 	[F_24]	 = {  4, 24, OPERAND_FPR },
152 	[F_28]	 = {  4, 28, OPERAND_FPR },
153 	[F_32]	 = {  4, 32, OPERAND_FPR },
154 	[I8_8]	 = {  8,  8, OPERAND_SIGNED },
155 	[I8_32]	 = {  8, 32, OPERAND_SIGNED },
156 	[I16_16] = { 16, 16, OPERAND_SIGNED },
157 	[I16_32] = { 16, 32, OPERAND_SIGNED },
158 	[I32_16] = { 32, 16, OPERAND_SIGNED },
159 	[J12_12] = { 12, 12, OPERAND_PCREL },
160 	[J16_16] = { 16, 16, OPERAND_PCREL },
161 	[J16_32] = { 16, 32, OPERAND_PCREL },
162 	[J24_24] = { 24, 24, OPERAND_PCREL },
163 	[J32_16] = { 32, 16, OPERAND_PCREL },
164 	[L4_8]	 = {  4,  8, OPERAND_LENGTH },
165 	[L4_12]	 = {  4, 12, OPERAND_LENGTH },
166 	[L8_8]	 = {  8,  8, OPERAND_LENGTH },
167 	[R_8]	 = {  4,  8, OPERAND_GPR },
168 	[R_12]	 = {  4, 12, OPERAND_GPR },
169 	[R_16]	 = {  4, 16, OPERAND_GPR },
170 	[R_24]	 = {  4, 24, OPERAND_GPR },
171 	[R_28]	 = {  4, 28, OPERAND_GPR },
172 	[U4_8]	 = {  4,  8, 0 },
173 	[U4_12]	 = {  4, 12, 0 },
174 	[U4_16]	 = {  4, 16, 0 },
175 	[U4_20]	 = {  4, 20, 0 },
176 	[U4_24]	 = {  4, 24, 0 },
177 	[U4_28]	 = {  4, 28, 0 },
178 	[U4_32]	 = {  4, 32, 0 },
179 	[U4_36]	 = {  4, 36, 0 },
180 	[U8_8]	 = {  8,  8, 0 },
181 	[U8_16]	 = {  8, 16, 0 },
182 	[U8_24]	 = {  8, 24, 0 },
183 	[U8_28]	 = {  8, 28, 0 },
184 	[U8_32]	 = {  8, 32, 0 },
185 	[U12_16] = { 12, 16, 0 },
186 	[U16_16] = { 16, 16, 0 },
187 	[U16_32] = { 16, 32, 0 },
188 	[U32_16] = { 32, 16, 0 },
189 	[VX_12]	 = {  4, 12, OPERAND_INDEX | OPERAND_VR },
190 	[V_8]	 = {  4,  8, OPERAND_VR },
191 	[V_12]	 = {  4, 12, OPERAND_VR },
192 	[V_16]	 = {  4, 16, OPERAND_VR },
193 	[V_32]	 = {  4, 32, OPERAND_VR },
194 	[X_12]	 = {  4, 12, OPERAND_INDEX | OPERAND_GPR },
195 };
196 
197 static const unsigned char formats[][6] = {
198 	[INSTR_E]	     = { 0, 0, 0, 0, 0, 0 },
199 	[INSTR_IE_UU]	     = { U4_24, U4_28, 0, 0, 0, 0 },
200 	[INSTR_MII_UPP]	     = { U4_8, J12_12, J24_24 },
201 	[INSTR_RIE_R0IU]     = { R_8, I16_16, U4_32, 0, 0, 0 },
202 	[INSTR_RIE_R0UU]     = { R_8, U16_16, U4_32, 0, 0, 0 },
203 	[INSTR_RIE_RRI0]     = { R_8, R_12, I16_16, 0, 0, 0 },
204 	[INSTR_RIE_RRP]	     = { R_8, R_12, J16_16, 0, 0, 0 },
205 	[INSTR_RIE_RRPU]     = { R_8, R_12, U4_32, J16_16, 0, 0 },
206 	[INSTR_RIE_RRUUU]    = { R_8, R_12, U8_16, U8_24, U8_32, 0 },
207 	[INSTR_RIE_RUI0]     = { R_8, I16_16, U4_12, 0, 0, 0 },
208 	[INSTR_RIE_RUPI]     = { R_8, I8_32, U4_12, J16_16, 0, 0 },
209 	[INSTR_RIE_RUPU]     = { R_8, U8_32, U4_12, J16_16, 0, 0 },
210 	[INSTR_RIL_RI]	     = { R_8, I32_16, 0, 0, 0, 0 },
211 	[INSTR_RIL_RP]	     = { R_8, J32_16, 0, 0, 0, 0 },
212 	[INSTR_RIL_RU]	     = { R_8, U32_16, 0, 0, 0, 0 },
213 	[INSTR_RIL_UP]	     = { U4_8, J32_16, 0, 0, 0, 0 },
214 	[INSTR_RIS_RURDI]    = { R_8, I8_32, U4_12, D_20, B_16, 0 },
215 	[INSTR_RIS_RURDU]    = { R_8, U8_32, U4_12, D_20, B_16, 0 },
216 	[INSTR_RI_RI]	     = { R_8, I16_16, 0, 0, 0, 0 },
217 	[INSTR_RI_RP]	     = { R_8, J16_16, 0, 0, 0, 0 },
218 	[INSTR_RI_RU]	     = { R_8, U16_16, 0, 0, 0, 0 },
219 	[INSTR_RI_UP]	     = { U4_8, J16_16, 0, 0, 0, 0 },
220 	[INSTR_RRE_00]	     = { 0, 0, 0, 0, 0, 0 },
221 	[INSTR_RRE_AA]	     = { A_24, A_28, 0, 0, 0, 0 },
222 	[INSTR_RRE_AR]	     = { A_24, R_28, 0, 0, 0, 0 },
223 	[INSTR_RRE_F0]	     = { F_24, 0, 0, 0, 0, 0 },
224 	[INSTR_RRE_FF]	     = { F_24, F_28, 0, 0, 0, 0 },
225 	[INSTR_RRE_FR]	     = { F_24, R_28, 0, 0, 0, 0 },
226 	[INSTR_RRE_R0]	     = { R_24, 0, 0, 0, 0, 0 },
227 	[INSTR_RRE_RA]	     = { R_24, A_28, 0, 0, 0, 0 },
228 	[INSTR_RRE_RF]	     = { R_24, F_28, 0, 0, 0, 0 },
229 	[INSTR_RRE_RR]	     = { R_24, R_28, 0, 0, 0, 0 },
230 	[INSTR_RRF_0UFF]     = { F_24, F_28, U4_20, 0, 0, 0 },
231 	[INSTR_RRF_0URF]     = { R_24, F_28, U4_20, 0, 0, 0 },
232 	[INSTR_RRF_F0FF]     = { F_16, F_24, F_28, 0, 0, 0 },
233 	[INSTR_RRF_F0FF2]    = { F_24, F_16, F_28, 0, 0, 0 },
234 	[INSTR_RRF_F0FR]     = { F_24, F_16, R_28, 0, 0, 0 },
235 	[INSTR_RRF_FFRU]     = { F_24, F_16, R_28, U4_20, 0, 0 },
236 	[INSTR_RRF_FUFF]     = { F_24, F_16, F_28, U4_20, 0, 0 },
237 	[INSTR_RRF_FUFF2]    = { F_24, F_28, F_16, U4_20, 0, 0 },
238 	[INSTR_RRF_R0RR]     = { R_24, R_16, R_28, 0, 0, 0 },
239 	[INSTR_RRF_R0RR2]    = { R_24, R_28, R_16, 0, 0, 0 },
240 	[INSTR_RRF_RURR]     = { R_24, R_28, R_16, U4_20, 0, 0 },
241 	[INSTR_RRF_RURR2]    = { R_24, R_16, R_28, U4_20, 0, 0 },
242 	[INSTR_RRF_U0FF]     = { F_24, U4_16, F_28, 0, 0, 0 },
243 	[INSTR_RRF_U0RF]     = { R_24, U4_16, F_28, 0, 0, 0 },
244 	[INSTR_RRF_U0RR]     = { R_24, R_28, U4_16, 0, 0, 0 },
245 	[INSTR_RRF_URR]	     = { R_24, R_28, U8_16, 0, 0, 0 },
246 	[INSTR_RRF_UUFF]     = { F_24, U4_16, F_28, U4_20, 0, 0 },
247 	[INSTR_RRF_UUFR]     = { F_24, U4_16, R_28, U4_20, 0, 0 },
248 	[INSTR_RRF_UURF]     = { R_24, U4_16, F_28, U4_20, 0, 0 },
249 	[INSTR_RRS_RRRDU]    = { R_8, R_12, U4_32, D_20, B_16 },
250 	[INSTR_RR_FF]	     = { F_8, F_12, 0, 0, 0, 0 },
251 	[INSTR_RR_R0]	     = { R_8,  0, 0, 0, 0, 0 },
252 	[INSTR_RR_RR]	     = { R_8, R_12, 0, 0, 0, 0 },
253 	[INSTR_RR_U0]	     = { U8_8,	0, 0, 0, 0, 0 },
254 	[INSTR_RR_UR]	     = { U4_8, R_12, 0, 0, 0, 0 },
255 	[INSTR_RSI_RRP]	     = { R_8, R_12, J16_16, 0, 0, 0 },
256 	[INSTR_RSL_LRDFU]    = { F_32, D_20, L8_8, B_16, U4_36, 0 },
257 	[INSTR_RSL_R0RD]     = { D_20, L4_8, B_16, 0, 0, 0 },
258 	[INSTR_RSY_AARD]     = { A_8, A_12, D20_20, B_16, 0, 0 },
259 	[INSTR_RSY_CCRD]     = { C_8, C_12, D20_20, B_16, 0, 0 },
260 	[INSTR_RSY_RDRU]     = { R_8, D20_20, B_16, U4_12, 0, 0 },
261 	[INSTR_RSY_RRRD]     = { R_8, R_12, D20_20, B_16, 0, 0 },
262 	[INSTR_RSY_RURD]     = { R_8, U4_12, D20_20, B_16, 0, 0 },
263 	[INSTR_RSY_RURD2]    = { R_8, D20_20, B_16, U4_12, 0, 0 },
264 	[INSTR_RS_AARD]	     = { A_8, A_12, D_20, B_16, 0, 0 },
265 	[INSTR_RS_CCRD]	     = { C_8, C_12, D_20, B_16, 0, 0 },
266 	[INSTR_RS_R0RD]	     = { R_8, D_20, B_16, 0, 0, 0 },
267 	[INSTR_RS_RRRD]	     = { R_8, R_12, D_20, B_16, 0, 0 },
268 	[INSTR_RS_RURD]	     = { R_8, U4_12, D_20, B_16, 0, 0 },
269 	[INSTR_RXE_FRRD]     = { F_8, D_20, X_12, B_16, 0, 0 },
270 	[INSTR_RXE_RRRDU]    = { R_8, D_20, X_12, B_16, U4_32, 0 },
271 	[INSTR_RXF_FRRDF]    = { F_32, F_8, D_20, X_12, B_16, 0 },
272 	[INSTR_RXY_FRRD]     = { F_8, D20_20, X_12, B_16, 0, 0 },
273 	[INSTR_RXY_RRRD]     = { R_8, D20_20, X_12, B_16, 0, 0 },
274 	[INSTR_RXY_URRD]     = { U4_8, D20_20, X_12, B_16, 0, 0 },
275 	[INSTR_RX_FRRD]	     = { F_8, D_20, X_12, B_16, 0, 0 },
276 	[INSTR_RX_RRRD]	     = { R_8, D_20, X_12, B_16, 0, 0 },
277 	[INSTR_RX_URRD]	     = { U4_8, D_20, X_12, B_16, 0, 0 },
278 	[INSTR_SIL_RDI]	     = { D_20, B_16, I16_32, 0, 0, 0 },
279 	[INSTR_SIL_RDU]	     = { D_20, B_16, U16_32, 0, 0, 0 },
280 	[INSTR_SIY_IRD]	     = { D20_20, B_16, I8_8, 0, 0, 0 },
281 	[INSTR_SIY_URD]	     = { D20_20, B_16, U8_8, 0, 0, 0 },
282 	[INSTR_SI_RD]	     = { D_20, B_16, 0, 0, 0, 0 },
283 	[INSTR_SI_URD]	     = { D_20, B_16, U8_8, 0, 0, 0 },
284 	[INSTR_SMI_U0RDP]    = { U4_8, J16_32, D_20, B_16, 0, 0 },
285 	[INSTR_SSE_RDRD]     = { D_20, B_16, D_36, B_32, 0, 0 },
286 	[INSTR_SSF_RRDRD]    = { D_20, B_16, D_36, B_32, R_8, 0 },
287 	[INSTR_SSF_RRDRD2]   = { R_8, D_20, B_16, D_36, B_32, 0 },
288 	[INSTR_SS_L0RDRD]    = { D_20, L8_8, B_16, D_36, B_32, 0 },
289 	[INSTR_SS_L2RDRD]    = { D_20, B_16, D_36, L8_8, B_32, 0 },
290 	[INSTR_SS_LIRDRD]    = { D_20, L4_8, B_16, D_36, B_32, U4_12 },
291 	[INSTR_SS_LLRDRD]    = { D_20, L4_8, B_16, D_36, L4_12, B_32 },
292 	[INSTR_SS_RRRDRD]    = { D_20, R_8, B_16, D_36, B_32, R_12 },
293 	[INSTR_SS_RRRDRD2]   = { R_8, D_20, B_16, R_12, D_36, B_32 },
294 	[INSTR_SS_RRRDRD3]   = { R_8, R_12, D_20, B_16, D_36, B_32 },
295 	[INSTR_S_00]	     = { 0, 0, 0, 0, 0, 0 },
296 	[INSTR_S_RD]	     = { D_20, B_16, 0, 0, 0, 0 },
297 	[INSTR_VRI_V0IU]     = { V_8, I16_16, U4_32, 0, 0, 0 },
298 	[INSTR_VRI_V0U]	     = { V_8, U16_16, 0, 0, 0, 0 },
299 	[INSTR_VRI_V0UU2]    = { V_8, U16_16, U4_32, 0, 0, 0 },
300 	[INSTR_VRI_V0UUU]    = { V_8, U8_16, U8_24, U4_32, 0, 0 },
301 	[INSTR_VRI_VR0UU]    = { V_8, R_12, U8_28, U4_24, 0, 0 },
302 	[INSTR_VRI_VVUU]     = { V_8, V_12, U16_16, U4_32, 0, 0 },
303 	[INSTR_VRI_VVUUU]    = { V_8, V_12, U12_16, U4_32, U4_28, 0 },
304 	[INSTR_VRI_VVUUU2]   = { V_8, V_12, U8_28, U8_16, U4_24, 0 },
305 	[INSTR_VRI_VVV0U]    = { V_8, V_12, V_16, U8_24, 0, 0 },
306 	[INSTR_VRI_VVV0UU]   = { V_8, V_12, V_16, U8_24, U4_32, 0 },
307 	[INSTR_VRI_VVV0UU2]  = { V_8, V_12, V_16, U8_28, U4_24, 0 },
308 	[INSTR_VRR_0V]	     = { V_12, 0, 0, 0, 0, 0 },
309 	[INSTR_VRR_0VV0U]    = { V_12, V_16, U4_24, 0, 0, 0 },
310 	[INSTR_VRR_RV0UU]    = { R_8, V_12, U4_24, U4_28, 0, 0 },
311 	[INSTR_VRR_VRR]	     = { V_8, R_12, R_16, 0, 0, 0 },
312 	[INSTR_VRR_VV]	     = { V_8, V_12, 0, 0, 0, 0 },
313 	[INSTR_VRR_VV0U]     = { V_8, V_12, U4_32, 0, 0, 0 },
314 	[INSTR_VRR_VV0U0U]   = { V_8, V_12, U4_32, U4_24, 0, 0 },
315 	[INSTR_VRR_VV0U2]    = { V_8, V_12, U4_24, 0, 0, 0 },
316 	[INSTR_VRR_VV0UU2]   = { V_8, V_12, U4_32, U4_28, 0, 0 },
317 	[INSTR_VRR_VV0UUU]   = { V_8, V_12, U4_32, U4_28, U4_24, 0 },
318 	[INSTR_VRR_VVV]	     = { V_8, V_12, V_16, 0, 0, 0 },
319 	[INSTR_VRR_VVV0U]    = { V_8, V_12, V_16, U4_32, 0, 0 },
320 	[INSTR_VRR_VVV0U0]   = { V_8, V_12, V_16, U4_24, 0, 0 },
321 	[INSTR_VRR_VVV0U0U]  = { V_8, V_12, V_16, U4_32, U4_24, 0 },
322 	[INSTR_VRR_VVV0UU]   = { V_8, V_12, V_16, U4_32, U4_28, 0 },
323 	[INSTR_VRR_VVV0UUU]  = { V_8, V_12, V_16, U4_32, U4_28, U4_24 },
324 	[INSTR_VRR_VVV0V]    = { V_8, V_12, V_16, V_32, 0, 0 },
325 	[INSTR_VRR_VVVU0UV]  = { V_8, V_12, V_16, V_32, U4_28, U4_20 },
326 	[INSTR_VRR_VVVU0V]   = { V_8, V_12, V_16, V_32, U4_20, 0 },
327 	[INSTR_VRR_VVVUU0V]  = { V_8, V_12, V_16, V_32, U4_20, U4_24 },
328 	[INSTR_VRS_RRDV]     = { V_32, R_12, D_20, B_16, 0, 0 },
329 	[INSTR_VRS_RVRDU]    = { R_8, V_12, D_20, B_16, U4_32, 0 },
330 	[INSTR_VRS_VRRD]     = { V_8, R_12, D_20, B_16, 0, 0 },
331 	[INSTR_VRS_VRRDU]    = { V_8, R_12, D_20, B_16, U4_32, 0 },
332 	[INSTR_VRS_VVRDU]    = { V_8, V_12, D_20, B_16, U4_32, 0 },
333 	[INSTR_VRV_VVXRDU]   = { V_8, D_20, VX_12, B_16, U4_32, 0 },
334 	[INSTR_VRX_VRRDU]    = { V_8, D_20, X_12, B_16, U4_32, 0 },
335 	[INSTR_VRX_VV]	     = { V_8, V_12, 0, 0, 0, 0 },
336 	[INSTR_VSI_URDV]     = { V_32, D_20, B_16, U8_8, 0, 0 },
337 };
338 
339 static char long_insn_name[][7] = LONG_INSN_INITIALIZER;
340 static struct s390_insn opcode[] = OPCODE_TABLE_INITIALIZER;
341 static struct s390_opcode_offset opcode_offset[] = OPCODE_OFFSET_INITIALIZER;
342 
343 /* Extracts an operand value from an instruction.  */
344 static unsigned int extract_operand(unsigned char *code,
345 				    const struct s390_operand *operand)
346 {
347 	unsigned char *cp;
348 	unsigned int val;
349 	int bits;
350 
351 	/* Extract fragments of the operand byte for byte.  */
352 	cp = code + operand->shift / 8;
353 	bits = (operand->shift & 7) + operand->bits;
354 	val = 0;
355 	do {
356 		val <<= 8;
357 		val |= (unsigned int) *cp++;
358 		bits -= 8;
359 	} while (bits > 0);
360 	val >>= -bits;
361 	val &= ((1U << (operand->bits - 1)) << 1) - 1;
362 
363 	/* Check for special long displacement case.  */
364 	if (operand->bits == 20 && operand->shift == 20)
365 		val = (val & 0xff) << 12 | (val & 0xfff00) >> 8;
366 
367 	/* Check for register extensions bits for vector registers. */
368 	if (operand->flags & OPERAND_VR) {
369 		if (operand->shift == 8)
370 			val |= (code[4] & 8) << 1;
371 		else if (operand->shift == 12)
372 			val |= (code[4] & 4) << 2;
373 		else if (operand->shift == 16)
374 			val |= (code[4] & 2) << 3;
375 		else if (operand->shift == 32)
376 			val |= (code[4] & 1) << 4;
377 	}
378 
379 	/* Sign extend value if the operand is signed or pc relative.  */
380 	if ((operand->flags & (OPERAND_SIGNED | OPERAND_PCREL)) &&
381 	    (val & (1U << (operand->bits - 1))))
382 		val |= (-1U << (operand->bits - 1)) << 1;
383 
384 	/* Double value if the operand is pc relative.	*/
385 	if (operand->flags & OPERAND_PCREL)
386 		val <<= 1;
387 
388 	/* Length x in an instructions has real length x + 1.  */
389 	if (operand->flags & OPERAND_LENGTH)
390 		val++;
391 	return val;
392 }
393 
394 struct s390_insn *find_insn(unsigned char *code)
395 {
396 	struct s390_opcode_offset *entry;
397 	struct s390_insn *insn;
398 	unsigned char opfrag;
399 	int i;
400 
401 	/* Search the opcode offset table to find an entry which
402 	 * matches the beginning of the opcode. If there is no match
403 	 * the last entry will be used, which is the default entry for
404 	 * unknown instructions as well as 1-byte opcode instructions.
405 	 */
406 	for (i = 0; i < ARRAY_SIZE(opcode_offset); i++) {
407 		entry = &opcode_offset[i];
408 		if (entry->opcode == code[0])
409 			break;
410 	}
411 
412 	opfrag = *(code + entry->byte) & entry->mask;
413 
414 	insn = &opcode[entry->offset];
415 	for (i = 0; i < entry->count; i++) {
416 		if (insn->opfrag == opfrag)
417 			return insn;
418 		insn++;
419 	}
420 	return NULL;
421 }
422 
423 static int print_insn(char *buffer, unsigned char *code, unsigned long addr)
424 {
425 	struct s390_insn *insn;
426 	const unsigned char *ops;
427 	const struct s390_operand *operand;
428 	unsigned int value;
429 	char separator;
430 	char *ptr;
431 	int i;
432 
433 	ptr = buffer;
434 	insn = find_insn(code);
435 	if (insn) {
436 		if (insn->zero == 0)
437 			ptr += sprintf(ptr, "%.7s\t",
438 				       long_insn_name[insn->offset]);
439 		else
440 			ptr += sprintf(ptr, "%.5s\t", insn->name);
441 		/* Extract the operands. */
442 		separator = 0;
443 		for (ops = formats[insn->format], i = 0;
444 		     *ops != 0 && i < 6; ops++, i++) {
445 			operand = operands + *ops;
446 			value = extract_operand(code, operand);
447 			if ((operand->flags & OPERAND_INDEX)  && value == 0)
448 				continue;
449 			if ((operand->flags & OPERAND_BASE) &&
450 			    value == 0 && separator == '(') {
451 				separator = ',';
452 				continue;
453 			}
454 			if (separator)
455 				ptr += sprintf(ptr, "%c", separator);
456 			if (operand->flags & OPERAND_GPR)
457 				ptr += sprintf(ptr, "%%r%i", value);
458 			else if (operand->flags & OPERAND_FPR)
459 				ptr += sprintf(ptr, "%%f%i", value);
460 			else if (operand->flags & OPERAND_AR)
461 				ptr += sprintf(ptr, "%%a%i", value);
462 			else if (operand->flags & OPERAND_CR)
463 				ptr += sprintf(ptr, "%%c%i", value);
464 			else if (operand->flags & OPERAND_VR)
465 				ptr += sprintf(ptr, "%%v%i", value);
466 			else if (operand->flags & OPERAND_PCREL) {
467 				void *pcrel = (void *)((int)value + addr);
468 
469 				ptr += sprintf(ptr, "%px", pcrel);
470 			} else if (operand->flags & OPERAND_SIGNED)
471 				ptr += sprintf(ptr, "%i", value);
472 			else
473 				ptr += sprintf(ptr, "%u", value);
474 			if (operand->flags & OPERAND_DISP)
475 				separator = '(';
476 			else if (operand->flags & OPERAND_BASE) {
477 				ptr += sprintf(ptr, ")");
478 				separator = ',';
479 			} else
480 				separator = ',';
481 		}
482 	} else
483 		ptr += sprintf(ptr, "unknown");
484 	return (int) (ptr - buffer);
485 }
486 
487 static int copy_from_regs(struct pt_regs *regs, void *dst, void *src, int len)
488 {
489 	if (user_mode(regs)) {
490 		if (copy_from_user(dst, (char __user *)src, len))
491 			return -EFAULT;
492 	} else {
493 		if (copy_from_kernel_nofault(dst, src, len))
494 			return -EFAULT;
495 	}
496 	return 0;
497 }
498 
499 void show_code(struct pt_regs *regs)
500 {
501 	char *mode = user_mode(regs) ? "User" : "Krnl";
502 	unsigned char code[64];
503 	char buffer[128], *ptr;
504 	unsigned long addr;
505 	int start, end, opsize, hops, i;
506 
507 	/* Get a snapshot of the 64 bytes surrounding the fault address. */
508 	for (start = 32; start && regs->psw.addr >= 34 - start; start -= 2) {
509 		addr = regs->psw.addr - 34 + start;
510 		if (copy_from_regs(regs, code + start - 2, (void *)addr, 2))
511 			break;
512 	}
513 	for (end = 32; end < 64; end += 2) {
514 		addr = regs->psw.addr + end - 32;
515 		if (copy_from_regs(regs, code + end, (void *)addr, 2))
516 			break;
517 	}
518 	/* Code snapshot useable ? */
519 	if ((regs->psw.addr & 1) || start >= end) {
520 		printk("%s Code: Bad PSW.\n", mode);
521 		return;
522 	}
523 	/* Find a starting point for the disassembly. */
524 	while (start < 32) {
525 		for (i = 0, hops = 0; start + i < 32 && hops < 3; hops++) {
526 			if (!find_insn(code + start + i))
527 				break;
528 			i += insn_length(code[start + i]);
529 		}
530 		if (start + i == 32)
531 			/* Looks good, sequence ends at PSW. */
532 			break;
533 		start += 2;
534 	}
535 	/* Decode the instructions. */
536 	ptr = buffer;
537 	ptr += sprintf(ptr, "%s Code:", mode);
538 	hops = 0;
539 	while (start < end && hops < 8) {
540 		opsize = insn_length(code[start]);
541 		if  (start + opsize == 32)
542 			*ptr++ = '#';
543 		else if (start == 32)
544 			*ptr++ = '>';
545 		else
546 			*ptr++ = ' ';
547 		addr = regs->psw.addr + start - 32;
548 		ptr += sprintf(ptr, "%px: ", (void *)addr);
549 		if (start + opsize >= end)
550 			break;
551 		for (i = 0; i < opsize; i++)
552 			ptr += sprintf(ptr, "%02x", code[start + i]);
553 		*ptr++ = '\t';
554 		if (i < 6)
555 			*ptr++ = '\t';
556 		ptr += print_insn(ptr, code + start, addr);
557 		start += opsize;
558 		pr_cont("%s", buffer);
559 		ptr = buffer;
560 		ptr += sprintf(ptr, "\n          ");
561 		hops++;
562 	}
563 	pr_cont("\n");
564 }
565 
566 void print_fn_code(unsigned char *code, unsigned long len)
567 {
568 	char buffer[128], *ptr;
569 	int opsize, i;
570 
571 	while (len) {
572 		ptr = buffer;
573 		opsize = insn_length(*code);
574 		if (opsize > len)
575 			break;
576 		ptr += sprintf(ptr, "%px: ", code);
577 		for (i = 0; i < opsize; i++)
578 			ptr += sprintf(ptr, "%02x", code[i]);
579 		*ptr++ = '\t';
580 		if (i < 4)
581 			*ptr++ = '\t';
582 		ptr += print_insn(ptr, code, (unsigned long) code);
583 		*ptr++ = '\n';
584 		*ptr++ = 0;
585 		printk("%s", buffer);
586 		code += opsize;
587 		len -= opsize;
588 	}
589 }
590