Home | History | Annotate | Line # | Download | only in or1k
      1 # Simulator main loop for or1k. -*- C -*-
      2 #
      3 # Copyright (C) 2017-2024 Free Software Foundation, Inc.
      4 #
      5 # This file is part of the GNU Simulators.
      6 #
      7 # This program is free software; you can redistribute it and/or modify
      8 # it under the terms of the GNU General Public License as published by
      9 # the Free Software Foundation; either version 3 of the License, or
     10 # (at your option) any later version.
     11 #
     12 # This program is distributed in the hope that it will be useful,
     13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
     14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     15 # GNU General Public License for more details.
     16 #
     17 # You should have received a copy of the GNU General Public License
     18 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
     19 
     20 # Syntax:
     21 # /bin/sh mainloop.in command
     22 #
     23 # Command is one of:
     24 #
     25 # init
     26 # support
     27 # extract-{simple,scache,pbb}
     28 # {full,fast}-exec-{simple,scache,pbb}
     29 #
     30 # A target need only provide a "full" version of one of simple,scache,pbb.
     31 # If the target wants it can also provide a fast version of same, or if
     32 # the slow (full featured) version is `simple', then the fast version can be
     33 # one of scache/pbb.
     34 # A target can't provide more than this.
     35 # However for illustration's sake this file provides examples of all.
     36 
     37 # ??? After a few more ports are done, revisit.
     38 # Will eventually need to machine generate a lot of this.
     39 
     40 case "x$1" in
     41 
     42 xsupport)
     43 
     44 cat <<EOF
     45 #line $LINENO "$0"
     46 #include <stdlib.h>
     47 
     48 static INLINE const IDESC *
     49 extract (SIM_CPU *current_cpu, PCADDR pc, CGEN_INSN_INT insn,
     50          ARGBUF *abuf, int fast_p)
     51 {
     52   const IDESC *id = @cpu@_decode (current_cpu, pc, insn, insn, abuf);
     53   @cpu@_fill_argbuf (current_cpu, abuf, id, pc, fast_p);
     54   if (!fast_p)
     55     {
     56       int trace_p = PC_IN_TRACE_RANGE_P (current_cpu, pc);
     57       int profile_p = PC_IN_PROFILE_RANGE_P (current_cpu, pc);
     58       @cpu@_fill_argbuf_tp (current_cpu, abuf, trace_p, profile_p);
     59     }
     60   return id;
     61 }
     62 
     63 static INLINE SEM_PC
     64 execute (SIM_CPU *current_cpu, SCACHE *sc, int fast_p)
     65 {
     66   SEM_PC vpc = sc;
     67 
     68   @cpu@_insn_before (current_cpu, vpc, sc->argbuf.idesc);
     69 
     70   if (fast_p)
     71     {
     72 #if ! WITH_SEM_SWITCH_FAST
     73 #if WITH_SCACHE
     74       vpc = (*sc->argbuf.semantic.sem_fast) (current_cpu, sc);
     75 #else
     76       vpc = (*sc->argbuf.semantic.sem_fast) (current_cpu, &sc->argbuf);
     77 #endif
     78 #else
     79       abort ();
     80 #endif /* WITH_SEM_SWITCH_FAST */
     81     }
     82   else
     83     {
     84 #if ! WITH_SEM_SWITCH_FULL
     85       ARGBUF *abuf = &sc->argbuf;
     86       const IDESC *idesc = abuf->idesc;
     87       const CGEN_INSN *idata = idesc->idata;
     88 #if WITH_SCACHE_PBB
     89       int virtual_p = CGEN_INSN_ATTR_VALUE (idata, CGEN_INSN_VIRTUAL);
     90 #else
     91       int virtual_p = 0;
     92 #endif
     93 
     94       if (! virtual_p)
     95         {
     96           /* FIXME: call x-before */
     97           if (ARGBUF_PROFILE_P (abuf))
     98             PROFILE_COUNT_INSN (current_cpu, abuf->addr, idesc->num);
     99           /* FIXME: Later make cover macros: PROFILE_INSN_{INIT,FINI}.  */
    100           if (PROFILE_MODEL_P (current_cpu)
    101               && ARGBUF_PROFILE_P (abuf))
    102             @cpu@_model_insn_before (current_cpu, 1 /*first_p*/);
    103           CGEN_TRACE_INSN_INIT (current_cpu, abuf, 1);
    104           CGEN_TRACE_INSN (current_cpu, idata,
    105                       (const struct argbuf *) abuf, abuf->addr);
    106         }
    107 #if WITH_SCACHE
    108       vpc = (*sc->argbuf.semantic.sem_full) (current_cpu, sc);
    109 #else
    110       vpc = (*sc->argbuf.semantic.sem_full) (current_cpu, abuf);
    111 #endif
    112       if (! virtual_p)
    113         {
    114           /* FIXME: call x-after */
    115           if (PROFILE_MODEL_P (current_cpu)
    116               && ARGBUF_PROFILE_P (abuf))
    117             {
    118               int cycles;
    119 
    120               cycles = (*idesc->timing->model_fn) (current_cpu, sc);
    121               @cpu@_model_insn_after (current_cpu, 1 /*last_p*/, cycles);
    122             }
    123           CGEN_TRACE_INSN_FINI (current_cpu, abuf, 1);
    124         }
    125 #else
    126       abort ();
    127 #endif /* WITH_SEM_SWITCH_FULL */
    128     }
    129 
    130   @cpu@_insn_after (current_cpu, vpc, sc->argbuf.idesc);
    131 
    132   return vpc;
    133 }
    134 
    135 EOF
    136 
    137 ;;
    138 
    139 xinit)
    140 
    141 # Nothing needed.
    142 
    143 ;;
    144 
    145 xextract-simple | xextract-scache)
    146 
    147 cat <<EOF
    148 #line $LINENO "$0"
    149 {
    150   USI insn = GETIMEMUSI (current_cpu, pc);
    151   extract (current_cpu, pc, insn, sc, FAST_P);
    152   SEM_SKIP_COMPILE (current_cpu, sc, 1);
    153 }
    154 EOF
    155 
    156 ;;
    157 
    158 xextract-pbb)
    159 
    160 # Inputs:  current_cpu, pc, sc, max_insns, FAST_P
    161 # Outputs: sc, pc
    162 # sc must be left pointing past the last created entry.
    163 # pc must be left pointing past the last created entry.
    164 # If the pbb is terminated by a cti insn, SET_CTI_VPC(sc) must be called
    165 # to record the vpc of the cti insn.
    166 # SET_INSN_COUNT(n) must be called to record number of real insns.
    167 
    168 cat <<EOF
    169 #line $LINENO "$0"
    170 {
    171   const IDESC *idesc;
    172   int icount = 0;
    173 
    174   while (max_insns > 0) {
    175 
    176     USI insn = GETIMEMUSI (current_cpu, pc);
    177 
    178     idesc = extract (current_cpu, pc, insn, &sc->argbuf, FAST_P);
    179 
    180     SEM_SKIP_COMPILE (current_cpu, sc, 1);
    181 
    182     ++sc;
    183     --max_insns;
    184     ++icount;
    185     pc += 4;
    186 
    187     if (CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->idata)) & CGEN_ATTR_MASK (CGEN_INSN_FORCED_CTI))
    188       {
    189 
    190         SET_CTI_VPC (sc - 1);
    191 
    192         break;
    193 
    194       }
    195     else if (CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->idata)) & CGEN_ATTR_MASK (CGEN_INSN_DELAYED_CTI))
    196       {
    197 
    198         /* handle delay slot */
    199         SET_CTI_VPC (sc - 1);
    200 
    201         insn = GETIMEMUSI (current_cpu, pc);
    202 
    203         idesc = extract (current_cpu, pc, insn, &sc->argbuf, FAST_P);
    204 
    205         ++sc;
    206         --max_insns;
    207         ++icount;
    208         pc += 4;
    209 
    210         break;
    211       }
    212   }
    213 
    214   SET_INSN_COUNT (icount);
    215 
    216 }
    217 EOF
    218 
    219 ;;
    220 
    221 xfull-exec-* | xfast-exec-*)
    222 
    223 # Inputs: current_cpu, vpc, FAST_P
    224 # Outputs: vpc
    225 # vpc is the virtual program counter.
    226 
    227 cat <<EOF
    228 #line $LINENO "$0"
    229 #if (! FAST_P && WITH_SEM_SWITCH_FULL) || (FAST_P && WITH_SEM_SWITCH_FAST)
    230 #define DEFINE_SWITCH
    231 #ifdef WANT_CPU_OR1K32BF
    232 #include "sem-switch.c"
    233 #endif
    234 #else
    235   vpc = execute (current_cpu, vpc, FAST_P);
    236 #endif
    237 EOF
    238 
    239 ;;
    240 
    241 *)
    242   echo "Invalid argument to mainloop.in: $1" >&2
    243   exit 1
    244   ;;
    245 
    246 esac
    247