From ee1b3323e66265153132e886875197c10294ff32 Mon Sep 17 00:00:00 2001 From: Ulrich Weigand Date: Sun, 9 Apr 2006 01:21:15 +0000 Subject: [PATCH] * s390-tdep.c (struct s390_prologue_data): New field 'stack'. (s390_store): Call pv_area_store to track stack slots. (s390_load): Call pv_area_fetch to track stack slots. (s390_check_for_saved): New function. (s390_analyze_prologue): Call pv_area_scan. Allocate and free stack. --- gdb/ChangeLog | 8 ++++ gdb/s390-tdep.c | 106 +++++++++++++++++++++++++----------------------- 2 files changed, 64 insertions(+), 50 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index d9ec4c5cfd1..2d4285ac567 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,11 @@ +2006-04-09 Ulrich Weigand + + * s390-tdep.c (struct s390_prologue_data): New field 'stack'. + (s390_store): Call pv_area_store to track stack slots. + (s390_load): Call pv_area_fetch to track stack slots. + (s390_check_for_saved): New function. + (s390_analyze_prologue): Call pv_area_scan. Allocate and free stack. + 2006-04-09 Ulrich Weigand * Makefile.in (s390-tdep.o): Add dependency on $(prologue_value_h). diff --git a/gdb/s390-tdep.c b/gdb/s390-tdep.c index 1e5861248fe..4018ad18de5 100644 --- a/gdb/s390-tdep.c +++ b/gdb/s390-tdep.c @@ -716,6 +716,9 @@ is_rxy (bfd_byte *insn, int op1, int op2, struct s390_prologue_data { + /* The stack. */ + struct pv_area *stack; + /* The size of a GPR or FPR. */ int gpr_size; int fpr_size; @@ -768,8 +771,7 @@ s390_store (struct s390_prologue_data *data, pv_t value) { pv_t addr = s390_addr (data, d2, x2, b2); - pv_t cfa, offset; - int i; + pv_t offset; /* Check whether we are storing the backchain. */ offset = pv_subtract (data->gpr[S390_SP_REGNUM - S390_R0_REGNUM], addr); @@ -784,37 +786,8 @@ s390_store (struct s390_prologue_data *data, /* Check whether we are storing a register into the stack. */ - cfa = pv_register (S390_SP_REGNUM, 16 * data->gpr_size + 32); - offset = pv_subtract (cfa, addr); - - if (pv_is_constant (offset) - && offset.k < INT_MAX && offset.k > 0 - && offset.k % data->gpr_size == 0) - { - /* If we are storing the original value of a register, we want to - record the CFA offset. If the same register is stored multiple - times, the stack slot with the highest address counts. */ - - for (i = 0; i < S390_NUM_GPRS; i++) - if (size == data->gpr_size - && pv_is_register_k (value, S390_R0_REGNUM + i, 0)) - if (data->gpr_slot[i] == 0 - || data->gpr_slot[i] > offset.k) - { - data->gpr_slot[i] = offset.k; - return; - } - - for (i = 0; i < S390_NUM_FPRS; i++) - if (size == data->fpr_size - && pv_is_register_k (value, S390_F0_REGNUM + i, 0)) - if (data->fpr_slot[i] == 0 - || data->fpr_slot[i] > offset.k) - { - data->fpr_slot[i] = offset.k; - return; - } - } + if (!pv_area_store_would_trash (data->stack, addr)) + pv_area_store (data->stack, addr, size, value); /* Note: If this is some store we cannot identify, you might think we @@ -832,8 +805,7 @@ s390_load (struct s390_prologue_data *data, { pv_t addr = s390_addr (data, d2, x2, b2); - pv_t cfa, offset; - int i; + pv_t offset; /* If it's a load from an in-line constant pool, then we can simulate that, under the assumption that the code isn't @@ -851,25 +823,51 @@ s390_load (struct s390_prologue_data *data, } /* Check whether we are accessing one of our save slots. */ - cfa = pv_register (S390_SP_REGNUM, 16 * data->gpr_size + 32); - offset = pv_subtract (cfa, addr); + return pv_area_fetch (data->stack, addr, size); +} - if (pv_is_constant (offset) - && offset.k < INT_MAX && offset.k > 0) - { - for (i = 0; i < S390_NUM_GPRS; i++) - if (offset.k == data->gpr_slot[i]) - return pv_register (S390_R0_REGNUM + i, 0); +/* Function for finding saved registers in a 'struct pv_area'; we pass + this to pv_area_scan. - for (i = 0; i < S390_NUM_FPRS; i++) - if (offset.k == data->fpr_slot[i]) - return pv_register (S390_F0_REGNUM + i, 0); - } + If VALUE is a saved register, ADDR says it was saved at a constant + offset from the frame base, and SIZE indicates that the whole + register was saved, record its offset in the reg_offset table in + PROLOGUE_UNTYPED. */ +static void +s390_check_for_saved (void *data_untyped, pv_t addr, CORE_ADDR size, pv_t value) +{ + struct s390_prologue_data *data = data_untyped; + int i, offset; + + if (!pv_is_register (addr, S390_SP_REGNUM)) + return; + + offset = 16 * data->gpr_size + 32 - addr.k; + + /* If we are storing the original value of a register, we want to + record the CFA offset. If the same register is stored multiple + times, the stack slot with the highest address counts. */ + + for (i = 0; i < S390_NUM_GPRS; i++) + if (size == data->gpr_size + && pv_is_register_k (value, S390_R0_REGNUM + i, 0)) + if (data->gpr_slot[i] == 0 + || data->gpr_slot[i] > offset) + { + data->gpr_slot[i] = offset; + return; + } - /* Otherwise, we don't know the value. */ - return pv_unknown (); + for (i = 0; i < S390_NUM_FPRS; i++) + if (size == data->fpr_size + && pv_is_register_k (value, S390_F0_REGNUM + i, 0)) + if (data->fpr_slot[i] == 0 + || data->fpr_slot[i] > offset) + { + data->fpr_slot[i] = offset; + return; + } } - /* Analyze the prologue of the function starting at START_PC, continuing at most until CURRENT_PC. Initialize DATA to @@ -901,6 +899,8 @@ s390_analyze_prologue (struct gdbarch *gdbarch, { int i; + data->stack = make_pv_area (S390_SP_REGNUM); + /* For the purpose of prologue tracking, we consider the GPR size to be equal to the ABI word size, even if it is actually larger (i.e. when running a 32-bit binary under a 64-bit kernel). */ @@ -1123,6 +1123,12 @@ s390_analyze_prologue (struct gdbarch *gdbarch, } } + /* Record where all the registers were saved. */ + pv_area_scan (data->stack, s390_check_for_saved, data); + + free_pv_area (data->stack); + data->stack = NULL; + return result; } -- 2.30.2