Subversion Repositories tendra.SVN

/*

 * Copyright (c) 2002-2005 The TenDRA Project <http://www.tendra.org/>.

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 * 1. Redistributions of source code must retain the above copyright notice,

 *    this list of conditions and the following disclaimer.

 * 2. Redistributions in binary form must reproduce the above copyright notice,

 *    this list of conditions and the following disclaimer in the documentation

 *    and/or other materials provided with the distribution.

 * 3. Neither the name of The TenDRA Project nor the names of its contributors

 *    may be used to endorse or promote products derived from this software

 *    without specific, prior written permission.

 *

 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS

 * IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,

 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR

 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR

 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,

 * EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,

 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;

 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,

 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR

 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF

 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

 *

 * $Id$

 */

/*

    		 Crown Copyright (c) 1997

    This TenDRA(r) Computer Program is subject to Copyright

    owned by the United Kingdom Secretary of State for Defence

    acting through the Defence Evaluation and Research Agency

    (DERA).  It is made available to Recipients with a

    royalty-free licence for its use, reproduction, transfer

    to other parties and amendment for any purpose not excluding

    product development provided that any such use et cetera

    shall be deemed to be acceptance of the following conditions:-

        (1) Its Recipients shall ensure that this Notice is

        reproduced upon any copies or amended versions of it;

        (2) Any amended version of it shall be clearly marked to

        show both the nature of and the organisation responsible

        for the relevant amendment or amendments;

        (3) Its onward transfer from a recipient to another

        party shall be deemed to be that party's acceptance of

        these conditions;

        (4) DERA gives no warranty or assurance as to its

        quality or suitability for any purpose and DERA accepts

        no liability whatsoever in relation to any use to which

        it may be put.

*/

/* 80x86/cproc.c */

/**********************************************************************

$Author: release $

$Date: 1998/03/16 11:25:21 $

$Revision: 1.4 $

$Log: cproc.c,v $

 * Revision 1.4  1998/03/16  11:25:21  release

 * Modifications prior to version 4.1.2.

 *

 * Revision 1.3  1998/03/15  16:00:14  pwe

 * regtrack dwarf dagnostics added

 *

 * Revision 1.2  1998/03/11  11:03:03  pwe

 * DWARF optimisation info

 *

 * Revision 1.1.1.1  1998/01/17  15:55:51  release

 * First version to be checked into rolling release.

 *

 * Revision 1.31  1997/10/23  09:36:56  pwe

 * extra_diags

 *

 * Revision 1.30  1997/10/10  18:25:03  pwe

 * prep ANDF-DE revision

 *

 * Revision 1.29  1997/08/23  13:45:28  pwe

 * initial ANDF-DE

 *

 * Revision 1.28  1997/05/02  11:04:47  pwe

 * minor dwarf2 corrections

 *

 * Revision 1.27  1997/04/17  11:55:43  pwe

 * dwarf2 improvements

 *

 * Revision 1.26  1997/04/02  10:33:10  pwe

 * diagnose pl_tests

 *

 * Revision 1.25  1997/03/24  11:15:08  pwe

 * dwarf2 option/default

 *

 * Revision 1.24  1997/03/20  16:23:35  pwe

 * dwarf2

 *

 * Revision 1.23  1996/12/13  14:39:19  pwe

 * prep NEWDIAGS

 *

 * Revision 1.22  1996/11/08  16:19:02  pwe

 * check_stack to check before modifying stack

 *

 * Revision 1.21  1996/10/31  12:02:33  pwe

 * correct env_offset used in constant evaluation

 *

 * Revision 1.20  1996/10/29  13:50:51  pwe

 * correct space for patched instructions

 *

 * Revision 1.19  1996/10/08  07:58:56  pwe

 * revised correction to env_offset v id out_of_line

 *

 * Revision 1.18  1996/10/07  13:31:06  pwe

 * push make_value, and env_offset v id out_of_line

 *

 * Revision 1.17  1996/07/31  12:56:53  pwe

 * restore alloca stack after longjump

 *

 * Revision 1.16  1996/07/09  09:43:35  pwe

 * caller env_offset if callees present, and tidy

 *

 * Revision 1.15  1996/02/08  13:45:12  pwe

 * Linux elf v aout option

 *

 * Revision 1.14  1996/01/10  09:19:03  pwe

 * profile const & envoffset correction

 *

 * Revision 1.13  1996/01/05  16:25:22  pwe

 * env_size and env_offset within constant expressions

 *

 * Revision 1.12  1995/12/22  09:34:27  pwe

 * solaris diags for stack objects

 *

 * Revision 1.11  1995/12/21  13:47:02  pwe

 * trap for missing pops (sco problem)

 *

 * Revision 1.10  1995/10/13  15:19:47  pwe

 * solaris PIC and linux tcc

 *

 * Revision 1.9  1995/10/09  15:14:09  pwe

 * dynamic initialisation etc

 *

 * Revision 1.8  1995/09/05  16:24:45  pwe

 * specials and exception changes

 *

 * Revision 1.7  1995/08/30  16:06:24  pwe

 * prepare exception trapping

 *

 * Revision 1.6  1995/08/23  09:42:39  pwe

 * track fpu control word for trap etc

 *

 * Revision 1.5  1995/08/14  13:53:30  pwe

 * several corrections, tail calls and error jumps

 *

 * Revision 1.4  1995/08/04  08:29:09  pwe

 * 4.0 general procs implemented

 *

 * Revision 1.3  1995/04/13  11:38:57  pwe

 * odd_bits clean for proc ending with bottom

 *

 * Revision 1.2  1995/01/30  12:56:04  pwe

 * Ownership -> PWE, tidy banners

 *

 * Revision 1.1  1994/10/27  14:15:22  jmf

 * Initial revision

 *

 * Revision 1.1  1994/07/12  14:29:47  jmf

 * Initial revision

 *

**********************************************************************/

/**********************************************************************

   cproc produces the code for the procedure defined by which has

   name pname.

**********************************************************************/

#include "config.h"

#include "common_types.h"

#include "weights.h"

#include "basicread.h"

#include "tags.h"

#include "codermacs.h"

#include "instr386.h"

#include "expmacs.h"

#include "exp.h"

#include "operand.h"

#include "shapemacs.h"

#include "instr.h"

#include "instrmacs.h"

#include "out.h"

#include "check.h"

#include "flags.h"

#include "codec.h"

#include "xalloc.h"

#include "global_opt.h"

#include "reg_record.h"

#include "externs.h"

#include "install_fns.h"

#include "installglob.h"

#include "machine.h"

#include "localflags.h"

#include "diag_fns.h"

#include "messages_8.h"

#include "assembler.h"

#include "coder.h"

#include "scan2.h"

#include "cproc.h"

#ifdef NEWDWARF

#include "dw2_config.h"

#include "dw2_info.h"

#include "dw2_basic.h"

#include "dw2_extra.h"

#endif

static exp returns_list;

int locals_offset;	/* global, needed for solaris stabs */

exp hasenvoff_list = nilexp;	/* global, used by coder */

/* MACROS */

#define GLOBALTABLEMASK 0x8

/* PROCEDURES */

static void add_odd_bits

(outofline * r)

{

  if (r != (outofline*)0) {

    if (r -> next == (outofline*)0)

      last_odd_bit = 1;

    add_odd_bits(r -> next);

  }

  else

    return;

  current_odd_bit = r;

  if (is80486)

    dot_align(4);

  simple_set_label(r->labno);

  clear_reg_record(crt_reg_record);

#ifdef NEWDWARF

  if (dwarf2) {

#if 1

    dw2_start_extra_bit(r->body);

#else

    dw2_start_extra_bit(r->dw2_slave);

#endif

    START_BB();

  }

#endif

  regsinuse = r->regsinuse;

  fstack_pos = r->fstack_pos;

  cond1_set = r->cond1_set;

  cond2_set = r->cond2_set;

  cond1 = r->cond1;

  cond2a = r->cond2a;

  cond2b = r->cond2b;

  repeat_level = r->repeat_level;

  scale = r->scale;

  coder(r->dest, r->stack, r->body);

  if (name(sh(r->body))!= bothd) {

    clean_stack();

    jump(r->jr, 0);

  }

  else

    stack_dec = 0;

#ifdef NEWDWARF

  if (dwarf2)

#if 1

    dw2_end_extra_bit(r->body);

#else

    dw2_end_extra_bit(r->dw2_hi);

#endif

#endif

  return;

}

static void out_pops

(int tot_sp, int push_space, int extra, int dpos)

{

#ifdef NEWDWARF

  int st;

  long dwl0 = 0, dwl1 = 0, dwl2 = 0, dwl3 = 0, dwl4 = 0;

#endif

  tot_sp -= extra;

  if (no_frame && !stack_aligned_8byte) {

    if (tot_sp != push_space) {

      outs(" addl $");

      outn((long)(tot_sp - push_space));

      outs(",%esp");

      outnl();

#ifdef NEWDWARF

      if (diagnose && dwarf2)

	dwl0 = set_dw_text_label();

#endif

    };

  }

  else {

    if (tot_sp != push_space || has_alloca || stack_aligned_8byte) {

      outs(" leal -");

      outn((long)push_space);

      outs("(%ebp),%esp");

      outnl();

    };

  };

  /* pop the registers at the end */

  if (no_frame && (min_rfree & 0x40)) {

    outs(" pop %ebp");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl1 = set_dw_text_label();

#endif

  };

  if (min_rfree & 0x20) {

    outs(" pop %esi");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl2 = set_dw_text_label();

#endif

  };

  if (min_rfree & 0x10) {

    outs(" pop %edi");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl3 = set_dw_text_label();

#endif

  };

  if (min_rfree & 0x8) {

    outs(" pop %ebx");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl4 = set_dw_text_label();

#endif

  };

  if (!no_frame) {

    outs(" pop %ebp");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl1 = set_dw_text_label();

#endif

  };

  outnl();

#ifdef NEWDWARF

  if (diagnose && dwarf2) {

    st = fseek(fpout, dpos, 0);

    if (st == -1) {

      failer(SEEK_FAILURE);

      exit(EXIT_FAILURE);

    };

    dw2_fde_restore_args(dwl0, dwl1, dwl2, dwl3, dwl4, push_space);

  }

#endif

  return;

}

static void out_untidy_pops

(int tot_sp, int push_space)

{

  if (no_frame) {

    int s_offset = tot_sp - push_space;

    if (min_rfree & 0x40) {

      outs(" movl ");

      outn((long)s_offset);

      outs("(%esp),%ebp");

      outnl();

      s_offset += 4;

    };

    if (min_rfree & 0x20) {

      outs(" movl ");

      outn((long)s_offset);

      outs("(%esp),%esi");

      outnl();

      s_offset += 4;

    };

    if (min_rfree & 0x10) {

      outs(" movl ");

      outn((long)s_offset);

      outs("(%esp),%edi");

      outnl();

      s_offset += 4;

    };

    if (min_rfree & 0x8) {

      outs(" movl ");

      outn((long)s_offset);

      outs("(%esp),%ebx");

      outnl();

      /* s_offset += 4; */

    };

  }

  else {

    int fm_offset = - push_space;

    if (min_rfree & 0x20) {

      outs(" movl ");

      outn((long)fm_offset);

      outs("(%ebp),%esi");

      outnl();

      fm_offset += 4;

    };

    if (min_rfree & 0x10) {

      outs(" movl ");

      outn((long)fm_offset);

      outs("(%ebp),%edi");

      outnl();

      fm_offset += 4;

    };

    if (min_rfree & 0x8) {

      outs(" movl ");

      outn((long)fm_offset);

      outs("(%ebp),%ebx");

      outnl();

      /* fm_offset += 4; */

    };

    outs(" movl 0(%ebp),%ebp");

    outnl();

  };

  return;

}

int cproc

(exp p, char *pname, int cname, int global, diag_global * diag_props)

{

  exp jr, t, body;

  ash stack;

  int  ms;

  int tot_sp;

  int param_pos;

  int byte_stack_align = stack_align / 8;

  int   st;

  long  old_pos1,

        old_pos1a,

        old_pos2,

        old_pos3,

        old_pos4,

        old_pos5,

        old_pos8,

        old_pos9,

        this_pos;

  int  push_space = 0;

#ifdef NEWDWARF

  long dwl0, dwl8, dw_entry_pos;

  long dwl1 = 0, dwl2 = 0, dwl3 = 0, dwl4 = 0;

  char * dw_labroom = "                 ";

		     /* .Ldw12345678:\n */

#endif

  int request_align_8byte;

  returns_list = nilexp;

  crt_proc_exp = p;

  crt_proc_id = next_lab();

  crt_ret_lab = next_lab ();	/* set up the return label for the

				   procedure */

  crt_ret_lab_used = 0;

  odd_bits = (outofline*)0;

  scale = (float)1.0;

  not_in_params = 1;

  not_in_postlude = 1;

  keep_short = 0;

  repeat_level = 0;

  callee_size = (proc_has_vcallees(p)? -1 : 0);

  ferrsize = 0;

  fpucon = normal_fpucon;

  has_dy_callees = 0;		/* set by scan2 when stack_dec indeterminable */

  has_tail_call = 0;		/* set by scan2, used in coder */

  has_same_callees = 0;		/* set by scan2, used in coder */

  proc_has_asm = 0;		/* set by scan2 if any asm operands */

  IGNORE scan2(1, p, p, 0);

  useful_double = 0;

  comp_weights(p);

/* 8byte align */

  request_align_8byte = permit_8byte_align && useful_double;

  if (pname[0]!= local_prefix[0])

    proc_type(pname);

  has_alloca = proc_has_alloca(p);

  must_use_bp = (has_alloca || proc_has_lv(p));

  regsinuse = 0;

  no_frame = 1;

  if (always_use_frame || do_profile || must_use_bp || has_dy_callees ||

        proc_uses_crt_env(p) || proc_has_setjmp(p) || proc_has_asm

    )

     no_frame = 0;

  if (request_align_8byte && no_frame) {

    no_frame = 0;

    stack_aligned_8byte = 1;

  }

  else

    stack_aligned_8byte = 0;

  if (!no_frame)

    regsinuse = 0x40; /* prevent ebp from being used as an ordinary

                          register */

  fstack_pos = first_fl_reg;

  max_stack = 0;		/* maximum stack value attained */

  max_extra_stack = 0;		/* maximum stack value attained */

  min_rfree = 0;		/* total registers used */

  stack_dec = 0;		/* current stack decrement */

  cond1_set = 0;

  cond2_set = 0;		/* state of condition flags is not known

				*/

  clear_reg_record(crt_reg_record);

  stack.ashsize = 0;

  stack.ashalign = 0;

  vc_pointer = nilexp;

				/* set up params before any diagnostics */

  t = son(p);

  param_pos = 0;

  while (name(t) == ident_tag && isparam(t) && name(son(t))!= formal_callee_tag)

   {

     t = bro(son(t));

   };

  if (name(t) == ident_tag && name(son(t)) == formal_callee_tag)

   {

     if (callee_size < 0)

	vc_pointer = t;

     while (name(t) == ident_tag && name(son(t)) == formal_callee_tag)

      {

	ptno(t) = par_pl;

	no(t) = param_pos;

	if (isenvoff(t))

	  set_env_off(param_pos+64, t);

	param_pos = rounder(param_pos + shape_size(sh(son(t))), param_align);

	t = bro(son(t));

      };

     if (callee_size == 0)

	callee_size = param_pos;

   };

   {

     exp pp = son(p);

     while (name(pp) == ident_tag && isparam(pp) && name(son(pp))!= formal_callee_tag)

      {

	ptno(pp) = par_pl;

	no(pp) = param_pos;

	if (isenvoff(pp))

	  set_env_off(param_pos+64, pp);

	param_pos = rounder(param_pos + shape_size(sh(son(pp))), param_align);

	pp = bro(son(pp));

      };

   };

  body = t;

  if (global) {

    outs(".globl ");

    outs(pname);

    outnl();

  };

  if (is80486)

    dot_align(16);

  else

    dot_align(4);

  if (diagnose)

#ifdef NEWDWARF

    DIAG_PROC_BEGIN(diag_props, global, cname, pname, p);

#else

    diag_proc_begin(diag_props, global, cname, pname);

#endif

  if (cname == -1)

    outs(pname);

  else

    {

      outs(local_prefix);

      outn((long)cname);

    };

  outs(":");

  outnl();

#ifdef NEWDWARF

  if (diagnose && dwarf2) {

    START_BB();

    dwl0 = set_dw_text_label();

  }

#endif

/* space for setting local displacement label */

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos1 = ftell(fpout);

  outs("                          ");

     /* ".set .LdispNNNN, SSSSS\n" */

  outnl();

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos1a = ftell(fpout);

  outs("                             ");

     /* ".set .LfcwdispNNNN, SSSSS\n" */

  outnl();

  if (!no_frame) {

    outs(" pushl %ebp");

    outnl();

    outs(" movl %esp,%ebp");

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dwl1 = set_dw_text_label();

#endif

  };

/* space for pushing fixed point registers */

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos2 = ftell(fpout);

  outs("               ");

     /* " pushl %ebx\n" */

#ifdef NEWDWARF

  if (diagnose && dwarf2)

    outs(dw_labroom);

#endif

  outnl();

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos3 = ftell(fpout);

  outs("               ");

     /* " pushl %edi\n" */

#ifdef NEWDWARF

  if (diagnose && dwarf2)

    outs(dw_labroom);

#endif

  outnl();

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos4 = ftell(fpout);

  outs("               ");

     /* " pushl %esi\n" */

#ifdef NEWDWARF

  if (diagnose && dwarf2)

    outs(dw_labroom);

#endif

  outnl();

  if (no_frame) {

    if (flush_before_tell)

      IGNORE fflush(fpout);

    old_pos5 = ftell(fpout);

    outs("               ");

       /* " pushl %ebp\n" */

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      outs(dw_labroom);

#endif

    outnl();

  }

/* space for subtract from stack pointer */

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos8 = ftell(fpout);

  outs("                     ");

     /* " subl $SSSSS,%esp\n" */

     /* " movl $SSSSS,%eax\n" */

  outnl();

  if (proc_has_checkstack(p)) {

    checkalloc_stack(reg0, 1);

  };

#ifdef NEWDWARF

  if (diagnose && dwarf2) {

    dwl8 = set_dw_text_label();

    dw_entry_pos = dw2_start_fde(dwl0, dwl1);

  }

#endif

  if (stack_aligned_8byte) {

    outs(" andl $-8,%esp");

    outnl();

  };

  if (flush_before_tell)

    IGNORE fflush(fpout);

  old_pos9 = ftell(fpout);

  outs("                                    ");

     /* "movw $DDDD,0-.LfcwdispNNNN(%ebp)\n" */

  outnl();

#if isdragonfly || isfreebsd || islinux

  if (

#if isdragonfly

  !dragonfly_elf &&

#elif isfreebsd

  !freebsd_elf &&

#elif islinux

	!linux_elf &&

#endif

	pname[0]!= local_prefix[0] &&

	!strcmp(pname+prefix_length, "main")) {

    out_main_prelude();

  }

#endif

  if (do_profile) {

    int  labl = next_lab ();	/* output profile procedure header */

    outs(".data");

    outnl();

    dot_align(4);

    outs(local_prefix);

    outs("P");

    outn((long)labl);

    outs(":");

    outnl();

    outs(" .long 0");

    outnl();

    outs(".text");

    outnl();

    outs(" leal ");

    outs(local_prefix);

    outs("P");

    outn((long)labl);

    outs(",%edx");

    outnl();

    outs(" call _mcount");

    outnl();

  };

  if (PIC_code && proc_uses_external(p))

   {

     regsinuse |= GLOBALTABLEMASK;

     min_rfree |= GLOBALTABLEMASK;

     pic_prelude();

   };

  need_preserve_stack = 0;

  if (proc_uses_crt_env(p) && proc_has_lv(p) && has_alloca)

   {

     need_preserve_stack = 1;

     stack.ashsize += 32;

     max_stack = stack.ashsize;

     save_stack();

   };

  scale = (float)1.0;

  last_odd_bit = 0;

  doing_odd_bits = 0;

  coder (zero, stack, body); /* code body of procedure */

  stack_dec = 0;

  doing_odd_bits = 1;

  while (odd_bits != (outofline*)0) {

    outofline * ol = odd_bits;

    odd_bits = (outofline*)0;

    last_odd_bit = 0;

    add_odd_bits(ol);

  }

  if (crt_ret_lab_used) {

    jr = getexp(f_bottom, nilexp, 0, nilexp, nilexp, 0,

                0, 0);

    sonno(jr) = stack_dec;

    ptno(jr) = crt_ret_lab;

    fstack_pos_of(jr) = (prop)first_fl_reg;

    set_label(jr);

  };

	/* If the procedure loads the current env and uses make_lv

	   it may be the destination of a long_jump. In that case

	   ebx, esi and edi must be saved at and restored at exit.

	   ebp will be saved and restored anyway because such a

	   procedure will have a frame pointer.

	*/

  if (proc_uses_crt_env(p) && proc_has_lv(p))

    min_rfree |= 0x38;

  /* compute space needed for local variables in memory */

  ms = ((max_stack + 31) / 32)* 4;

  /* compute space needed for pushing registers */

  if (no_frame && min_rfree & 0x40)

    push_space += 4;

  if (min_rfree & 0x20)

    push_space += 4;

  if (min_rfree & 0x10)

    push_space += 4;

  if (min_rfree & 0x8)

    push_space += 4;

  ferrsize /= 8;

  tot_sp = rounder(ms + push_space + ferrsize, byte_stack_align);

  if (crt_ret_lab_used) {

#ifdef NEWDWARF

    long over_lab;

    if (diagnose && dwarf2) {

      over_lab = next_dwarf_label();

      dw2_return_pos(over_lab);

    }

#endif

    restore_callregs(0);

    retins();

    outnl();

#ifdef NEWDWARF

    if (diagnose && dwarf2)

      dw2_after_fde_exit(over_lab);

#endif

  };

  outnl();

  this_pos = ftell(fpout);

  while (returns_list != nilexp) {

    st = fseek(fpout,(long)no(returns_list), 0);

    if (st == -1) {

      failer(SEEK_FAILURE);