* gdb.base/corefile.exp: Recognize the message saying that GDB
[deliverable/binutils-gdb.git] / gdb / s390-tdep.c
1 /* Target-dependent code for GDB, the GNU debugger.
2 Copyright 2001 Free Software Foundation, Inc.
3 Contributed by D.J. Barrow (djbarrow@de.ibm.com,barrow_dj@yahoo.com)
4 for IBM Deutschland Entwicklung GmbH, IBM Corporation.
5
6 This file is part of GDB.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
21 02111-1307, USA. */
22
23 #define S390_TDEP /* for special macros in tm-s390.h */
24 #include <defs.h>
25 #include "arch-utils.h"
26 #include "frame.h"
27 #include "inferior.h"
28 #include "symtab.h"
29 #include "target.h"
30 #include "gdbcore.h"
31 #include "gdbcmd.h"
32 #include "symfile.h"
33 #include "objfiles.h"
34 #include "tm.h"
35 #include "../bfd/bfd.h"
36 #include "floatformat.h"
37 #include "regcache.h"
38 #include "value.h"
39 #include "gdb_assert.h"
40
41
42
43
44 /* Number of bytes of storage in the actual machine representation
45 for register N.
46 Note that the unsigned cast here forces the result of the
47 subtraction to very high positive values if N < S390_FP0_REGNUM */
48 int
49 s390_register_raw_size (int reg_nr)
50 {
51 return ((unsigned) reg_nr - S390_FP0_REGNUM) <
52 S390_NUM_FPRS ? S390_FPR_SIZE : 4;
53 }
54
55 int
56 s390x_register_raw_size (int reg_nr)
57 {
58 return (reg_nr == S390_FPC_REGNUM)
59 || (reg_nr >= S390_FIRST_ACR && reg_nr <= S390_LAST_ACR) ? 4 : 8;
60 }
61
62 int
63 s390_cannot_fetch_register (int regno)
64 {
65 return (regno >= S390_FIRST_CR && regno < (S390_FIRST_CR + 9)) ||
66 (regno >= (S390_FIRST_CR + 12) && regno <= S390_LAST_CR);
67 }
68
69 int
70 s390_register_byte (int reg_nr)
71 {
72 if (reg_nr <= S390_GP_LAST_REGNUM)
73 return reg_nr * S390_GPR_SIZE;
74 if (reg_nr <= S390_LAST_ACR)
75 return S390_ACR0_OFFSET + (((reg_nr) - S390_FIRST_ACR) * S390_ACR_SIZE);
76 if (reg_nr <= S390_LAST_CR)
77 return S390_CR0_OFFSET + (((reg_nr) - S390_FIRST_CR) * S390_CR_SIZE);
78 if (reg_nr == S390_FPC_REGNUM)
79 return S390_FPC_OFFSET;
80 else
81 return S390_FP0_OFFSET + (((reg_nr) - S390_FP0_REGNUM) * S390_FPR_SIZE);
82 }
83
84 #ifndef GDBSERVER
85 #define S390_MAX_INSTR_SIZE (6)
86 #define S390_SYSCALL_OPCODE (0x0a)
87 #define S390_SYSCALL_SIZE (2)
88 #define S390_SIGCONTEXT_SREGS_OFFSET (8)
89 #define S390X_SIGCONTEXT_SREGS_OFFSET (8)
90 #define S390_SIGREGS_FP0_OFFSET (144)
91 #define S390X_SIGREGS_FP0_OFFSET (216)
92 #define S390_UC_MCONTEXT_OFFSET (256)
93 #define S390X_UC_MCONTEXT_OFFSET (344)
94 #define S390_STACK_FRAME_OVERHEAD (GDB_TARGET_IS_ESAME ? 160:96)
95 #define S390_SIGNAL_FRAMESIZE (GDB_TARGET_IS_ESAME ? 160:96)
96 #define s390_NR_sigreturn 119
97 #define s390_NR_rt_sigreturn 173
98
99
100
101 struct frame_extra_info
102 {
103 int initialised;
104 int good_prologue;
105 CORE_ADDR function_start;
106 CORE_ADDR skip_prologue_function_start;
107 CORE_ADDR saved_pc_valid;
108 CORE_ADDR saved_pc;
109 CORE_ADDR sig_fixed_saved_pc_valid;
110 CORE_ADDR sig_fixed_saved_pc;
111 CORE_ADDR frame_pointer_saved_pc; /* frame pointer needed for alloca */
112 CORE_ADDR stack_bought; /* amount we decrement the stack pointer by */
113 CORE_ADDR sigcontext;
114 };
115
116
117 static CORE_ADDR s390_frame_saved_pc_nofix (struct frame_info *fi);
118
119 int
120 s390_readinstruction (bfd_byte instr[], CORE_ADDR at,
121 struct disassemble_info *info)
122 {
123 int instrlen;
124
125 static int s390_instrlen[] = {
126 2,
127 4,
128 4,
129 6
130 };
131 if ((*info->read_memory_func) (at, &instr[0], 2, info))
132 return -1;
133 instrlen = s390_instrlen[instr[0] >> 6];
134 if ((*info->read_memory_func) (at + 2, &instr[2], instrlen - 2, info))
135 return -1;
136 return instrlen;
137 }
138
139 static void
140 s390_memset_extra_info (struct frame_extra_info *fextra_info)
141 {
142 memset (fextra_info, 0, sizeof (struct frame_extra_info));
143 }
144
145
146
147 char *
148 s390_register_name (int reg_nr)
149 {
150 static char *register_names[] = {
151 "pswm", "pswa",
152 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
153 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
154 "acr0", "acr1", "acr2", "acr3", "acr4", "acr5", "acr6", "acr7",
155 "acr8", "acr9", "acr10", "acr11", "acr12", "acr13", "acr14", "acr15",
156 "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",
157 "cr8", "cr9", "cr10", "cr11", "cr12", "cr13", "cr14", "cr15",
158 "fpc",
159 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7",
160 "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15"
161 };
162
163 if (reg_nr >= S390_LAST_REGNUM)
164 return NULL;
165 return register_names[reg_nr];
166 }
167
168
169
170
171 int
172 s390_stab_reg_to_regnum (int regno)
173 {
174 return regno >= 64 ? S390_PSWM_REGNUM - 64 :
175 regno >= 48 ? S390_FIRST_ACR - 48 :
176 regno >= 32 ? S390_FIRST_CR - 32 :
177 regno <= 15 ? (regno + 2) :
178 S390_FP0_REGNUM + ((regno - 16) & 8) + (((regno - 16) & 3) << 1) +
179 (((regno - 16) & 4) >> 2);
180 }
181
182
183 /* Return true if REGIDX is the number of a register used to pass
184 arguments, false otherwise. */
185 static int
186 is_arg_reg (int regidx)
187 {
188 return 2 <= regidx && regidx <= 6;
189 }
190
191
192 /* s390_get_frame_info based on Hartmuts
193 prologue definition in
194 gcc-2.8.1/config/l390/linux.c
195
196 It reads one instruction at a time & based on whether
197 it looks like prologue code or not it makes a decision on
198 whether the prologue is over, there are various state machines
199 in the code to determine if the prologue code is possilby valid.
200
201 This is done to hopefully allow the code survive minor revs of
202 calling conventions.
203
204 */
205
206 int
207 s390_get_frame_info (CORE_ADDR pc, struct frame_extra_info *fextra_info,
208 struct frame_info *fi, int init_extra_info)
209 {
210 #define CONST_POOL_REGIDX 13
211 #define GOT_REGIDX 12
212 bfd_byte instr[S390_MAX_INSTR_SIZE];
213 CORE_ADDR test_pc = pc, test_pc2;
214 CORE_ADDR orig_sp = 0, save_reg_addr = 0, *saved_regs = NULL;
215 int valid_prologue, good_prologue = 0;
216 int gprs_saved[S390_NUM_GPRS];
217 int fprs_saved[S390_NUM_FPRS];
218 int regidx, instrlen;
219 int const_pool_state;
220 int varargs_state;
221 int loop_cnt, gdb_gpr_store, gdb_fpr_store;
222 int offset, expected_offset;
223 int err = 0;
224 disassemble_info info;
225
226 /* Have we seen an instruction initializing the frame pointer yet?
227 If we've seen an `lr %r11, %r15', then frame_pointer_found is
228 non-zero, and frame_pointer_regidx == 11. Otherwise,
229 frame_pointer_found is zero and frame_pointer_regidx is 15,
230 indicating that we're using the stack pointer as our frame
231 pointer. */
232 int frame_pointer_found = 0;
233 int frame_pointer_regidx = 0xf;
234
235 /* What we've seen so far regarding saving the back chain link:
236 0 -- nothing yet; sp still has the same value it had at the entry
237 point. Since not all functions allocate frames, this is a
238 valid state for the prologue to finish in.
239 1 -- We've saved the original sp in some register other than the
240 frame pointer (hard-coded to be %r11, yuck).
241 save_link_regidx is the register we saved it in.
242 2 -- We've seen the initial `bras' instruction of the sequence for
243 reserving more than 32k of stack:
244 bras %rX, .+8
245 .long N
246 s %r15, 0(%rX)
247 where %rX is not the constant pool register.
248 subtract_sp_regidx is %rX, and fextra_info->stack_bought is N.
249 3 -- We've reserved space for a new stack frame. This means we
250 either saw a simple `ahi %r15,-N' in state 1, or the final
251 `s %r15, ...' in state 2.
252 4 -- The frame and link are now fully initialized. We've
253 reserved space for the new stack frame, and stored the old
254 stack pointer captured in the back chain pointer field. */
255 int save_link_state = 0;
256 int save_link_regidx, subtract_sp_regidx;
257
258 /* What we've seen so far regarding r12 --- the GOT (Global Offset
259 Table) pointer. We expect to see `l %r12, N(%r13)', which loads
260 r12 with the offset from the constant pool to the GOT, and then
261 an `ar %r12, %r13', which adds the constant pool address,
262 yielding the GOT's address. Here's what got_state means:
263 0 -- seen nothing
264 1 -- seen `l %r12, N(%r13)', but no `ar'
265 2 -- seen load and add, so GOT pointer is totally initialized
266 When got_state is 1, then got_load_addr is the address of the
267 load instruction, and got_load_len is the length of that
268 instruction. */
269 int got_state= 0;
270 CORE_ADDR got_load_addr = 0, got_load_len = 0;
271
272 const_pool_state = varargs_state = 0;
273
274 memset (gprs_saved, 0, sizeof (gprs_saved));
275 memset (fprs_saved, 0, sizeof (fprs_saved));
276 info.read_memory_func = dis_asm_read_memory;
277
278 save_link_regidx = subtract_sp_regidx = 0;
279 if (fextra_info)
280 {
281 if (fi && fi->frame)
282 {
283 if (! init_extra_info && fextra_info->initialised)
284 orig_sp = fi->frame + fextra_info->stack_bought;
285 saved_regs = fi->saved_regs;
286 }
287 if (init_extra_info || !fextra_info->initialised)
288 {
289 s390_memset_extra_info (fextra_info);
290 fextra_info->function_start = pc;
291 fextra_info->initialised = 1;
292 }
293 }
294 instrlen = 0;
295 do
296 {
297 valid_prologue = 0;
298 test_pc += instrlen;
299 /* add the previous instruction len */
300 instrlen = s390_readinstruction (instr, test_pc, &info);
301 if (instrlen < 0)
302 {
303 good_prologue = 0;
304 err = -1;
305 break;
306 }
307 /* We probably are in a glibc syscall */
308 if (instr[0] == S390_SYSCALL_OPCODE && test_pc == pc)
309 {
310 good_prologue = 1;
311 if (saved_regs && fextra_info && fi->next && fi->next->extra_info
312 && fi->next->extra_info->sigcontext)
313 {
314 /* We are backtracing from a signal handler */
315 save_reg_addr = fi->next->extra_info->sigcontext +
316 REGISTER_BYTE (S390_GP0_REGNUM);
317 for (regidx = 0; regidx < S390_NUM_GPRS; regidx++)
318 {
319 saved_regs[S390_GP0_REGNUM + regidx] = save_reg_addr;
320 save_reg_addr += S390_GPR_SIZE;
321 }
322 save_reg_addr = fi->next->extra_info->sigcontext +
323 (GDB_TARGET_IS_ESAME ? S390X_SIGREGS_FP0_OFFSET :
324 S390_SIGREGS_FP0_OFFSET);
325 for (regidx = 0; regidx < S390_NUM_FPRS; regidx++)
326 {
327 saved_regs[S390_FP0_REGNUM + regidx] = save_reg_addr;
328 save_reg_addr += S390_FPR_SIZE;
329 }
330 }
331 break;
332 }
333 if (save_link_state == 0)
334 {
335 /* check for a stack relative STMG or STM */
336 if (((GDB_TARGET_IS_ESAME &&
337 ((instr[0] == 0xeb) && (instr[5] == 0x24))) ||
338 (instr[0] == 0x90)) && ((instr[2] >> 4) == 0xf))
339 {
340 regidx = (instr[1] >> 4);
341 if (regidx < 6)
342 varargs_state = 1;
343 offset = ((instr[2] & 0xf) << 8) + instr[3];
344 expected_offset =
345 S390_GPR6_STACK_OFFSET + (S390_GPR_SIZE * (regidx - 6));
346 if (offset != expected_offset)
347 {
348 good_prologue = 0;
349 break;
350 }
351 if (saved_regs)
352 save_reg_addr = orig_sp + offset;
353 for (; regidx <= (instr[1] & 0xf); regidx++)
354 {
355 if (gprs_saved[regidx])
356 {
357 good_prologue = 0;
358 break;
359 }
360 good_prologue = 1;
361 gprs_saved[regidx] = 1;
362 if (saved_regs)
363 {
364 saved_regs[S390_GP0_REGNUM + regidx] = save_reg_addr;
365 save_reg_addr += S390_GPR_SIZE;
366 }
367 }
368 valid_prologue = 1;
369 continue;
370 }
371 }
372 /* check for a stack relative STG or ST */
373 if ((save_link_state == 0 || save_link_state == 3) &&
374 ((GDB_TARGET_IS_ESAME &&
375 ((instr[0] == 0xe3) && (instr[5] == 0x24))) ||
376 (instr[0] == 0x50)) && ((instr[2] >> 4) == 0xf))
377 {
378 regidx = instr[1] >> 4;
379 offset = ((instr[2] & 0xf) << 8) + instr[3];
380 if (offset == 0)
381 {
382 if (save_link_state == 3 && regidx == save_link_regidx)
383 {
384 save_link_state = 4;
385 valid_prologue = 1;
386 continue;
387 }
388 else
389 break;
390 }
391 if (regidx < 6)
392 varargs_state = 1;
393 expected_offset =
394 S390_GPR6_STACK_OFFSET + (S390_GPR_SIZE * (regidx - 6));
395 if (offset != expected_offset)
396 {
397 good_prologue = 0;
398 break;
399 }
400 if (gprs_saved[regidx])
401 {
402 good_prologue = 0;
403 break;
404 }
405 good_prologue = 1;
406 gprs_saved[regidx] = 1;
407 if (saved_regs)
408 {
409 save_reg_addr = orig_sp + offset;
410 saved_regs[S390_GP0_REGNUM + regidx] = save_reg_addr;
411 }
412 valid_prologue = 1;
413 continue;
414 }
415
416 /* Check for an fp-relative STG, ST, or STM. This is probably
417 spilling an argument from a register out into a stack slot.
418 This could be a user instruction, but if we haven't included
419 any other suspicious instructions in the prologue, this
420 could only be an initializing store, which isn't too bad to
421 skip. The consequences of not including arg-to-stack spills
422 are more serious, though --- you don't see the proper values
423 of the arguments. */
424 if ((save_link_state == 3 || save_link_state == 4)
425 && ((instr[0] == 0x50 /* st %rA, D(%rX,%rB) */
426 && (instr[1] & 0xf) == 0 /* %rX is zero, no index reg */
427 && is_arg_reg ((instr[1] >> 4) & 0xf)
428 && ((instr[2] >> 4) & 0xf) == frame_pointer_regidx)
429 || (instr[0] == 0x90 /* stm %rA, %rB, D(%rC) */
430 && is_arg_reg ((instr[1] >> 4) & 0xf)
431 && is_arg_reg (instr[1] & 0xf)
432 && ((instr[2] >> 4) & 0xf) == frame_pointer_regidx)))
433 {
434 valid_prologue = 1;
435 continue;
436 }
437
438 /* check for STD */
439 if (instr[0] == 0x60 && (instr[2] >> 4) == 0xf)
440 {
441 regidx = instr[1] >> 4;
442 if (regidx == 0 || regidx == 2)
443 varargs_state = 1;
444 if (fprs_saved[regidx])
445 {
446 good_prologue = 0;
447 break;
448 }
449 fprs_saved[regidx] = 1;
450 if (saved_regs)
451 {
452 save_reg_addr = orig_sp + (((instr[2] & 0xf) << 8) + instr[3]);
453 saved_regs[S390_FP0_REGNUM + regidx] = save_reg_addr;
454 }
455 valid_prologue = 1;
456 continue;
457 }
458
459
460 if (const_pool_state == 0)
461 {
462
463 if (GDB_TARGET_IS_ESAME)
464 {
465 /* Check for larl CONST_POOL_REGIDX,offset on ESAME */
466 if ((instr[0] == 0xc0)
467 && (instr[1] == (CONST_POOL_REGIDX << 4)))
468 {
469 const_pool_state = 2;
470 valid_prologue = 1;
471 continue;
472 }
473 }
474 else
475 {
476 /* Check for BASR gpr13,gpr0 used to load constant pool pointer to r13 in old compiler */
477 if (instr[0] == 0xd && (instr[1] & 0xf) == 0
478 && ((instr[1] >> 4) == CONST_POOL_REGIDX))
479 {
480 const_pool_state = 1;
481 valid_prologue = 1;
482 continue;
483 }
484 }
485 /* Check for new fangled bras %r13,newpc to load new constant pool */
486 /* embedded in code, older pre abi compilers also emitted this stuff. */
487 if ((instr[0] == 0xa7) && ((instr[1] & 0xf) == 0x5) &&
488 ((instr[1] >> 4) == CONST_POOL_REGIDX)
489 && ((instr[2] & 0x80) == 0))
490 {
491 const_pool_state = 2;
492 test_pc +=
493 (((((instr[2] & 0xf) << 8) + instr[3]) << 1) - instrlen);
494 valid_prologue = 1;
495 continue;
496 }
497 }
498 /* Check for AGHI or AHI CONST_POOL_REGIDX,val */
499 if (const_pool_state == 1 && (instr[0] == 0xa7) &&
500 ((GDB_TARGET_IS_ESAME &&
501 (instr[1] == ((CONST_POOL_REGIDX << 4) | 0xb))) ||
502 (instr[1] == ((CONST_POOL_REGIDX << 4) | 0xa))))
503 {
504 const_pool_state = 2;
505 valid_prologue = 1;
506 continue;
507 }
508 /* Check for LGR or LR gprx,15 */
509 if ((GDB_TARGET_IS_ESAME &&
510 instr[0] == 0xb9 && instr[1] == 0x04 && (instr[3] & 0xf) == 0xf) ||
511 (instr[0] == 0x18 && (instr[1] & 0xf) == 0xf))
512 {
513 if (GDB_TARGET_IS_ESAME)
514 regidx = instr[3] >> 4;
515 else
516 regidx = instr[1] >> 4;
517 if (save_link_state == 0 && regidx != 0xb)
518 {
519 /* Almost defintely code for
520 decrementing the stack pointer
521 ( i.e. a non leaf function
522 or else leaf with locals ) */
523 save_link_regidx = regidx;
524 save_link_state = 1;
525 valid_prologue = 1;
526 continue;
527 }
528 /* We use this frame pointer for alloca
529 unfortunately we need to assume its gpr11
530 otherwise we would need a smarter prologue
531 walker. */
532 if (!frame_pointer_found && regidx == 0xb)
533 {
534 frame_pointer_regidx = 0xb;
535 frame_pointer_found = 1;
536 if (fextra_info)
537 fextra_info->frame_pointer_saved_pc = test_pc;
538 valid_prologue = 1;
539 continue;
540 }
541 }
542 /* Check for AHI or AGHI gpr15,val */
543 if (save_link_state == 1 && (instr[0] == 0xa7) &&
544 ((GDB_TARGET_IS_ESAME && (instr[1] == 0xfb)) || (instr[1] == 0xfa)))
545 {
546 if (fextra_info)
547 fextra_info->stack_bought =
548 -extract_signed_integer (&instr[2], 2);
549 save_link_state = 3;
550 valid_prologue = 1;
551 continue;
552 }
553 /* Alternatively check for the complex construction for
554 buying more than 32k of stack
555 BRAS gprx,.+8
556 long val
557 s %r15,0(%gprx) gprx currently r1 */
558 if ((save_link_state == 1) && (instr[0] == 0xa7)
559 && ((instr[1] & 0xf) == 0x5) && (instr[2] == 0)
560 && (instr[3] == 0x4) && ((instr[1] >> 4) != CONST_POOL_REGIDX))
561 {
562 subtract_sp_regidx = instr[1] >> 4;
563 save_link_state = 2;
564 if (fextra_info)
565 target_read_memory (test_pc + instrlen,
566 (char *) &fextra_info->stack_bought,
567 sizeof (fextra_info->stack_bought));
568 test_pc += 4;
569 valid_prologue = 1;
570 continue;
571 }
572 if (save_link_state == 2 && instr[0] == 0x5b
573 && instr[1] == 0xf0 &&
574 instr[2] == (subtract_sp_regidx << 4) && instr[3] == 0)
575 {
576 save_link_state = 3;
577 valid_prologue = 1;
578 continue;
579 }
580 /* check for LA gprx,offset(15) used for varargs */
581 if ((instr[0] == 0x41) && ((instr[2] >> 4) == 0xf) &&
582 ((instr[1] & 0xf) == 0))
583 {
584 /* some code uses gpr7 to point to outgoing args */
585 if (((instr[1] >> 4) == 7) && (save_link_state == 0) &&
586 ((instr[2] & 0xf) == 0)
587 && (instr[3] == S390_STACK_FRAME_OVERHEAD))
588 {
589 valid_prologue = 1;
590 continue;
591 }
592 if (varargs_state == 1)
593 {
594 varargs_state = 2;
595 valid_prologue = 1;
596 continue;
597 }
598 }
599 /* Check for a GOT load */
600
601 if (GDB_TARGET_IS_ESAME)
602 {
603 /* Check for larl GOT_REGIDX, on ESAME */
604 if ((got_state == 0) && (instr[0] == 0xc0)
605 && (instr[1] == (GOT_REGIDX << 4)))
606 {
607 got_state = 2;
608 valid_prologue = 1;
609 continue;
610 }
611 }
612 else
613 {
614 /* check for l GOT_REGIDX,x(CONST_POOL_REGIDX) */
615 if (got_state == 0 && const_pool_state == 2 && instr[0] == 0x58
616 && (instr[2] == (CONST_POOL_REGIDX << 4))
617 && ((instr[1] >> 4) == GOT_REGIDX))
618 {
619 got_state = 1;
620 got_load_addr = test_pc;
621 got_load_len = instrlen;
622 valid_prologue = 1;
623 continue;
624 }
625 /* Check for subsequent ar got_regidx,basr_regidx */
626 if (got_state == 1 && instr[0] == 0x1a &&
627 instr[1] == ((GOT_REGIDX << 4) | CONST_POOL_REGIDX))
628 {
629 got_state = 2;
630 valid_prologue = 1;
631 continue;
632 }
633 }
634 }
635 while (valid_prologue && good_prologue);
636 if (good_prologue)
637 {
638 /* If this function doesn't reference the global offset table,
639 then the compiler may use r12 for other things. If the last
640 instruction we saw was a load of r12 from the constant pool,
641 with no subsequent add to make the address PC-relative, then
642 the load was probably a genuine body instruction; don't treat
643 it as part of the prologue. */
644 if (got_state == 1
645 && got_load_addr + got_load_len == test_pc)
646 {
647 test_pc = got_load_addr;
648 instrlen = got_load_len;
649 }
650
651 good_prologue = (((const_pool_state == 0) || (const_pool_state == 2)) &&
652 ((save_link_state == 0) || (save_link_state == 4)) &&
653 ((varargs_state == 0) || (varargs_state == 2)));
654 }
655 if (fextra_info)
656 {
657 fextra_info->good_prologue = good_prologue;
658 fextra_info->skip_prologue_function_start =
659 (good_prologue ? test_pc : pc);
660 }
661 if (saved_regs)
662 /* The SP's element of the saved_regs array holds the old SP,
663 not the address at which it is saved. */
664 saved_regs[S390_SP_REGNUM] = orig_sp;
665 return err;
666 }
667
668
669 int
670 s390_check_function_end (CORE_ADDR pc)
671 {
672 bfd_byte instr[S390_MAX_INSTR_SIZE];
673 disassemble_info info;
674 int regidx, instrlen;
675
676 info.read_memory_func = dis_asm_read_memory;
677 instrlen = s390_readinstruction (instr, pc, &info);
678 if (instrlen < 0)
679 return -1;
680 /* check for BR */
681 if (instrlen != 2 || instr[0] != 07 || (instr[1] >> 4) != 0xf)
682 return 0;
683 regidx = instr[1] & 0xf;
684 /* Check for LMG or LG */
685 instrlen =
686 s390_readinstruction (instr, pc - (GDB_TARGET_IS_ESAME ? 6 : 4), &info);
687 if (instrlen < 0)
688 return -1;
689 if (GDB_TARGET_IS_ESAME)
690 {
691
692 if (instrlen != 6 || instr[0] != 0xeb || instr[5] != 0x4)
693 return 0;
694 }
695 else if (instrlen != 4 || instr[0] != 0x98)
696 {
697 return 0;
698 }
699 if ((instr[2] >> 4) != 0xf)
700 return 0;
701 if (regidx == 14)
702 return 1;
703 instrlen = s390_readinstruction (instr, pc - (GDB_TARGET_IS_ESAME ? 12 : 8),
704 &info);
705 if (instrlen < 0)
706 return -1;
707 if (GDB_TARGET_IS_ESAME)
708 {
709 /* Check for LG */
710 if (instrlen != 6 || instr[0] != 0xe3 || instr[5] != 0x4)
711 return 0;
712 }
713 else
714 {
715 /* Check for L */
716 if (instrlen != 4 || instr[0] != 0x58)
717 return 0;
718 }
719 if (instr[2] >> 4 != 0xf)
720 return 0;
721 if (instr[1] >> 4 != regidx)
722 return 0;
723 return 1;
724 }
725
726 static CORE_ADDR
727 s390_sniff_pc_function_start (CORE_ADDR pc, struct frame_info *fi)
728 {
729 CORE_ADDR function_start, test_function_start;
730 int loop_cnt, err, function_end;
731 struct frame_extra_info fextra_info;
732 function_start = get_pc_function_start (pc);
733
734 if (function_start == 0)
735 {
736 test_function_start = pc;
737 if (test_function_start & 1)
738 return 0; /* This has to be bogus */
739 loop_cnt = 0;
740 do
741 {
742
743 err =
744 s390_get_frame_info (test_function_start, &fextra_info, fi, 1);
745 loop_cnt++;
746 test_function_start -= 2;
747 function_end = s390_check_function_end (test_function_start);
748 }
749 while (!(function_end == 1 || err || loop_cnt >= 4096 ||
750 (fextra_info.good_prologue)));
751 if (fextra_info.good_prologue)
752 function_start = fextra_info.function_start;
753 else if (function_end == 1)
754 function_start = test_function_start;
755 }
756 return function_start;
757 }
758
759
760
761 CORE_ADDR
762 s390_function_start (struct frame_info *fi)
763 {
764 CORE_ADDR function_start = 0;
765
766 if (fi->extra_info && fi->extra_info->initialised)
767 function_start = fi->extra_info->function_start;
768 else if (fi->pc)
769 function_start = get_pc_function_start (fi->pc);
770 return function_start;
771 }
772
773
774
775
776 int
777 s390_frameless_function_invocation (struct frame_info *fi)
778 {
779 struct frame_extra_info fextra_info, *fextra_info_ptr;
780 int frameless = 0;
781
782 if (fi->next == NULL) /* no may be frameless */
783 {
784 if (fi->extra_info)
785 fextra_info_ptr = fi->extra_info;
786 else
787 {
788 fextra_info_ptr = &fextra_info;
789 s390_get_frame_info (s390_sniff_pc_function_start (fi->pc, fi),
790 fextra_info_ptr, fi, 1);
791 }
792 frameless = ((fextra_info_ptr->stack_bought == 0));
793 }
794 return frameless;
795
796 }
797
798
799 static int
800 s390_is_sigreturn (CORE_ADDR pc, struct frame_info *sighandler_fi,
801 CORE_ADDR *sregs, CORE_ADDR *sigcaller_pc)
802 {
803 bfd_byte instr[S390_MAX_INSTR_SIZE];
804 disassemble_info info;
805 int instrlen;
806 CORE_ADDR scontext;
807 int retval = 0;
808 CORE_ADDR orig_sp;
809 CORE_ADDR temp_sregs;
810
811 scontext = temp_sregs = 0;
812
813 info.read_memory_func = dis_asm_read_memory;
814 instrlen = s390_readinstruction (instr, pc, &info);
815 if (sigcaller_pc)
816 *sigcaller_pc = 0;
817 if (((instrlen == S390_SYSCALL_SIZE) &&
818 (instr[0] == S390_SYSCALL_OPCODE)) &&
819 ((instr[1] == s390_NR_sigreturn) || (instr[1] == s390_NR_rt_sigreturn)))
820 {
821 if (sighandler_fi)
822 {
823 if (s390_frameless_function_invocation (sighandler_fi))
824 orig_sp = sighandler_fi->frame;
825 else
826 orig_sp = ADDR_BITS_REMOVE ((CORE_ADDR)
827 read_memory_integer (sighandler_fi->
828 frame,
829 S390_GPR_SIZE));
830 if (orig_sp && sigcaller_pc)
831 {
832 scontext = orig_sp + S390_SIGNAL_FRAMESIZE;
833 if (pc == scontext && instr[1] == s390_NR_rt_sigreturn)
834 {
835 /* We got a new style rt_signal */
836 /* get address of read ucontext->uc_mcontext */
837 temp_sregs = orig_sp + (GDB_TARGET_IS_ESAME ?
838 S390X_UC_MCONTEXT_OFFSET :
839 S390_UC_MCONTEXT_OFFSET);
840 }
841 else
842 {
843 /* read sigcontext->sregs */
844 temp_sregs = ADDR_BITS_REMOVE ((CORE_ADDR)
845 read_memory_integer (scontext
846 +
847 (GDB_TARGET_IS_ESAME
848 ?
849 S390X_SIGCONTEXT_SREGS_OFFSET
850 :
851 S390_SIGCONTEXT_SREGS_OFFSET),
852 S390_GPR_SIZE));
853
854 }
855 /* read sigregs->psw.addr */
856 *sigcaller_pc =
857 ADDR_BITS_REMOVE ((CORE_ADDR)
858 read_memory_integer (temp_sregs +
859 REGISTER_BYTE
860 (S390_PC_REGNUM),
861 S390_PSW_ADDR_SIZE));
862 }
863 }
864 retval = 1;
865 }
866 if (sregs)
867 *sregs = temp_sregs;
868 return retval;
869 }
870
871 /*
872 We need to do something better here but this will keep us out of trouble
873 for the moment.
874 For some reason the blockframe.c calls us with fi->next->fromleaf
875 so this seems of little use to us. */
876 void
877 s390_init_frame_pc_first (int next_fromleaf, struct frame_info *fi)
878 {
879 CORE_ADDR sigcaller_pc;
880
881 fi->pc = 0;
882 if (next_fromleaf)
883 {
884 fi->pc = ADDR_BITS_REMOVE (read_register (S390_RETADDR_REGNUM));
885 /* fix signal handlers */
886 }
887 else if (fi->next && fi->next->pc)
888 fi->pc = s390_frame_saved_pc_nofix (fi->next);
889 if (fi->pc && fi->next && fi->next->frame &&
890 s390_is_sigreturn (fi->pc, fi->next, NULL, &sigcaller_pc))
891 {
892 fi->pc = sigcaller_pc;
893 }
894
895 }
896
897 void
898 s390_init_extra_frame_info (int fromleaf, struct frame_info *fi)
899 {
900 fi->extra_info = frame_obstack_alloc (sizeof (struct frame_extra_info));
901 if (fi->pc)
902 s390_get_frame_info (s390_sniff_pc_function_start (fi->pc, fi),
903 fi->extra_info, fi, 1);
904 else
905 s390_memset_extra_info (fi->extra_info);
906 }
907
908 /* If saved registers of frame FI are not known yet, read and cache them.
909 &FEXTRA_INFOP contains struct frame_extra_info; TDATAP can be NULL,
910 in which case the framedata are read. */
911
912 void
913 s390_frame_init_saved_regs (struct frame_info *fi)
914 {
915
916 int quick;
917
918 if (fi->saved_regs == NULL)
919 {
920 /* zalloc memsets the saved regs */
921 frame_saved_regs_zalloc (fi);
922 if (fi->pc)
923 {
924 quick = (fi->extra_info && fi->extra_info->initialised
925 && fi->extra_info->good_prologue);
926 s390_get_frame_info (quick ? fi->extra_info->function_start :
927 s390_sniff_pc_function_start (fi->pc, fi),
928 fi->extra_info, fi, !quick);
929 }
930 }
931 }
932
933
934
935 CORE_ADDR
936 s390_frame_args_address (struct frame_info *fi)
937 {
938
939 /* Apparently gdb already knows gdb_args_offset itself */
940 return fi->frame;
941 }
942
943
944 static CORE_ADDR
945 s390_frame_saved_pc_nofix (struct frame_info *fi)
946 {
947 if (fi->extra_info && fi->extra_info->saved_pc_valid)
948 return fi->extra_info->saved_pc;
949
950 if (generic_find_dummy_frame (fi->pc, fi->frame))
951 return generic_read_register_dummy (fi->pc, fi->frame, S390_PC_REGNUM);
952
953 s390_frame_init_saved_regs (fi);
954 if (fi->extra_info)
955 {
956 fi->extra_info->saved_pc_valid = 1;
957 if (fi->extra_info->good_prologue)
958 {
959 if (fi->saved_regs[S390_RETADDR_REGNUM])
960 {
961 return (fi->extra_info->saved_pc =
962 ADDR_BITS_REMOVE (read_memory_integer
963 (fi->saved_regs[S390_RETADDR_REGNUM],
964 S390_GPR_SIZE)));
965 }
966 else
967 return read_register (S390_RETADDR_REGNUM);
968 }
969 }
970 return 0;
971 }
972
973 CORE_ADDR
974 s390_frame_saved_pc (struct frame_info *fi)
975 {
976 CORE_ADDR saved_pc = 0, sig_pc;
977
978 if (fi->extra_info && fi->extra_info->sig_fixed_saved_pc_valid)
979 return fi->extra_info->sig_fixed_saved_pc;
980 saved_pc = s390_frame_saved_pc_nofix (fi);
981
982 if (fi->extra_info)
983 {
984 fi->extra_info->sig_fixed_saved_pc_valid = 1;
985 if (saved_pc)
986 {
987 if (s390_is_sigreturn (saved_pc, fi, NULL, &sig_pc))
988 saved_pc = sig_pc;
989 }
990 fi->extra_info->sig_fixed_saved_pc = saved_pc;
991 }
992 return saved_pc;
993 }
994
995
996
997
998 /* We want backtraces out of signal handlers so we don't
999 set thisframe->signal_handler_caller to 1 */
1000
1001 CORE_ADDR
1002 s390_frame_chain (struct frame_info *thisframe)
1003 {
1004 CORE_ADDR prev_fp = 0;
1005
1006 if (thisframe->prev && thisframe->prev->frame)
1007 prev_fp = thisframe->prev->frame;
1008 else if (generic_find_dummy_frame (thisframe->pc, thisframe->frame))
1009 return generic_read_register_dummy (thisframe->pc, thisframe->frame,
1010 S390_SP_REGNUM);
1011 else
1012 {
1013 int sigreturn = 0;
1014 CORE_ADDR sregs = 0;
1015 struct frame_extra_info prev_fextra_info;
1016
1017 memset (&prev_fextra_info, 0, sizeof (prev_fextra_info));
1018 if (thisframe->pc)
1019 {
1020 CORE_ADDR saved_pc, sig_pc;
1021
1022 saved_pc = s390_frame_saved_pc_nofix (thisframe);
1023 if (saved_pc)
1024 {
1025 if ((sigreturn =
1026 s390_is_sigreturn (saved_pc, thisframe, &sregs, &sig_pc)))
1027 saved_pc = sig_pc;
1028 s390_get_frame_info (s390_sniff_pc_function_start
1029 (saved_pc, NULL), &prev_fextra_info, NULL,
1030 1);
1031 }
1032 }
1033 if (sigreturn)
1034 {
1035 /* read sigregs,regs.gprs[11 or 15] */
1036 prev_fp = read_memory_integer (sregs +
1037 REGISTER_BYTE (S390_GP0_REGNUM +
1038 (prev_fextra_info.
1039 frame_pointer_saved_pc
1040 ? 11 : 15)),
1041 S390_GPR_SIZE);
1042 thisframe->extra_info->sigcontext = sregs;
1043 }
1044 else
1045 {
1046 if (thisframe->saved_regs)
1047 {
1048 int regno;
1049
1050 if (prev_fextra_info.frame_pointer_saved_pc
1051 && thisframe->saved_regs[S390_FRAME_REGNUM])
1052 regno = S390_FRAME_REGNUM;
1053 else
1054 regno = S390_SP_REGNUM;
1055
1056 if (thisframe->saved_regs[regno])
1057 {
1058 /* The SP's entry of `saved_regs' is special. */
1059 if (regno == S390_SP_REGNUM)
1060 prev_fp = thisframe->saved_regs[regno];
1061 else
1062 prev_fp =
1063 read_memory_integer (thisframe->saved_regs[regno],
1064 S390_GPR_SIZE);
1065 }
1066 }
1067 }
1068 }
1069 return ADDR_BITS_REMOVE (prev_fp);
1070 }
1071
1072 /*
1073 Whether struct frame_extra_info is actually needed I'll have to figure
1074 out as our frames are similar to rs6000 there is a possibility
1075 i386 dosen't need it. */
1076
1077
1078
1079 /* a given return value in `regbuf' with a type `valtype', extract and copy its
1080 value into `valbuf' */
1081 void
1082 s390_extract_return_value (struct type *valtype, char *regbuf, char *valbuf)
1083 {
1084 /* floats and doubles are returned in fpr0. fpr's have a size of 8 bytes.
1085 We need to truncate the return value into float size (4 byte) if
1086 necessary. */
1087 int len = TYPE_LENGTH (valtype);
1088
1089 if (TYPE_CODE (valtype) == TYPE_CODE_FLT)
1090 memcpy (valbuf, &regbuf[REGISTER_BYTE (S390_FP0_REGNUM)], len);
1091 else
1092 {
1093 int offset = 0;
1094 /* return value is copied starting from r2. */
1095 if (TYPE_LENGTH (valtype) < S390_GPR_SIZE)
1096 offset = S390_GPR_SIZE - TYPE_LENGTH (valtype);
1097 memcpy (valbuf,
1098 regbuf + REGISTER_BYTE (S390_GP0_REGNUM + 2) + offset,
1099 TYPE_LENGTH (valtype));
1100 }
1101 }
1102
1103
1104 static char *
1105 s390_promote_integer_argument (struct type *valtype, char *valbuf,
1106 char *reg_buff, int *arglen)
1107 {
1108 char *value = valbuf;
1109 int len = TYPE_LENGTH (valtype);
1110
1111 if (len < S390_GPR_SIZE)
1112 {
1113 /* We need to upgrade this value to a register to pass it correctly */
1114 int idx, diff = S390_GPR_SIZE - len, negative =
1115 (!TYPE_UNSIGNED (valtype) && value[0] & 0x80);
1116 for (idx = 0; idx < S390_GPR_SIZE; idx++)
1117 {
1118 reg_buff[idx] = (idx < diff ? (negative ? 0xff : 0x0) :
1119 value[idx - diff]);
1120 }
1121 value = reg_buff;
1122 *arglen = S390_GPR_SIZE;
1123 }
1124 else
1125 {
1126 if (len & (S390_GPR_SIZE - 1))
1127 {
1128 fprintf_unfiltered (gdb_stderr,
1129 "s390_promote_integer_argument detected an argument not "
1130 "a multiple of S390_GPR_SIZE & greater than S390_GPR_SIZE "
1131 "we might not deal with this correctly.\n");
1132 }
1133 *arglen = len;
1134 }
1135
1136 return (value);
1137 }
1138
1139 void
1140 s390_store_return_value (struct type *valtype, char *valbuf)
1141 {
1142 int arglen;
1143 char *reg_buff = alloca (max (S390_FPR_SIZE, REGISTER_SIZE)), *value;
1144
1145 if (TYPE_CODE (valtype) == TYPE_CODE_FLT)
1146 {
1147 if (TYPE_LENGTH (valtype) == 4
1148 || TYPE_LENGTH (valtype) == 8)
1149 write_register_bytes (REGISTER_BYTE (S390_FP0_REGNUM), valbuf,
1150 TYPE_LENGTH (valtype));
1151 else
1152 error ("GDB is unable to return `long double' values "
1153 "on this architecture.");
1154 }
1155 else
1156 {
1157 value =
1158 s390_promote_integer_argument (valtype, valbuf, reg_buff, &arglen);
1159 /* Everything else is returned in GPR2 and up. */
1160 write_register_bytes (REGISTER_BYTE (S390_GP0_REGNUM + 2), value,
1161 arglen);
1162 }
1163 }
1164 static int
1165 gdb_print_insn_s390 (bfd_vma memaddr, disassemble_info * info)
1166 {
1167 bfd_byte instrbuff[S390_MAX_INSTR_SIZE];
1168 int instrlen, cnt;
1169
1170 instrlen = s390_readinstruction (instrbuff, (CORE_ADDR) memaddr, info);
1171 if (instrlen < 0)
1172 {
1173 (*info->memory_error_func) (instrlen, memaddr, info);
1174 return -1;
1175 }
1176 for (cnt = 0; cnt < instrlen; cnt++)
1177 info->fprintf_func (info->stream, "%02X ", instrbuff[cnt]);
1178 for (cnt = instrlen; cnt < S390_MAX_INSTR_SIZE; cnt++)
1179 info->fprintf_func (info->stream, " ");
1180 instrlen = print_insn_s390 (memaddr, info);
1181 return instrlen;
1182 }
1183
1184
1185
1186 /* Not the most efficent code in the world */
1187 int
1188 s390_fp_regnum ()
1189 {
1190 int regno = S390_SP_REGNUM;
1191 struct frame_extra_info fextra_info;
1192
1193 CORE_ADDR pc = ADDR_BITS_REMOVE (read_register (S390_PC_REGNUM));
1194
1195 s390_get_frame_info (s390_sniff_pc_function_start (pc, NULL), &fextra_info,
1196 NULL, 1);
1197 if (fextra_info.frame_pointer_saved_pc)
1198 regno = S390_FRAME_REGNUM;
1199 return regno;
1200 }
1201
1202 CORE_ADDR
1203 s390_read_fp ()
1204 {
1205 return read_register (s390_fp_regnum ());
1206 }
1207
1208
1209 void
1210 s390_write_fp (CORE_ADDR val)
1211 {
1212 write_register (s390_fp_regnum (), val);
1213 }
1214
1215
1216 static void
1217 s390_pop_frame_regular (struct frame_info *frame)
1218 {
1219 int regnum;
1220
1221 write_register (S390_PC_REGNUM, FRAME_SAVED_PC (frame));
1222
1223 /* Restore any saved registers. */
1224 for (regnum = 0; regnum < NUM_REGS; regnum++)
1225 if (frame->saved_regs[regnum] != 0)
1226 {
1227 ULONGEST value;
1228
1229 value = read_memory_unsigned_integer (frame->saved_regs[regnum],
1230 REGISTER_RAW_SIZE (regnum));
1231 write_register (regnum, value);
1232 }
1233
1234 /* Actually cut back the stack. Remember that the SP's element of
1235 saved_regs is the old SP itself, not the address at which it is
1236 saved. */
1237 write_register (S390_SP_REGNUM, frame->saved_regs[S390_SP_REGNUM]);
1238
1239 /* Throw away any cached frame information. */
1240 flush_cached_frames ();
1241 }
1242
1243
1244 /* Destroy the innermost (Top-Of-Stack) stack frame, restoring the
1245 machine state that was in effect before the frame was created.
1246 Used in the contexts of the "return" command, and of
1247 target function calls from the debugger. */
1248 void
1249 s390_pop_frame ()
1250 {
1251 /* This function checks for and handles generic dummy frames, and
1252 calls back to our function for ordinary frames. */
1253 generic_pop_current_frame (s390_pop_frame_regular);
1254 }
1255
1256
1257 /* Return non-zero if TYPE is an integer-like type, zero otherwise.
1258 "Integer-like" types are those that should be passed the way
1259 integers are: integers, enums, ranges, characters, and booleans. */
1260 static int
1261 is_integer_like (struct type *type)
1262 {
1263 enum type_code code = TYPE_CODE (type);
1264
1265 return (code == TYPE_CODE_INT
1266 || code == TYPE_CODE_ENUM
1267 || code == TYPE_CODE_RANGE
1268 || code == TYPE_CODE_CHAR
1269 || code == TYPE_CODE_BOOL);
1270 }
1271
1272
1273 /* Return non-zero if TYPE is a pointer-like type, zero otherwise.
1274 "Pointer-like" types are those that should be passed the way
1275 pointers are: pointers and references. */
1276 static int
1277 is_pointer_like (struct type *type)
1278 {
1279 enum type_code code = TYPE_CODE (type);
1280
1281 return (code == TYPE_CODE_PTR
1282 || code == TYPE_CODE_REF);
1283 }
1284
1285
1286 /* Return non-zero if TYPE is a `float singleton' or `double
1287 singleton', zero otherwise.
1288
1289 A `T singleton' is a struct type with one member, whose type is
1290 either T or a `T singleton'. So, the following are all float
1291 singletons:
1292
1293 struct { float x };
1294 struct { struct { float x; } x; };
1295 struct { struct { struct { float x; } x; } x; };
1296
1297 ... and so on.
1298
1299 WHY THE HECK DO WE CARE ABOUT THIS??? Well, it turns out that GCC
1300 passes all float singletons and double singletons as if they were
1301 simply floats or doubles. This is *not* what the ABI says it
1302 should do. */
1303 static int
1304 is_float_singleton (struct type *type)
1305 {
1306 return (TYPE_CODE (type) == TYPE_CODE_STRUCT
1307 && TYPE_NFIELDS (type) == 1
1308 && (TYPE_CODE (TYPE_FIELD_TYPE (type, 0)) == TYPE_CODE_FLT
1309 || is_float_singleton (TYPE_FIELD_TYPE (type, 0))));
1310 }
1311
1312
1313 /* Return non-zero if TYPE is a struct-like type, zero otherwise.
1314 "Struct-like" types are those that should be passed as structs are:
1315 structs and unions.
1316
1317 As an odd quirk, not mentioned in the ABI, GCC passes float and
1318 double singletons as if they were a plain float, double, etc. (The
1319 corresponding union types are handled normally.) So we exclude
1320 those types here. *shrug* */
1321 static int
1322 is_struct_like (struct type *type)
1323 {
1324 enum type_code code = TYPE_CODE (type);
1325
1326 return (code == TYPE_CODE_UNION
1327 || (code == TYPE_CODE_STRUCT && ! is_float_singleton (type)));
1328 }
1329
1330
1331 /* Return non-zero if TYPE is a float-like type, zero otherwise.
1332 "Float-like" types are those that should be passed as
1333 floating-point values are.
1334
1335 You'd think this would just be floats, doubles, long doubles, etc.
1336 But as an odd quirk, not mentioned in the ABI, GCC passes float and
1337 double singletons as if they were a plain float, double, etc. (The
1338 corresponding union types are handled normally.) So we exclude
1339 those types here. *shrug* */
1340 static int
1341 is_float_like (struct type *type)
1342 {
1343 return (TYPE_CODE (type) == TYPE_CODE_FLT
1344 || is_float_singleton (type));
1345 }
1346
1347
1348 /* Return non-zero if TYPE is considered a `DOUBLE_OR_FLOAT', as
1349 defined by the parameter passing conventions described in the
1350 "Linux for S/390 ELF Application Binary Interface Supplement".
1351 Otherwise, return zero. */
1352 static int
1353 is_double_or_float (struct type *type)
1354 {
1355 return (is_float_like (type)
1356 && (TYPE_LENGTH (type) == 4
1357 || TYPE_LENGTH (type) == 8));
1358 }
1359
1360
1361 /* Return non-zero if TYPE is considered a `SIMPLE_ARG', as defined by
1362 the parameter passing conventions described in the "Linux for S/390
1363 ELF Application Binary Interface Supplement". Return zero otherwise. */
1364 static int
1365 is_simple_arg (struct type *type)
1366 {
1367 unsigned length = TYPE_LENGTH (type);
1368
1369 /* This is almost a direct translation of the ABI's language, except
1370 that we have to exclude 8-byte structs; those are DOUBLE_ARGs. */
1371 return ((is_integer_like (type) && length <= 4)
1372 || is_pointer_like (type)
1373 || (is_struct_like (type) && length != 8)
1374 || (is_float_like (type) && length == 16));
1375 }
1376
1377
1378 /* Return non-zero if TYPE should be passed as a pointer to a copy,
1379 zero otherwise. TYPE must be a SIMPLE_ARG, as recognized by
1380 `is_simple_arg'. */
1381 static int
1382 pass_by_copy_ref (struct type *type)
1383 {
1384 unsigned length = TYPE_LENGTH (type);
1385
1386 return ((is_struct_like (type) && length != 1 && length != 2 && length != 4)
1387 || (is_float_like (type) && length == 16));
1388 }
1389
1390
1391 /* Return ARG, a `SIMPLE_ARG', sign-extended or zero-extended to a full
1392 word as required for the ABI. */
1393 static LONGEST
1394 extend_simple_arg (struct value *arg)
1395 {
1396 struct type *type = VALUE_TYPE (arg);
1397
1398 /* Even structs get passed in the least significant bits of the
1399 register / memory word. It's not really right to extract them as
1400 an integer, but it does take care of the extension. */
1401 if (TYPE_UNSIGNED (type))
1402 return extract_unsigned_integer (VALUE_CONTENTS (arg),
1403 TYPE_LENGTH (type));
1404 else
1405 return extract_signed_integer (VALUE_CONTENTS (arg),
1406 TYPE_LENGTH (type));
1407 }
1408
1409
1410 /* Return non-zero if TYPE is a `DOUBLE_ARG', as defined by the
1411 parameter passing conventions described in the "Linux for S/390 ELF
1412 Application Binary Interface Supplement". Return zero otherwise. */
1413 static int
1414 is_double_arg (struct type *type)
1415 {
1416 unsigned length = TYPE_LENGTH (type);
1417
1418 return ((is_integer_like (type)
1419 || is_struct_like (type))
1420 && length == 8);
1421 }
1422
1423
1424 /* Round ADDR up to the next N-byte boundary. N must be a power of
1425 two. */
1426 static CORE_ADDR
1427 round_up (CORE_ADDR addr, int n)
1428 {
1429 /* Check that N is really a power of two. */
1430 gdb_assert (n && (n & (n-1)) == 0);
1431 return ((addr + n - 1) & -n);
1432 }
1433
1434
1435 /* Round ADDR down to the next N-byte boundary. N must be a power of
1436 two. */
1437 static CORE_ADDR
1438 round_down (CORE_ADDR addr, int n)
1439 {
1440 /* Check that N is really a power of two. */
1441 gdb_assert (n && (n & (n-1)) == 0);
1442 return (addr & -n);
1443 }
1444
1445
1446 /* Return the alignment required by TYPE. */
1447 static int
1448 alignment_of (struct type *type)
1449 {
1450 int alignment;
1451
1452 if (is_integer_like (type)
1453 || is_pointer_like (type)
1454 || TYPE_CODE (type) == TYPE_CODE_FLT)
1455 alignment = TYPE_LENGTH (type);
1456 else if (TYPE_CODE (type) == TYPE_CODE_STRUCT
1457 || TYPE_CODE (type) == TYPE_CODE_UNION)
1458 {
1459 int i;
1460
1461 alignment = 1;
1462 for (i = 0; i < TYPE_NFIELDS (type); i++)
1463 {
1464 int field_alignment = alignment_of (TYPE_FIELD_TYPE (type, i));
1465
1466 if (field_alignment > alignment)
1467 alignment = field_alignment;
1468 }
1469 }
1470 else
1471 alignment = 1;
1472
1473 /* Check that everything we ever return is a power of two. Lots of
1474 code doesn't want to deal with aligning things to arbitrary
1475 boundaries. */
1476 gdb_assert ((alignment & (alignment - 1)) == 0);
1477
1478 return alignment;
1479 }
1480
1481
1482 /* Put the actual parameter values pointed to by ARGS[0..NARGS-1] in
1483 place to be passed to a function, as specified by the "Linux for
1484 S/390 ELF Application Binary Interface Supplement".
1485
1486 SP is the current stack pointer. We must put arguments, links,
1487 padding, etc. whereever they belong, and return the new stack
1488 pointer value.
1489
1490 If STRUCT_RETURN is non-zero, then the function we're calling is
1491 going to return a structure by value; STRUCT_ADDR is the address of
1492 a block we've allocated for it on the stack.
1493
1494 Our caller has taken care of any type promotions needed to satisfy
1495 prototypes or the old K&R argument-passing rules. */
1496 CORE_ADDR
1497 s390_push_arguments (int nargs, struct value **args, CORE_ADDR sp,
1498 int struct_return, CORE_ADDR struct_addr)
1499 {
1500 int i;
1501 int pointer_size = (TARGET_PTR_BIT / TARGET_CHAR_BIT);
1502
1503 /* The number of arguments passed by reference-to-copy. */
1504 int num_copies;
1505
1506 /* If the i'th argument is passed as a reference to a copy, then
1507 copy_addr[i] is the address of the copy we made. */
1508 CORE_ADDR *copy_addr = alloca (nargs * sizeof (CORE_ADDR));
1509
1510 /* Build the reference-to-copy area. */
1511 num_copies = 0;
1512 for (i = 0; i < nargs; i++)
1513 {
1514 struct value *arg = args[i];
1515 struct type *type = VALUE_TYPE (arg);
1516 unsigned length = TYPE_LENGTH (type);
1517
1518 if (is_simple_arg (type)
1519 && pass_by_copy_ref (type))
1520 {
1521 sp -= length;
1522 sp = round_down (sp, alignment_of (type));
1523 write_memory (sp, VALUE_CONTENTS (arg), length);
1524 copy_addr[i] = sp;
1525 num_copies++;
1526 }
1527 }
1528
1529 /* Reserve space for the parameter area. As a conservative
1530 simplification, we assume that everything will be passed on the
1531 stack. */
1532 {
1533 int i;
1534
1535 for (i = 0; i < nargs; i++)
1536 {
1537 struct value *arg = args[i];
1538 struct type *type = VALUE_TYPE (arg);
1539 int length = TYPE_LENGTH (type);
1540
1541 sp = round_down (sp, alignment_of (type));
1542
1543 /* SIMPLE_ARG values get extended to 32 bits. Assume every
1544 argument is. */
1545 if (length < 4) length = 4;
1546 sp -= length;
1547 }
1548 }
1549
1550 /* Include space for any reference-to-copy pointers. */
1551 sp = round_down (sp, pointer_size);
1552 sp -= num_copies * pointer_size;
1553
1554 /* After all that, make sure it's still aligned on an eight-byte
1555 boundary. */
1556 sp = round_down (sp, 8);
1557
1558 /* Finally, place the actual parameters, working from SP towards
1559 higher addresses. The code above is supposed to reserve enough
1560 space for this. */
1561 {
1562 int fr = 0;
1563 int gr = 2;
1564 CORE_ADDR starg = sp;
1565
1566 for (i = 0; i < nargs; i++)
1567 {
1568 struct value *arg = args[i];
1569 struct type *type = VALUE_TYPE (arg);
1570
1571 if (is_double_or_float (type)
1572 && fr <= 2)
1573 {
1574 /* When we store a single-precision value in an FP register,
1575 it occupies the leftmost bits. */
1576 write_register_bytes (REGISTER_BYTE (S390_FP0_REGNUM + fr),
1577 VALUE_CONTENTS (arg),
1578 TYPE_LENGTH (type));
1579 fr += 2;
1580 }
1581 else if (is_simple_arg (type)
1582 && gr <= 6)
1583 {
1584 /* Do we need to pass a pointer to our copy of this
1585 argument? */
1586 if (pass_by_copy_ref (type))
1587 write_register (S390_GP0_REGNUM + gr, copy_addr[i]);
1588 else
1589 write_register (S390_GP0_REGNUM + gr, extend_simple_arg (arg));
1590
1591 gr++;
1592 }
1593 else if (is_double_arg (type)
1594 && gr <= 5)
1595 {
1596 write_register_gen (S390_GP0_REGNUM + gr,
1597 VALUE_CONTENTS (arg));
1598 write_register_gen (S390_GP0_REGNUM + gr + 1,
1599 VALUE_CONTENTS (arg) + 4);
1600 gr += 2;
1601 }
1602 else
1603 {
1604 /* The `OTHER' case. */
1605 enum type_code code = TYPE_CODE (type);
1606 unsigned length = TYPE_LENGTH (type);
1607
1608 /* If we skipped r6 because we couldn't fit a DOUBLE_ARG
1609 in it, then don't go back and use it again later. */
1610 if (is_double_arg (type) && gr == 6)
1611 gr = 7;
1612
1613 if (is_simple_arg (type))
1614 {
1615 /* Simple args are always either extended to 32 bits,
1616 or pointers. */
1617 starg = round_up (starg, 4);
1618
1619 /* Do we need to pass a pointer to our copy of this
1620 argument? */
1621 if (pass_by_copy_ref (type))
1622 write_memory_signed_integer (starg, pointer_size,
1623 copy_addr[i]);
1624 else
1625 /* Simple args are always extended to 32 bits. */
1626 write_memory_signed_integer (starg, 4,
1627 extend_simple_arg (arg));
1628 starg += 4;
1629 }
1630 else
1631 {
1632 /* You'd think we should say:
1633 starg = round_up (starg, alignment_of (type));
1634 Unfortunately, GCC seems to simply align the stack on
1635 a four-byte boundary, even when passing doubles. */
1636 starg = round_up (starg, 4);
1637 write_memory (starg, VALUE_CONTENTS (arg), length);
1638 starg += length;
1639 }
1640 }
1641 }
1642 }
1643
1644 /* Allocate the standard frame areas: the register save area, the
1645 word reserved for the compiler (which seems kind of meaningless),
1646 and the back chain pointer. */
1647 sp -= 96;
1648
1649 /* Write the back chain pointer into the first word of the stack
1650 frame. This will help us get backtraces from within functions
1651 called from GDB. */
1652 write_memory_unsigned_integer (sp, (TARGET_PTR_BIT / TARGET_CHAR_BIT),
1653 read_fp ());
1654
1655 return sp;
1656 }
1657
1658
1659 static int
1660 s390_use_struct_convention (int gcc_p, struct type *value_type)
1661 {
1662 enum type_code code = TYPE_CODE (value_type);
1663
1664 return (code == TYPE_CODE_STRUCT
1665 || code == TYPE_CODE_UNION);
1666 }
1667
1668
1669 /* Return the GDB type object for the "standard" data type
1670 of data in register N. */
1671 struct type *
1672 s390_register_virtual_type (int regno)
1673 {
1674 return ((unsigned) regno - S390_FPC_REGNUM) <
1675 S390_NUM_FPRS ? builtin_type_double : builtin_type_int;
1676 }
1677
1678
1679 struct type *
1680 s390x_register_virtual_type (int regno)
1681 {
1682 return (regno == S390_FPC_REGNUM) ||
1683 (regno >= S390_FIRST_ACR && regno <= S390_LAST_ACR) ? builtin_type_int :
1684 (regno >= S390_FP0_REGNUM) ? builtin_type_double : builtin_type_long;
1685 }
1686
1687
1688
1689 void
1690 s390_store_struct_return (CORE_ADDR addr, CORE_ADDR sp)
1691 {
1692 write_register (S390_GP0_REGNUM + 2, addr);
1693 }
1694
1695
1696
1697 static unsigned char *
1698 s390_breakpoint_from_pc (CORE_ADDR *pcptr, int *lenptr)
1699 {
1700 static unsigned char breakpoint[] = { 0x0, 0x1 };
1701
1702 *lenptr = sizeof (breakpoint);
1703 return breakpoint;
1704 }
1705
1706 /* Advance PC across any function entry prologue instructions to reach some
1707 "real" code. */
1708 CORE_ADDR
1709 s390_skip_prologue (CORE_ADDR pc)
1710 {
1711 struct frame_extra_info fextra_info;
1712
1713 s390_get_frame_info (pc, &fextra_info, NULL, 1);
1714 return fextra_info.skip_prologue_function_start;
1715 }
1716
1717 /* Immediately after a function call, return the saved pc.
1718 Can't go through the frames for this because on some machines
1719 the new frame is not set up until the new function executes
1720 some instructions. */
1721 CORE_ADDR
1722 s390_saved_pc_after_call (struct frame_info *frame)
1723 {
1724 return ADDR_BITS_REMOVE (read_register (S390_RETADDR_REGNUM));
1725 }
1726
1727 static CORE_ADDR
1728 s390_addr_bits_remove (CORE_ADDR addr)
1729 {
1730 return (addr) & 0x7fffffff;
1731 }
1732
1733
1734 static CORE_ADDR
1735 s390_push_return_address (CORE_ADDR pc, CORE_ADDR sp)
1736 {
1737 write_register (S390_RETADDR_REGNUM, CALL_DUMMY_ADDRESS ());
1738 return sp;
1739 }
1740
1741 struct gdbarch *
1742 s390_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
1743 {
1744 static LONGEST s390_call_dummy_words[] = { 0 };
1745 struct gdbarch *gdbarch;
1746 struct gdbarch_tdep *tdep;
1747 int elf_flags;
1748
1749 /* First see if there is already a gdbarch that can satisfy the request. */
1750 arches = gdbarch_list_lookup_by_info (arches, &info);
1751 if (arches != NULL)
1752 return arches->gdbarch;
1753
1754 /* None found: is the request for a s390 architecture? */
1755 if (info.bfd_arch_info->arch != bfd_arch_s390)
1756 return NULL; /* No; then it's not for us. */
1757
1758 /* Yes: create a new gdbarch for the specified machine type. */
1759 gdbarch = gdbarch_alloc (&info, NULL);
1760
1761 set_gdbarch_believe_pcc_promotion (gdbarch, 0);
1762
1763 set_gdbarch_frame_args_skip (gdbarch, 0);
1764 set_gdbarch_frame_args_address (gdbarch, s390_frame_args_address);
1765 set_gdbarch_frame_chain (gdbarch, s390_frame_chain);
1766 set_gdbarch_frame_init_saved_regs (gdbarch, s390_frame_init_saved_regs);
1767 set_gdbarch_frame_locals_address (gdbarch, s390_frame_args_address);
1768 /* We can't do this */
1769 set_gdbarch_frame_num_args (gdbarch, frame_num_args_unknown);
1770 set_gdbarch_store_struct_return (gdbarch, s390_store_struct_return);
1771 set_gdbarch_extract_return_value (gdbarch, s390_extract_return_value);
1772 set_gdbarch_store_return_value (gdbarch, s390_store_return_value);
1773 /* Amount PC must be decremented by after a breakpoint.
1774 This is often the number of bytes in BREAKPOINT
1775 but not always. */
1776 set_gdbarch_decr_pc_after_break (gdbarch, 2);
1777 set_gdbarch_pop_frame (gdbarch, s390_pop_frame);
1778 set_gdbarch_ieee_float (gdbarch, 1);
1779 /* Stack grows downward. */
1780 set_gdbarch_inner_than (gdbarch, core_addr_lessthan);
1781 /* Offset from address of function to start of its code.
1782 Zero on most machines. */
1783 set_gdbarch_function_start_offset (gdbarch, 0);
1784 set_gdbarch_max_register_raw_size (gdbarch, 8);
1785 set_gdbarch_max_register_virtual_size (gdbarch, 8);
1786 set_gdbarch_breakpoint_from_pc (gdbarch, s390_breakpoint_from_pc);
1787 set_gdbarch_skip_prologue (gdbarch, s390_skip_prologue);
1788 set_gdbarch_init_extra_frame_info (gdbarch, s390_init_extra_frame_info);
1789 set_gdbarch_init_frame_pc_first (gdbarch, s390_init_frame_pc_first);
1790 set_gdbarch_read_fp (gdbarch, s390_read_fp);
1791 set_gdbarch_write_fp (gdbarch, s390_write_fp);
1792 /* This function that tells us whether the function invocation represented
1793 by FI does not have a frame on the stack associated with it. If it
1794 does not, FRAMELESS is set to 1, else 0. */
1795 set_gdbarch_frameless_function_invocation (gdbarch,
1796 s390_frameless_function_invocation);
1797 /* Return saved PC from a frame */
1798 set_gdbarch_frame_saved_pc (gdbarch, s390_frame_saved_pc);
1799 /* FRAME_CHAIN takes a frame's nominal address
1800 and produces the frame's chain-pointer. */
1801 set_gdbarch_frame_chain (gdbarch, s390_frame_chain);
1802 set_gdbarch_saved_pc_after_call (gdbarch, s390_saved_pc_after_call);
1803 set_gdbarch_register_byte (gdbarch, s390_register_byte);
1804 set_gdbarch_pc_regnum (gdbarch, S390_PC_REGNUM);
1805 set_gdbarch_sp_regnum (gdbarch, S390_SP_REGNUM);
1806 set_gdbarch_fp_regnum (gdbarch, S390_FP_REGNUM);
1807 set_gdbarch_fp0_regnum (gdbarch, S390_FP0_REGNUM);
1808 set_gdbarch_num_regs (gdbarch, S390_NUM_REGS);
1809 set_gdbarch_cannot_fetch_register (gdbarch, s390_cannot_fetch_register);
1810 set_gdbarch_cannot_store_register (gdbarch, s390_cannot_fetch_register);
1811 set_gdbarch_get_saved_register (gdbarch, generic_get_saved_register);
1812 set_gdbarch_use_struct_convention (gdbarch, s390_use_struct_convention);
1813 set_gdbarch_frame_chain_valid (gdbarch, func_frame_chain_valid);
1814 set_gdbarch_register_name (gdbarch, s390_register_name);
1815 set_gdbarch_stab_reg_to_regnum (gdbarch, s390_stab_reg_to_regnum);
1816 set_gdbarch_dwarf_reg_to_regnum (gdbarch, s390_stab_reg_to_regnum);
1817 set_gdbarch_dwarf2_reg_to_regnum (gdbarch, s390_stab_reg_to_regnum);
1818 set_gdbarch_extract_struct_value_address
1819 (gdbarch, generic_cannot_extract_struct_value_address);
1820
1821 /* Parameters for inferior function calls. */
1822 set_gdbarch_call_dummy_p (gdbarch, 1);
1823 set_gdbarch_use_generic_dummy_frames (gdbarch, 1);
1824 set_gdbarch_call_dummy_length (gdbarch, 0);
1825 set_gdbarch_call_dummy_location (gdbarch, AT_ENTRY_POINT);
1826 set_gdbarch_call_dummy_address (gdbarch, entry_point_address);
1827 set_gdbarch_call_dummy_start_offset (gdbarch, 0);
1828 set_gdbarch_pc_in_call_dummy (gdbarch, pc_in_call_dummy_at_entry_point);
1829 set_gdbarch_push_dummy_frame (gdbarch, generic_push_dummy_frame);
1830 set_gdbarch_push_arguments (gdbarch, s390_push_arguments);
1831 set_gdbarch_save_dummy_frame_tos (gdbarch, generic_save_dummy_frame_tos);
1832 set_gdbarch_call_dummy_breakpoint_offset_p (gdbarch, 1);
1833 set_gdbarch_call_dummy_breakpoint_offset (gdbarch, 0);
1834 set_gdbarch_call_dummy_stack_adjust_p (gdbarch, 0);
1835 set_gdbarch_fix_call_dummy (gdbarch, generic_fix_call_dummy);
1836 set_gdbarch_push_return_address (gdbarch, s390_push_return_address);
1837 set_gdbarch_sizeof_call_dummy_words (gdbarch,
1838 sizeof (s390_call_dummy_words));
1839 set_gdbarch_call_dummy_words (gdbarch, s390_call_dummy_words);
1840 set_gdbarch_coerce_float_to_double (gdbarch,
1841 standard_coerce_float_to_double);
1842
1843 switch (info.bfd_arch_info->mach)
1844 {
1845 case bfd_mach_s390_esa:
1846 set_gdbarch_register_size (gdbarch, 4);
1847 set_gdbarch_register_raw_size (gdbarch, s390_register_raw_size);
1848 set_gdbarch_register_virtual_size (gdbarch, s390_register_raw_size);
1849 set_gdbarch_register_virtual_type (gdbarch, s390_register_virtual_type);
1850
1851 set_gdbarch_addr_bits_remove (gdbarch, s390_addr_bits_remove);
1852 set_gdbarch_register_bytes (gdbarch, S390_REGISTER_BYTES);
1853 break;
1854 case bfd_mach_s390_esame:
1855 set_gdbarch_register_size (gdbarch, 8);
1856 set_gdbarch_register_raw_size (gdbarch, s390x_register_raw_size);
1857 set_gdbarch_register_virtual_size (gdbarch, s390x_register_raw_size);
1858 set_gdbarch_register_virtual_type (gdbarch,
1859 s390x_register_virtual_type);
1860
1861 set_gdbarch_long_bit (gdbarch, 64);
1862 set_gdbarch_long_long_bit (gdbarch, 64);
1863 set_gdbarch_ptr_bit (gdbarch, 64);
1864 set_gdbarch_register_bytes (gdbarch, S390X_REGISTER_BYTES);
1865 break;
1866 }
1867
1868 return gdbarch;
1869 }
1870
1871
1872
1873 void
1874 _initialize_s390_tdep ()
1875 {
1876
1877 /* Hook us into the gdbarch mechanism. */
1878 register_gdbarch_init (bfd_arch_s390, s390_gdbarch_init);
1879 if (!tm_print_insn) /* Someone may have already set it */
1880 tm_print_insn = gdb_print_insn_s390;
1881 }
1882
1883 #endif /* GDBSERVER */
This page took 0.085325 seconds and 4 git commands to generate.